ENTITY draughting_subfigure_representation

(* SCHEMA explicit_draughting; *)

  ENTITY draughting_subfigure_representation
    SUBTYPE OF (symbol_representation);
    WHERE
      wr1: SIZEOF(QUERY ( item <* SELF\representation.items | (NOT (
               SIZEOF(['EXPLICIT_DRAUGHTING.ANNOTATION_OCCURRENCE',
               'EXPLICIT_DRAUGHTING.DRAUGHTING_CALLOUT',
               'EXPLICIT_DRAUGHTING.AXIS2_PLACEMENT'] * TYPEOF(item)) = 1)) )) 
               = 0;
      wr2: SIZEOF(QUERY ( item <* SELF\representation.items | (SIZEOF([
               'EXPLICIT_DRAUGHTING.ANNOTATION_OCCURRENCE',
               'EXPLICIT_DRAUGHTING.DRAUGHTING_CALLOUT'] * TYPEOF(item)) = 
               1) )) >= 1;
      wr3: SIZEOF(QUERY ( srm <* QUERY ( rm <* USEDIN(SELF,
               'EXPLICIT_DRAUGHTING.' + 'REPRESENTATION_MAP.' + 
               'MAPPED_REPRESENTATION') | (
               'EXPLICIT_DRAUGHTING.SYMBOL_REPRESENTATION_MAP' IN TYPEOF(rm)) )
                | (NOT (SIZEOF(QUERY ( a_s <* QUERY ( mi <* srm.map_usage
                | ('EXPLICIT_DRAUGHTING.ANNOTATION_SYMBOL' IN TYPEOF(mi)) )
                | (NOT (SIZEOF(QUERY ( aso <* USEDIN(a_s,
               'EXPLICIT_DRAUGHTING.' + 'STYLED_ITEM.ITEM') | (NOT ((
               'EXPLICIT_DRAUGHTING.' + 'ANNOTATION_SUBFIGURE_OCCURRENCE') 
               IN TYPEOF(aso))) )) = 0)) )) = 0)) )) > 0;
      wr4: NOT acyclic_mapped_item_usage(SELF);
      wr5: SIZEOF(SELF.context_of_items.representations_in_context) = 1;
  END_ENTITY; -- draughting_subfigure_representation

Explicit Attributes

Derived Attributes

Inverse Attributes

Supertypes

Subtypes

Referenced By

Generated by STEP Tools^TM EXPRESS to HTML Converter
on 2007-09-07T16:37:43-04:00