(* SCHEMA process_planning_schema; *)
ENTITY fixture_pallet_unmounting
SUBTYPE OF (fixture_setup);
WHERE
wr1: NOT (SIZEOF(QUERY ( am <* QUERY ( arr <* USEDIN(SELF,'PROCESS_PLANNING_SCHEMA.ACTION_RESOURCE_REQUIREMENT.OPERATIONS')
| (
'PROCESS_PLANNING_SCHEMA.REQUIREMENT_FOR_ACTION_RESOURCE' IN
TYPEOF(arr)) ) | (SIZEOF(QUERY ( it <* am.resources | (
'PROCESS_PLANNING_SCHEMA.MACHINE' IN TYPEOF(it)) )) = 0) ))
= 0);
END_ENTITY; -- fixture_pallet_unmounting
|
Generated by STEP Tools® EXPRESS to HTML Converter
2012-03-27T17:19:47-04:00