|
ENTITY free_form_assignment SUBTYPE OF (free_form_constraint); WHERE wr1: SIZEOF ( QUERY ( q <* SELF \ free_form_constraint . constrained_elements | q IN used_variables ( SELF \ free_form_constraint . constraining_expression ) ) ) = 0 ; wr2: SIZEOF ( QUERY ( q <* SELF \ free_form_constraint . reference_elements | NOT ( q IN used_variables ( SELF \ free_form_constraint . constraining_expression ) ) ) ) = 0 ; wr3: SIZEOF ( SELF \ free_form_constraint . reference_elements ) >= 1 ; wr4: SIZEOF ( QUERY ( q <* SELF \ free_form_constraint . constrained_elements | NOT ( compatible_spaces ( values_space_of ( SELF \ free_form_constraint . constraining_expression ) , q \ maths_variable . values_space ) ) ) ) = 0 ; END_ENTITY; -- free_form_assignment |
Entity data types and their attributesrepresentation_itemname: label; variational_representation_item - explicit_constraint (OPT) description: text; constrained_elements: SET [1:?] OF representation_item; reference_elements: SET [0:?] OF representation_item; free_form_constraint (RT) constrained_elements: SET [1:?] OF variational_parameter; (RT) reference_elements: SET [0:?] OF variational_parameter; constraining_expression: expression; free_form_assignment - |
Global rules for this entity data type- |
public interface EFree_form_assignment extends EFree_form_constraint |
public class CFree_form_assignment implements EFree_form_assignment |
public class AFree_form_assignment extends AEntitypublic EFree_form_assignment getByIndex(int index)public EFree_form_assignment getCurrentMember(SdaiIterator it) |