(* 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;
|
[Top Level Definitions] [Exit]
Generated by STEP Tools® EXPRESS to HTML Converter
2024-09-06T14:00:32-04:00