ENTITY initial_state

(* SCHEMA step_merged_ap_schema; *)

-- IN AP214
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
2023-12-22T16:32:02-05:00