(* SCHEMA FUNCTIONAL_DATA_AND_SCHEMATIC_REPRESENTATION_MIM_LF; *)
ENTITY presentation_size;
unit : presentation_size_assignment_select;
size : planar_box;
WHERE
wr1 : (
'FUNCTIONAL_DATA_AND_SCHEMATIC_REPRESENTATION_MIM_LF.PRESENTATION_REPRESENTATION'
IN TYPEOF(SELF.unit)) AND item_in_context(SELF.size, SELF.unit\
representation.context_of_items) OR (
'FUNCTIONAL_DATA_AND_SCHEMATIC_REPRESENTATION_MIM_LF.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:17:32-04:00