ENTITY symmetric_banded_matrix SUBTYPE OF (symmetric_matrix); default_entry : maths_value; above : nonnegative_integer; WHERE wr1: member_of(default_entry, factor1(SELF\linearized_table_function.source.range)); END_ENTITY; -- symmetric_banded_matrix |
Entity data types and their attributesgeneric_expression- maths_function (DER) domain: tuple_space; (DER) range: tuple_space; explicit_table_function index_base: zero_or_one; shape: LIST [1:?] OF positive_integer; unary_generic_expression operand: generic_expression; linearized_table_function (RT) operand: maths_function; first: INTEGER; (DER) source: maths_function; symmetric_matrix symmetry: symmetry_type; triangle: lower_upper; order: ordering_type; symmetric_banded_matrix default_entry: maths_value; above: nonnegative_integer; |
Global rules for this entity data type- |
public interface ESymmetric_banded_matrix extends ESymmetric_matrixdefault_entry (explicit attribute)int testDefault_entry(ESymmetric_banded_matrix type)case 1 EEntity getDefault_entry(ESymmetric_banded_matrix type) void setDefault_entry(ESymmetric_banded_matrix type, EEntity value, EEntity node1) case sDefault_entryMaths_number: double getDefault_entry(ESymmetric_banded_matrix type, EMaths_number node1) void setDefault_entry(ESymmetric_banded_matrix type, double value, EMaths_number node1) case sDefault_entryMaths_real: double getDefault_entry(ESymmetric_banded_matrix type, EMaths_real node1) void setDefault_entry(ESymmetric_banded_matrix type, double value, EMaths_real node1) case sDefault_entryMaths_integer: int getDefault_entry(ESymmetric_banded_matrix type, EMaths_integer node1) void setDefault_entry(ESymmetric_banded_matrix type, int value, EMaths_integer node1) case sDefault_entryMaths_logical: int getDefault_entry(ESymmetric_banded_matrix type, EMaths_logical node1) void setDefault_entry(ESymmetric_banded_matrix type, int value, EMaths_logical node1) case sDefault_entryMaths_boolean: boolean getDefault_entry(ESymmetric_banded_matrix type, EMaths_boolean node1) void setDefault_entry(ESymmetric_banded_matrix type, boolean value, EMaths_boolean node1) case sDefault_entryMaths_string: String getDefault_entry(ESymmetric_banded_matrix type, EMaths_string node1) void setDefault_entry(ESymmetric_banded_matrix type, String value, EMaths_string node1) case sDefault_entryMaths_binary: Binary getDefault_entry(ESymmetric_banded_matrix type, EMaths_binary node1) void setDefault_entry(ESymmetric_banded_matrix type, Binary value, EMaths_binary node1) case sDefault_entryElementary_space_enumerators: int getDefault_entry(ESymmetric_banded_matrix type, EElementary_space_enumerators node1) void setDefault_entry(ESymmetric_banded_matrix type, int value, EElementary_space_enumerators node1) case sDefault_entryOrdering_type: int getDefault_entry(ESymmetric_banded_matrix type, EOrdering_type node1) void setDefault_entry(ESymmetric_banded_matrix type, int value, EOrdering_type node1) case sDefault_entryLower_upper: int getDefault_entry(ESymmetric_banded_matrix type, ELower_upper node1) void setDefault_entry(ESymmetric_banded_matrix type, int value, ELower_upper node1) case sDefault_entrySymmetry_type: int getDefault_entry(ESymmetric_banded_matrix type, ESymmetry_type node1) void setDefault_entry(ESymmetric_banded_matrix type, int value, ESymmetry_type node1) case sDefault_entryElementary_function_enumerators: int getDefault_entry(ESymmetric_banded_matrix type, EElementary_function_enumerators node1) void setDefault_entry(ESymmetric_banded_matrix type, int value, EElementary_function_enumerators node1) case sDefault_entryOpen_closed: int getDefault_entry(ESymmetric_banded_matrix type, EOpen_closed node1) void setDefault_entry(ESymmetric_banded_matrix type, int value, EOpen_closed node1) case sDefault_entrySpace_constraint_type: int getDefault_entry(ESymmetric_banded_matrix type, ESpace_constraint_type node1) void setDefault_entry(ESymmetric_banded_matrix type, int value, ESpace_constraint_type node1) case sDefault_entryRepackage_options: int getDefault_entry(ESymmetric_banded_matrix type, ERepackage_options node1) void setDefault_entry(ESymmetric_banded_matrix type, int value, ERepackage_options node1) case sDefault_entryExtension_options: int getDefault_entry(ESymmetric_banded_matrix type, EExtension_options node1) void setDefault_entry(ESymmetric_banded_matrix type, int value, EExtension_options node1) case sDefault_entryAtom_based_tuple: AAtom_based_value getDefault_entry(ESymmetric_banded_matrix type, EAtom_based_tuple node1) void setDefault_entry(ESymmetric_banded_matrix type, AAtom_based_value value, EAtom_based_tuple node1) case sDefault_entryMaths_tuple: AMaths_value getDefault_entry(ESymmetric_banded_matrix type, EMaths_tuple node1) void setDefault_entry(ESymmetric_banded_matrix type, AMaths_value value, EMaths_tuple node1) void unsetDefault_entry(ESymmetric_banded_matrix type) above (explicit attribute)boolean testAbove(ESymmetric_banded_matrix type)int getAbove(ESymmetric_banded_matrix type) void setAbove(ESymmetric_banded_matrix type, int value) void unsetAbove(ESymmetric_banded_matrix type) |
public class CSymmetric_banded_matrix implements ESymmetric_banded_matrixstatic EAttribute attributeDefault_entry(ESymmetric_banded_matrix type)static int usedinDefault_entry(ESymmetric_banded_matrix type, EEntity instance, ASdaiModel domain, ASymmetric_banded_matrix result) static EAttribute attributeAbove(ESymmetric_banded_matrix type) |
public class ASymmetric_banded_matrix extends AEntitypublic ESymmetric_banded_matrix getByIndex(int index)public ESymmetric_banded_matrix getCurrentMember(SdaiIterator it) |