Overview Schemas Index

kinematic_structure_schema         


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 attributes

initial_state
          applies_to_mechanism: mechanism;
          pair_values: SET [1:?] OF pair_value;

Users

initial_state

Global rules for this entity data type

          -