Overview Schemas Index

geometric_model_schema         

ENTITY rectangle_domain
          SUBTYPE OF (founded_item);
          corner : cartesian_point;
          xlength : positive_length_measure;
          ylength : positive_length_measure;
WHERE
          WR1: SIZEOF(QUERY(item <* USEDIN(SELF, '')| NOT
   ('GEOMETRIC_MODEL_SCHEMA.RECTANGLED_HALF_SPACE' IN TYPEOF(item)))) = 0;
END_ENTITY; -- rectangle_domain

Entity data types and their attributes

founded_item
          (DER) users: SET [0:?] OF founded_item_select;
rectangle_domain
          corner: cartesian_point;
          xlength: positive_length_measure;
          ylength: positive_length_measure;

Users: by entity attributes

founded_item
          founded_item.users
                    founded_item_select
rectangle_domain
          rectangled_half_space.enclosure

Users: by defined types, not used by any entity attribute

rectangle_domain
          -

Global rules for this entity data type

          -