(* SCHEMA plant_spatial_configuration; *)
ENTITY presentation_size;
unit : presentation_size_assignment_select;
size : planar_box;
WHERE
WR1:
('PLANT_SPATIAL_CONFIGURATION.PRESENTATION_REPRESENTATION' IN
TYPEOF(SELF.unit)) AND item_in_context(SELF.size,
SELF.unit\representation.context_of_items) OR
('PLANT_SPATIAL_CONFIGURATION.AREA_IN_SET' IN TYPEOF(SELF.unit)) AND
(SIZEOF(QUERY (ais <* SELF.unit\area_in_set.in_set.areas| NOT
item_in_context(SELF.size, ais.area\representation.context_of_items)))
= 0);
END_ENTITY;
|
[Top Level Definitions] [Exit]
Generated by STEP Tools® EXPRESS to HTML Converter
2012-03-27T17:18:24-04:00