(* SCHEMA cast_parts_schema; *)
ENTITY simulation_unit_state
SUBTYPE OF (action_property);
WHERE
wr1: SIZEOF(QUERY ( adr <* USEDIN(SELF,
'CAST_PARTS_SCHEMA.APPLIED_TIME_ASSIGNMENT.ITEMS') |
((adr.role.name = 'evaluation time') AND
('CAST_PARTS_SCHEMA.LOCAL_TIME' IN TYPEOF(adr.assigned_time)))
)) = 1;
wr2: SIZEOF(QUERY ( apr <* USEDIN(SELF,
'CAST_PARTS_SCHEMA.ACTION_PROPERTY_REPRESENTATION.PROPERTY')|
'CAST_PARTS_SCHEMA.SIMULATED_PROPERTY'
IN TYPEOF(apr.representation)
))>=1;
END_ENTITY; -- simulation_unit_state
|
Generated by STEP Tools® EXPRESS to HTML Converter
2012-03-27T17:17:49-04:00