ENTITY initial_state

(* SCHEMA 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;

Explicit Attributes

Entity initial_state has the following local and inherited explicit attributes:
AttributeTypeDefined By
 applies_to_mechanismmechanism (ENTITY)initial_state
 pair_valuesSET OF pair_value (ENTITY)initial_state

Derived Attributes

    No derived attributes

Inverse Attributes

    No Inverse Attributes

Supertypes

    No supertypes

Subtypes

    No subtypes

Referenced By

    Not referenced by any other definition


[Top Level Definitions] [Exit]

Generated by STEP Tools® EXPRESS to HTML Converter
2012-03-27T17:14:00-04:00