Overview Schemas Index

geometric_model_schema         

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

Entity data types and their attributes

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

Users: by entity attributes

founded_item
          founded_item.users
                    founded_item_select
box_domain
          boxed_half_space.enclosure

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

box_domain
          -

Global rules for this entity data type

          -