|
ENTITY banded_matrix SUBTYPE OF (linearized_table_function); default_entry : maths_value; below : INTEGER; above : INTEGER; order : ordering_type; WHERE wr1: SIZEOF (self\explicit_table_function.shape) = 2; wr2: -below <= above; wr3: member_of(default_entry, factor1(SELF\linearized_table_function.source.range)); END_ENTITY; -- 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; banded_matrix default_entry: maths_value; below: INTEGER; above: INTEGER; order: ordering_type; |
Global rules for this entity data type- |
public interface EBanded_matrix extends ELinearized_table_functiondefault_entry (explicit attribute)int testDefault_entry(EBanded_matrix type)case 1 EEntity getDefault_entry(EBanded_matrix type) void setDefault_entry(EBanded_matrix type, EEntity value, EEntity node1) case sDefault_entryMaths_number: double getDefault_entry(EBanded_matrix type, EMaths_number node1) void setDefault_entry(EBanded_matrix type, double value, EMaths_number node1) case sDefault_entryMaths_real: double getDefault_entry(EBanded_matrix type, EMaths_real node1) void setDefault_entry(EBanded_matrix type, double value, EMaths_real node1) case sDefault_entryMaths_integer: int getDefault_entry(EBanded_matrix type, EMaths_integer node1) void setDefault_entry(EBanded_matrix type, int value, EMaths_integer node1) case sDefault_entryMaths_logical: int getDefault_entry(EBanded_matrix type, EMaths_logical node1) void setDefault_entry(EBanded_matrix type, int value, EMaths_logical node1) case sDefault_entryMaths_boolean: boolean getDefault_entry(EBanded_matrix type, EMaths_boolean node1) void setDefault_entry(EBanded_matrix type, boolean value, EMaths_boolean node1) case sDefault_entryMaths_string: String getDefault_entry(EBanded_matrix type, EMaths_string node1) void setDefault_entry(EBanded_matrix type, String value, EMaths_string node1) case sDefault_entryMaths_binary: Binary getDefault_entry(EBanded_matrix type, EMaths_binary node1) void setDefault_entry(EBanded_matrix type, Binary value, EMaths_binary node1) case sDefault_entryElementary_space_enumerators: int getDefault_entry(EBanded_matrix type, EElementary_space_enumerators node1) void setDefault_entry(EBanded_matrix type, int value, EElementary_space_enumerators node1) case sDefault_entryOrdering_type: int getDefault_entry(EBanded_matrix type, EOrdering_type node1) void setDefault_entry(EBanded_matrix type, int value, EOrdering_type node1) case sDefault_entryLower_upper: int getDefault_entry(EBanded_matrix type, ELower_upper node1) void setDefault_entry(EBanded_matrix type, int value, ELower_upper node1) case sDefault_entrySymmetry_type: int getDefault_entry(EBanded_matrix type, ESymmetry_type node1) void setDefault_entry(EBanded_matrix type, int value, ESymmetry_type node1) case sDefault_entryElementary_function_enumerators: int getDefault_entry(EBanded_matrix type, EElementary_function_enumerators node1) void setDefault_entry(EBanded_matrix type, int value, EElementary_function_enumerators node1) case sDefault_entryOpen_closed: int getDefault_entry(EBanded_matrix type, EOpen_closed node1) void setDefault_entry(EBanded_matrix type, int value, EOpen_closed node1) case sDefault_entrySpace_constraint_type: int getDefault_entry(EBanded_matrix type, ESpace_constraint_type node1) void setDefault_entry(EBanded_matrix type, int value, ESpace_constraint_type node1) case sDefault_entryRepackage_options: int getDefault_entry(EBanded_matrix type, ERepackage_options node1) void setDefault_entry(EBanded_matrix type, int value, ERepackage_options node1) case sDefault_entryExtension_options: int getDefault_entry(EBanded_matrix type, EExtension_options node1) void setDefault_entry(EBanded_matrix type, int value, EExtension_options node1) case sDefault_entryAtom_based_tuple: AAtom_based_value getDefault_entry(EBanded_matrix type, EAtom_based_tuple node1) void setDefault_entry(EBanded_matrix type, AAtom_based_value value, EAtom_based_tuple node1) case sDefault_entryMaths_tuple: AMaths_value getDefault_entry(EBanded_matrix type, EMaths_tuple node1) void setDefault_entry(EBanded_matrix type, AMaths_value value, EMaths_tuple node1) void unsetDefault_entry(EBanded_matrix type) below (explicit attribute)boolean testBelow(EBanded_matrix type)int getBelow(EBanded_matrix type) void setBelow(EBanded_matrix type, int value) void unsetBelow(EBanded_matrix type) above (explicit attribute)boolean testAbove(EBanded_matrix type)int getAbove(EBanded_matrix type) void setAbove(EBanded_matrix type, int value) void unsetAbove(EBanded_matrix type) order (explicit attribute)boolean testOrder(EBanded_matrix type)int getOrder(EBanded_matrix type) void setOrder(EBanded_matrix type, int value) void unsetOrder(EBanded_matrix type) |
public class CBanded_matrix implements EBanded_matrixstatic EAttribute attributeDefault_entry(EBanded_matrix type)static int usedinDefault_entry(EBanded_matrix type, EEntity instance, ASdaiModel domain, ABanded_matrix result) static EAttribute attributeBelow(EBanded_matrix type) static EAttribute attributeAbove(EBanded_matrix type) static EAttribute attributeOrder(EBanded_matrix type) |
public class ABanded_matrix extends AEntitypublic EBanded_matrix getByIndex(int index)public EBanded_matrix getCurrentMember(SdaiIterator it) |