(* SCHEMA cast_parts_schema; *)
ENTITY casting_equipment_setup
SUBTYPE OF (machine_setup);
WHERE
wr1: (NOT(SIZEOF(QUERY ( sar <* USEDIN(SELF,
'CAST_PARTS_SCHEMA.ACTION_RESOURCE_REQUIREMENT.OPERATIONS') |
(('CAST_PARTS_SCHEMA.REQUIREMENT_FOR_ACTION_RESOURCE'
IN TYPEOF(sar)) AND
(SIZEOF(QUERY( equ <* sar.resources |
('CAST_PARTS_SCHEMA.CASTING_EQUIPMENT' IN TYPEOF(equ))))
=1 ))))=0));
END_ENTITY; -- casting_equipment_setup
|
Generated by STEP Tools® EXPRESS to HTML Converter
2012-03-27T17:17:49-04:00