|
ENTITY initial_state; applies_to_mechanism : mechanism; pair_values : SET [1:?] OF pair_value; WHERE WR1: SIZEOF (QUERY (joint <* applies_to_mechanism.structure_definition.joints | SIZEOF (QUERY (init_val <* pair_values | init_val.applies_to_pair.joint :=: joint)) <> 1)) = 0; END_ENTITY; -- initial_state |
Entity data types and their attributesinitial_stateapplies_to_mechanism: mechanism; pair_values: SET [1:?] OF pair_value; |
Usersinitial_state |
Global rules for this entity data type- |