ENTITY strict_triangular_matrix SUBTYPE OF (triangular_matrix); main_diagonal_value : maths_value; END_ENTITY; -- strict_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 main_diagonal_value: maths_value; |
Global rules for this entity data type- |
public interface EStrict_triangular_matrix extends ETriangular_matrixmain_diagonal_value (explicit attribute)int testMain_diagonal_value(EStrict_triangular_matrix type)case 1 EEntity getMain_diagonal_value(EStrict_triangular_matrix type) void setMain_diagonal_value(EStrict_triangular_matrix type, EEntity value, EEntity node1) case sMain_diagonal_valueMaths_number: double getMain_diagonal_value(EStrict_triangular_matrix type, EMaths_number node1) void setMain_diagonal_value(EStrict_triangular_matrix type, double value, EMaths_number node1) case sMain_diagonal_valueMaths_real: double getMain_diagonal_value(EStrict_triangular_matrix type, EMaths_real node1) void setMain_diagonal_value(EStrict_triangular_matrix type, double value, EMaths_real node1) case sMain_diagonal_valueMaths_integer: int getMain_diagonal_value(EStrict_triangular_matrix type, EMaths_integer node1) void setMain_diagonal_value(EStrict_triangular_matrix type, int value, EMaths_integer node1) case sMain_diagonal_valueMaths_logical: int getMain_diagonal_value(EStrict_triangular_matrix type, EMaths_logical node1) void setMain_diagonal_value(EStrict_triangular_matrix type, int value, EMaths_logical node1) case sMain_diagonal_valueMaths_boolean: boolean getMain_diagonal_value(EStrict_triangular_matrix type, EMaths_boolean node1) void setMain_diagonal_value(EStrict_triangular_matrix type, boolean value, EMaths_boolean node1) case sMain_diagonal_valueMaths_string: String getMain_diagonal_value(EStrict_triangular_matrix type, EMaths_string node1) void setMain_diagonal_value(EStrict_triangular_matrix type, String value, EMaths_string node1) case sMain_diagonal_valueMaths_binary: Binary getMain_diagonal_value(EStrict_triangular_matrix type, EMaths_binary node1) void setMain_diagonal_value(EStrict_triangular_matrix type, Binary value, EMaths_binary node1) case sMain_diagonal_valueElementary_space_enumerators: int getMain_diagonal_value(EStrict_triangular_matrix type, EElementary_space_enumerators node1) void setMain_diagonal_value(EStrict_triangular_matrix type, int value, EElementary_space_enumerators node1) case sMain_diagonal_valueOrdering_type: int getMain_diagonal_value(EStrict_triangular_matrix type, EOrdering_type node1) void setMain_diagonal_value(EStrict_triangular_matrix type, int value, EOrdering_type node1) case sMain_diagonal_valueLower_upper: int getMain_diagonal_value(EStrict_triangular_matrix type, ELower_upper node1) void setMain_diagonal_value(EStrict_triangular_matrix type, int value, ELower_upper node1) case sMain_diagonal_valueSymmetry_type: int getMain_diagonal_value(EStrict_triangular_matrix type, ESymmetry_type node1) void setMain_diagonal_value(EStrict_triangular_matrix type, int value, ESymmetry_type node1) case sMain_diagonal_valueElementary_function_enumerators: int getMain_diagonal_value(EStrict_triangular_matrix type, EElementary_function_enumerators node1) void setMain_diagonal_value(EStrict_triangular_matrix type, int value, EElementary_function_enumerators node1) case sMain_diagonal_valueOpen_closed: int getMain_diagonal_value(EStrict_triangular_matrix type, EOpen_closed node1) void setMain_diagonal_value(EStrict_triangular_matrix type, int value, EOpen_closed node1) case sMain_diagonal_valueSpace_constraint_type: int getMain_diagonal_value(EStrict_triangular_matrix type, ESpace_constraint_type node1) void setMain_diagonal_value(EStrict_triangular_matrix type, int value, ESpace_constraint_type node1) case sMain_diagonal_valueRepackage_options: int getMain_diagonal_value(EStrict_triangular_matrix type, ERepackage_options node1) void setMain_diagonal_value(EStrict_triangular_matrix type, int value, ERepackage_options node1) case sMain_diagonal_valueExtension_options: int getMain_diagonal_value(EStrict_triangular_matrix type, EExtension_options node1) void setMain_diagonal_value(EStrict_triangular_matrix type, int value, EExtension_options node1) case sMain_diagonal_valueAtom_based_tuple: AAtom_based_value getMain_diagonal_value(EStrict_triangular_matrix type, EAtom_based_tuple node1) void setMain_diagonal_value(EStrict_triangular_matrix type, AAtom_based_value value, EAtom_based_tuple node1) case sMain_diagonal_valueMaths_tuple: AMaths_value getMain_diagonal_value(EStrict_triangular_matrix type, EMaths_tuple node1) void setMain_diagonal_value(EStrict_triangular_matrix type, AMaths_value value, EMaths_tuple node1) void unsetMain_diagonal_value(EStrict_triangular_matrix type) |
public class CStrict_triangular_matrix implements EStrict_triangular_matrixstatic EAttribute attributeMain_diagonal_value(EStrict_triangular_matrix type)static int usedinMain_diagonal_value(EStrict_triangular_matrix type, EEntity instance, ASdaiModel domain, AStrict_triangular_matrix result) |
public class AStrict_triangular_matrix extends AEntitypublic EStrict_triangular_matrix getByIndex(int index)public EStrict_triangular_matrix getCurrentMember(SdaiIterator it) |