ENTITY triangular_matrix SUBTYPE OF (linearized_table_function); default_entry : maths_value; lo_up : lower_upper; order : ordering_type; WHERE wr1: SIZEOF (SELF\explicit_table_function.shape) = 2; wr2: member_of(default_entry, SELF\maths_function.range); END_ENTITY; -- triangular_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; triangular_matrix default_entry: maths_value; lo_up: lower_upper; order: ordering_type; |
strict_triangular_matrix (MATHEMATICAL_FUNCTIONS_SCHEMA) |
Global rules for this entity data type- |
public interface ETriangular_matrix extends ELinearized_table_functiondefault_entry (explicit attribute)int testDefault_entry(ETriangular_matrix type)case 1 EEntity getDefault_entry(ETriangular_matrix type) void setDefault_entry(ETriangular_matrix type, EEntity value, EEntity node1) case sDefault_entryMaths_number: double getDefault_entry(ETriangular_matrix type, EMaths_number node1) void setDefault_entry(ETriangular_matrix type, double value, EMaths_number node1) case sDefault_entryMaths_real: double getDefault_entry(ETriangular_matrix type, EMaths_real node1) void setDefault_entry(ETriangular_matrix type, double value, EMaths_real node1) case sDefault_entryMaths_integer: int getDefault_entry(ETriangular_matrix type, EMaths_integer node1) void setDefault_entry(ETriangular_matrix type, int value, EMaths_integer node1) case sDefault_entryMaths_logical: int getDefault_entry(ETriangular_matrix type, EMaths_logical node1) void setDefault_entry(ETriangular_matrix type, int value, EMaths_logical node1) case sDefault_entryMaths_boolean: boolean getDefault_entry(ETriangular_matrix type, EMaths_boolean node1) void setDefault_entry(ETriangular_matrix type, boolean value, EMaths_boolean node1) case sDefault_entryMaths_string: String getDefault_entry(ETriangular_matrix type, EMaths_string node1) void setDefault_entry(ETriangular_matrix type, String value, EMaths_string node1) case sDefault_entryMaths_binary: Binary getDefault_entry(ETriangular_matrix type, EMaths_binary node1) void setDefault_entry(ETriangular_matrix type, Binary value, EMaths_binary node1) case sDefault_entryElementary_space_enumerators: int getDefault_entry(ETriangular_matrix type, EElementary_space_enumerators node1) void setDefault_entry(ETriangular_matrix type, int value, EElementary_space_enumerators node1) case sDefault_entryOrdering_type: int getDefault_entry(ETriangular_matrix type, EOrdering_type node1) void setDefault_entry(ETriangular_matrix type, int value, EOrdering_type node1) case sDefault_entryLower_upper: int getDefault_entry(ETriangular_matrix type, ELower_upper node1) void setDefault_entry(ETriangular_matrix type, int value, ELower_upper node1) case sDefault_entrySymmetry_type: int getDefault_entry(ETriangular_matrix type, ESymmetry_type node1) void setDefault_entry(ETriangular_matrix type, int value, ESymmetry_type node1) case sDefault_entryElementary_function_enumerators: int getDefault_entry(ETriangular_matrix type, EElementary_function_enumerators node1) void setDefault_entry(ETriangular_matrix type, int value, EElementary_function_enumerators node1) case sDefault_entryOpen_closed: int getDefault_entry(ETriangular_matrix type, EOpen_closed node1) void setDefault_entry(ETriangular_matrix type, int value, EOpen_closed node1) case sDefault_entrySpace_constraint_type: int getDefault_entry(ETriangular_matrix type, ESpace_constraint_type node1) void setDefault_entry(ETriangular_matrix type, int value, ESpace_constraint_type node1) case sDefault_entryRepackage_options: int getDefault_entry(ETriangular_matrix type, ERepackage_options node1) void setDefault_entry(ETriangular_matrix type, int value, ERepackage_options node1) case sDefault_entryExtension_options: int getDefault_entry(ETriangular_matrix type, EExtension_options node1) void setDefault_entry(ETriangular_matrix type, int value, EExtension_options node1) case sDefault_entryAtom_based_tuple: AAtom_based_value getDefault_entry(ETriangular_matrix type, EAtom_based_tuple node1) void setDefault_entry(ETriangular_matrix type, AAtom_based_value value, EAtom_based_tuple node1) case sDefault_entryMaths_tuple: AMaths_value getDefault_entry(ETriangular_matrix type, EMaths_tuple node1) void setDefault_entry(ETriangular_matrix type, AMaths_value value, EMaths_tuple node1) void unsetDefault_entry(ETriangular_matrix type) lo_up (explicit attribute)boolean testLo_up(ETriangular_matrix type)int getLo_up(ETriangular_matrix type) void setLo_up(ETriangular_matrix type, int value) void unsetLo_up(ETriangular_matrix type) order (explicit attribute)boolean testOrder(ETriangular_matrix type)int getOrder(ETriangular_matrix type) void setOrder(ETriangular_matrix type, int value) void unsetOrder(ETriangular_matrix type) |
public class CTriangular_matrix implements ETriangular_matrixstatic EAttribute attributeDefault_entry(ETriangular_matrix type)static int usedinDefault_entry(ETriangular_matrix type, EEntity instance, ASdaiModel domain, ATriangular_matrix result) static EAttribute attributeLo_up(ETriangular_matrix type) static EAttribute attributeOrder(ETriangular_matrix type) |
public class ATriangular_matrix extends AEntitypublic ETriangular_matrix getByIndex(int index)public ETriangular_matrix getCurrentMember(SdaiIterator it) |