ISO 10303-521:2011(E)


Application interpreted construct: Manifold subsurface	ISO 10303-521:2011(E) © ISO

Cover page
Table of contents
Copyright
Foreword
Introduction
1 Scope
2 Normative references
3 Terms, definitions and abbreviated terms
3.1 Terms and definitions
3.2 Abbreviated terms

4 EXPRESS short listing
4.1 General
4.2 Fundamental concepts and assumptions
4.3 Manifold subsurface entity definition
4.4 Manifold subsurface function definitions

A Short names of entities
B Information object registration
C Computer interpretable listings
D EXPRESS-G diagrams
E Examples
Bibliography
Index


         (*
ISO TC184/SC4/WG12 N6201 - ISO 10303-521 Manifold subsurface - EXPRESS
Supersedes 
         ISO TC184/SC4/WG12 N5258
*)




            SCHEMA aic_manifold_subsurface;


         USE FROM
         aic_topologically_bounded_surface;
            -- ISO 10303-511


         USE FROM
         geometry_schema   -- ISO 10303-42
  (cartesian_transformation_operator_3d);


         USE FROM
         topology_schema   -- ISO 10303-42
  (closed_shell,

           
         connected_face_set,

           
         connected_face_sub_set,

           
         face,

           
         open_shell,

           
         subedge,

           
         subface);


         USE FROM
         representation_schema   -- ISO 10303-43
  (mapped_item);


         USE FROM
         product_property_representation_schema   -- ISO 10303-41
  (shape_representation);


ENTITY manifold_subsurface_shape_representation

           SUBTYPE OF (shape_representation);
