ENTITY box_domain

(* SCHEMA step_merged_ap_schema; *)
-- DIFF IN AP232
-- IN AP203e2/AP214/AP232/AP242
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 ('STEP_MERGED_AP_SCHEMA.' + 'BOXED_HALF_SPACE' IN TYPEOF(item)))) = 0;
END_ENTITY;

Explicit Attributes

Entity box_domain has the following local and inherited explicit attributes:
AttributeTypeDefined By
 cornercartesian_point (ENTITY)box_domain
 xlengthpositive_length_measure (REAL)box_domain
 ylengthpositive_length_measure (REAL)box_domain
 zlengthpositive_length_measure (REAL)box_domain

Derived Attributes

Entity box_domain has the following local and inherited derived attributes:
AttributeTypeDefined By
 usersSET OF founded_item_select (SELECT)founded_item

Inverse Attributes

    No Inverse Attributes

Supertypes

Entity box_domain inherits from the following supertypes:
  founded_item

Subtypes

    No subtypes

Referenced By

Entity box_domain and its supertypes are referenced by the following definitions:
DefinitionTypeReferenced Entity
 boxed_half_space ENTITY box_domain
 founded_item ENTITY box_domain
 founded_item_select SELECT founded_item
 subtype_exclusiveness_founded_item RULE founded_item
 subtype_mandatory_founded_item RULE founded_item
 validate_dependently_instantiable_entity_data_types RULE founded_item


[Top Level Definitions] [Exit]

Generated by STEP Tools® EXPRESS to HTML Converter
2017-01-19T11:17:22-05:00