ENTITY variational_parameter ABSTRACT SUPERTYPE OF (ONEOF (bound_variational_parameter, unbound_variational_parameter)) SUBTYPE OF (variational_representation_item, maths_variable); parameter_description : OPTIONAL text; parameter_current_value : maths_value; WHERE wr1: member_of(parameter_current_value, SELF\maths_variable.values_space); wr2: SELF\maths_variable.name = SELF\representation_item.name; END_ENTITY; -- variational_parameter |
Entity data types and their attributesrepresentation_itemname: label; variational_representation_item - generic_expression - simple_generic_expression - generic_variable (INV) interpretation: environment FOR syntactic_representation; maths_variable values_space: maths_space; name: label; variational_parameter (OPT) parameter_description: text; parameter_current_value: maths_value; |
bound_variational_parameter (PARAMETERIZATION_SCHEMA) |
unbound_variational_parameter (PARAMETERIZATION_SCHEMA) |
Global rules for this entity data type- |
public interface EVariational_parameter extends EVariational_representation_item, EMaths_variableparameter_description (explicit attribute)boolean testParameter_description(EVariational_parameter type)String getParameter_description(EVariational_parameter type) void setParameter_description(EVariational_parameter type, String value) void unsetParameter_description(EVariational_parameter type) parameter_current_value (explicit attribute)int testParameter_current_value(EVariational_parameter type)case 1 EEntity getParameter_current_value(EVariational_parameter type) void setParameter_current_value(EVariational_parameter type, EEntity value, EEntity node1) case sParameter_current_valueMaths_number: double getParameter_current_value(EVariational_parameter type, EMaths_number node1) void setParameter_current_value(EVariational_parameter type, double value, EMaths_number node1) case sParameter_current_valueMaths_real: double getParameter_current_value(EVariational_parameter type, EMaths_real node1) void setParameter_current_value(EVariational_parameter type, double value, EMaths_real node1) case sParameter_current_valueMaths_integer: int getParameter_current_value(EVariational_parameter type, EMaths_integer node1) void setParameter_current_value(EVariational_parameter type, int value, EMaths_integer node1) case sParameter_current_valueMaths_logical: int getParameter_current_value(EVariational_parameter type, EMaths_logical node1) void setParameter_current_value(EVariational_parameter type, int value, EMaths_logical node1) case sParameter_current_valueMaths_boolean: boolean getParameter_current_value(EVariational_parameter type, EMaths_boolean node1) void setParameter_current_value(EVariational_parameter type, boolean value, EMaths_boolean node1) case sParameter_current_valueMaths_string: String getParameter_current_value(EVariational_parameter type, EMaths_string node1) void setParameter_current_value(EVariational_parameter type, String value, EMaths_string node1) case sParameter_current_valueMaths_binary: Binary getParameter_current_value(EVariational_parameter type, EMaths_binary node1) void setParameter_current_value(EVariational_parameter type, Binary value, EMaths_binary node1) case sParameter_current_valueElementary_space_enumerators: int getParameter_current_value(EVariational_parameter type, EElementary_space_enumerators node1) void setParameter_current_value(EVariational_parameter type, int value, EElementary_space_enumerators node1) case sParameter_current_valueOrdering_type: int getParameter_current_value(EVariational_parameter type, EOrdering_type node1) void setParameter_current_value(EVariational_parameter type, int value, EOrdering_type node1) case sParameter_current_valueLower_upper: int getParameter_current_value(EVariational_parameter type, ELower_upper node1) void setParameter_current_value(EVariational_parameter type, int value, ELower_upper node1) case sParameter_current_valueSymmetry_type: int getParameter_current_value(EVariational_parameter type, ESymmetry_type node1) void setParameter_current_value(EVariational_parameter type, int value, ESymmetry_type node1) case sParameter_current_valueElementary_function_enumerators: int getParameter_current_value(EVariational_parameter type, EElementary_function_enumerators node1) void setParameter_current_value(EVariational_parameter type, int value, EElementary_function_enumerators node1) case sParameter_current_valueOpen_closed: int getParameter_current_value(EVariational_parameter type, EOpen_closed node1) void setParameter_current_value(EVariational_parameter type, int value, EOpen_closed node1) case sParameter_current_valueSpace_constraint_type: int getParameter_current_value(EVariational_parameter type, ESpace_constraint_type node1) void setParameter_current_value(EVariational_parameter type, int value, ESpace_constraint_type node1) case sParameter_current_valueRepackage_options: int getParameter_current_value(EVariational_parameter type, ERepackage_options node1) void setParameter_current_value(EVariational_parameter type, int value, ERepackage_options node1) case sParameter_current_valueExtension_options: int getParameter_current_value(EVariational_parameter type, EExtension_options node1) void setParameter_current_value(EVariational_parameter type, int value, EExtension_options node1) case sParameter_current_valueAtom_based_tuple: AAtom_based_value getParameter_current_value(EVariational_parameter type, EAtom_based_tuple node1) void setParameter_current_value(EVariational_parameter type, AAtom_based_value value, EAtom_based_tuple node1) case sParameter_current_valueMaths_tuple: AMaths_value getParameter_current_value(EVariational_parameter type, EMaths_tuple node1) void setParameter_current_value(EVariational_parameter type, AMaths_value value, EMaths_tuple node1) void unsetParameter_current_value(EVariational_parameter type) |
public class CVariational_parameter implements EVariational_parameterstatic EAttribute attributeParameter_description(EVariational_parameter type)static EAttribute attributeParameter_current_value(EVariational_parameter type) static int usedinParameter_current_value(EVariational_parameter type, EEntity instance, ASdaiModel domain, AVariational_parameter result) |
public class AVariational_parameter extends AEntitypublic EVariational_parameter getByIndex(int index)public EVariational_parameter getCurrentMember(SdaiIterator it) |