ENTITY presentation_size

(* SCHEMA presentation_organization_schema; *)

ENTITY presentation_size;

  unit : presentation_size_assignment_select;

  size : planar_box;

WHERE

  WR1: (('PRESENTATION_ORGANIZATION_SCHEMA.PRESENTATION_REPRESENTATION'

         IN TYPEOF (SELF.unit)) AND

         item_in_context (SELF.size, 

                          SELF.unit\representation.context_of_items)

       )

            OR

       (

        ('PRESENTATION_ORGANIZATION_SCHEMA.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;

Explicit Attributes

Derived Attributes

Inverse Attributes

Supertypes

Subtypes

Referenced By

[Top Level Definitions] [Exit]

Generated by STEP Tools® EXPRESS to HTML Converter
2012-03-27T17:13:59-04:00