WHERE

           WR1: SIZEOF (QUERY (it <* SELF.items |
            NOT (SIZEOF (['AIC_MANIFOLD_SUBSURFACE.CONNECTED_FACE_SUB_SET',
            'AIC_MANIFOLD_SUBSURFACE.MAPPED_ITEM',
            'AIC_MANIFOLD_SUBSURFACE.AXIS2_PLACEMENT_3D'] *
            TYPEOF(it)) = 1))) = 0;

           WR2: SIZEOF (QUERY (it <* SELF.items |
            SIZEOF(['AIC_MANIFOLD_SUBSURFACE.CONNECTED_FACE_SUB_SET',
            'AIC_MANIFOLD_SUBSURFACE.MAPPED_ITEM'] * TYPEOF(it)) =1 )) > 0;

           WR3: SIZEOF (QUERY (mi <*  QUERY (it <* items |
            'AIC_MANIFOLD_SUBSURFACE.MAPPED_ITEM' IN TYPEOF(it)) |
            NOT ('AIC_MANIFOLD_SUBSURFACE.MANIFOLD_SUBSURFACE_SHAPE_REPRESENTATION' IN
            TYPEOF(mi\mapped_item.mapping_source.
            mapped_representation)))) = 0;

           WR4: SIZEOF (QUERY (cfss <* QUERY (it <* SELF.items |
            'AIC_MANIFOLD_SUBSURFACE.CONNECTED_FACE_SUB_SET' IN TYPEOF(it)) |
            NOT('AIC_MANIFOLD_SUBSURFACE.OPEN_SHELL' IN TYPEOF(cfss)))) = 0;

           WR5: SIZEOF (QUERY (cfss <* QUERY (it <* SELF.items |
            'AIC_MANIFOLD_SUBSURFACE.CONNECTED_FACE_SUB_SET' IN TYPEOF(it)) |
            NOT( (('AIC_MANIFOLD_SUBSURFACE.CONNECTED_FACE_SUB_SET' IN
            TYPEOF(cfss\connected_face_sub_set.parent_face_set))AND
            (SIZEOF(QUERY(fac <* cfss\connected_face_sub_set.parent_face_set\connected_face_set.cfs_faces | NOT
            advanced_face_properties(fac))) = 0)) OR
            (SIZEOF(QUERY(fac <* cfss\connected_face_sub_set.parent_face_set\connected_face_set.cfs_faces | NOT
            ('AIC_MANIFOLD_SUBSURFACE.ADVANCED_FACE' IN TYPEOF(fac)))) = 0)
            ))) = 0;

           WR6: SIZEOF (QUERY (cfss <* QUERY (it <* SELF.items |
            'AIC_MANIFOLD_SUBSURFACE.CONNECTED_FACE_SUB_SET' IN TYPEOF(it)) |
            ( SIZEOF (QUERY (fac <* cfss\connected_face_set.cfs_faces  | NOT
            advanced_face_properties(fac))) = 0))) = 0;

           WR7: SIZEOF (QUERY (cfss <* QUERY (it <* SELF.items |
            'AIC_MANIFOLD_SUBSURFACE.CONNECTED_FACE_SUB_SET' IN TYPEOF(it)) |
            NOT (SIZEOF (QUERY(fcs <* cfss\connected_face_set.cfs_faces |
            ('AIC_MANIFOLD_SUBSURFACE.SUBFACE' IN TYPEOF(fcs)) AND
            NOT (SIZEOF(QUERY (elp_fbnds <* QUERY (bnds <* fcs.bounds |
            'AIC_MANIFOLD_SUBSURFACE.EDGE_LOOP' IN TYPEOF(bnds.bound)) |
            NOT (SIZEOF (QUERY (oe <* elp_fbnds.bound\path.edge_list |
            NOT(('AIC_MANIFOLD_SUBSURFACE.EDGE_CURVE' IN
            TYPEOF(oe.edge_element)) OR
            ('AIC_MANIFOLD_SUBSURFACE.SUBEDGE' IN
            TYPEOF(oe.edge_element)) ))) = 0
            ))) = 0
            ))) = 0
            ))) = 0;

           WR8: SIZEOF (QUERY (cfss <* QUERY (it <* SELF.items |
            'AIC_MANIFOLD_SUBSURFACE.CONNECTED_FACE_SUB_SET' IN TYPEOF(it)) |
            NOT (SIZEOF (QUERY(fcs <* cfss\connected_face_set.cfs_faces |
            ('AIC_MANIFOLD_SUBSURFACE.SUBFACE' IN TYPEOF(fcs)) AND
            NOT (SIZEOF(QUERY (elp_fbnds <* QUERY (bnds <* fcs.bounds |
            'AIC_MANIFOLD_SUBSURFACE.EDGE_LOOP' IN TYPEOF(bnds.bound)) |
            NOT (SIZEOF (QUERY (oe <* elp_fbnds.bound\path.edge_list |
            NOT(('AIC_MANIFOLD_SUBSURFACE.VERTEX_POINT' IN TYPEOF(oe.edge_start))
            AND ('AIC_MANIFOLD_SUBSURFACE.VERTEX_POINT' IN
            TYPEOF(oe.edge_end))
            ))) = 0
            ))) = 0
            ))) = 0
            ))) = 0;

           WR9: SIZEOF (QUERY (cfss <* QUERY (it <* SELF.items |
            'AIC_MANIFOLD_SUBSURFACE.CONNECTED_FACE_SUB_SET' IN TYPEOF(it)) |
            NOT (SIZEOF (QUERY(fcs <* cfss\connected_face_set.cfs_faces |
            ( 'AIC_MANIFOLD_SUBSURFACE.SUBFACE' IN TYPEOF(fcs)) AND
            ( NOT (SIZEOF(QUERY  (bnds <* fcs.bounds |
            NOT (SIZEOF (['AIC_MANIFOLD_SUBSURFACE.EDGE_LOOP',
            'AIC_MANIFOLD_SUBSURFACE.VERTEX_LOOP'] *
            TYPEOF(bnds.bound)) = 1 )
            )) = 0)
            ))) = 0
            ))) = 0;

           WR10: SIZEOF (QUERY (cfss <* QUERY (it <* SELF.items |
            'AIC_MANIFOLD_SUBSURFACE.CONNECTED_FACE_SUB_SET' IN TYPEOF(it)) |
            NOT (SIZEOF (QUERY(fcs <* cfss\connected_face_set.cfs_faces |
            ( 'AIC_MANIFOLD_SUBSURFACE.SUBFACE' IN TYPEOF(fcs)) AND
            ( NOT (SIZEOF(QUERY (elp_fbnds <* QUERY (bnds <* fcs.bounds |
            'AIC_MANIFOLD_SUBSURFACE.EDGE_LOOP' IN TYPEOF(bnds.bound)) |
            NOT (SIZEOF (QUERY (oe <* elp_fbnds.bound\path.edge_list |
            NOT (SIZEOF (['AIC_MANIFOLD_SUBSURFACE.LINE',
            'AIC_MANIFOLD_SUBSURFACE.CONIC',
            'AIC_MANIFOLD_SUBSURFACE.POLYLINE',
            'AIC_MANIFOLD_SUBSURFACE.SURFACE_CURVE',
            'AIC_MANIFOLD_SUBSURFACE.B_SPLINE_CURVE' ] *
            TYPEOF(oe.edge_element\edge_curve.edge_geometry)) = 1 )
            )) = 0
            ))) = 0
            )))) = 0
            ))) = 0;

           WR11: SIZEOF (QUERY (cfss <* QUERY (it <* SELF.items |
            'AIC_MANIFOLD_SUBSURFACE.CONNECTED_FACE_SUB_SET' IN TYPEOF(it)) |
            NOT (SIZEOF (QUERY(fcs <* cfss\connected_face_set.cfs_faces |
            ( 'AIC_MANIFOLD_SUBSURFACE.SUBFACE' IN TYPEOF(fcs)) AND
            (NOT (SIZEOF(QUERY (elp_fbnds <* QUERY (bnds <* fcs.bounds |
            'AIC_MANIFOLD_SUBSURFACE.EDGE_LOOP' IN TYPEOF(bnds.bound)) |
            NOT (SIZEOF (QUERY (oe <* elp_fbnds.bound\path.edge_list |
            ('AIC_MANIFOLD_SUBSURFACE.SURFACE_CURVE' IN
            TYPEOF(oe.edge_element\edge_curve.edge_geometry)) AND
            (NOT ((SIZEOF (QUERY (sc_ag <*
            oe.edge_element\edge_curve.edge_geometry\
            surface_curve.associated_geometry |
            NOT ('AIC_TOPOLOGICALLY_BOUNDED_SURFACE.PCURVE' IN
            TYPEOF(sc_ag)))) = 0)))
            )) = 0
            ))) = 0
            )))) = 0
            ))) = 0;

           WR12: SIZEOF (QUERY (cfss <* QUERY (it <* SELF.items |
            'AIC_MANIFOLD_SUBSURFACE.CONNECTED_FACE_SUB_SET' IN TYPEOF(it)) |
            NOT (SIZEOF (QUERY(fcs <* cfss\connected_face_set.cfs_faces |
            ( 'AIC_MANIFOLD_SUBSURFACE.SUBFACE' IN TYPEOF(fcs)) AND
            (NOT (SIZEOF(QUERY (elp_fbnds <* QUERY (bnds <* fcs.bounds |
            'AIC_MANIFOLD_SUBSURFACE.EDGE_LOOP' IN TYPEOF(bnds.bound)) |
            NOT (SIZEOF (QUERY (oe <* elp_fbnds.bound\path.edge_list |
            ('AIC_MANIFOLD_SUBSURFACE.POLYLINE' IN
            TYPEOF(oe.edge_element\edge_curve.edge_geometry)) AND
            (NOT (SIZEOF (oe\oriented_edge.edge_element\
            edge_curve.edge_geometry\polyline.points) >= 3))
            )) = 0
            ))) = 0
            )))) = 0
            ))) = 0;

         
         END_ENTITY;


FUNCTION advanced_face_properties
 (testface : face) : BOOLEAN;

IF 'AIC_MANIFOLD_SUBSURFACE.ADVANCED_FACE' IN TYPEOF(testface) THEN
    RETURN (TRUE);
END_IF;
(* if testface is a subface recursively test the parent_face,
return FALSE for all other types of face *)
IF  ('AIC_MANIFOLD_SUBSURFACE.SUBFACE' IN TYPEOF(testface)) THEN
     RETURN(advanced_face_properties(testface\subface.parent_face));
   ELSE RETURN (FALSE);
END_IF;


         END_FUNCTION;



         END_SCHEMA;  -- aic_manifold_subsurface