ГОСТ Р ИСО 10303-508— 2009
WR11: SIZEOF (QUERY(fbsm <‘ QUERY (it <‘ SELF.items |
’AIC_NON_MANIFOLD_SURFACE.FACE_BASED_SURFACE_MODEL’ IN TYPEOF(it)) |
NOT (SIZEOF (QUERY(cfs <*
fbsm\face_based_surface_model ,fbsm_faces |
NOT (SIZEOF (QUERY (fa <* cfs.cfs_faces |
NOT ((,AIC_NON_MANIFOLD_SURFACE.ADVANCED_FACE’ IN TYPEOF (fa))
OR
(SIZEOF (QUERY (elp_fbnds <* QUERY (bnds <*fa.bounds |
’AIC_NON_MANIFOLD_SURFACE.EDGE_LOOP’ IN TYPEOF (bnds.bound)) |
NOT(SIZEOF (QUERY (oe <* elp_fbnds\path.edge_list|
NOT ((’AIC_NON_MANIFOLD_SURFACE.VERTEX_POINT IN TYPEOF
(oe.edge_element.edge_start))
AND
(’AIC_NON_MANIFOLD_SURFACE-VERTEX_POINT’ IN
TYPEOF (oe.edge_element.edge_end)))))
=
0
))) =
0
)))) =
0
))) =
0
))) =
0
;
WR12: SIZEOF (QUERY (fbsm <* QUERY (it <* SELF.items |
•AIC_NON_MANIFOLD_SURFACE.FACE_BASED_SURFACE_MODEL’ IN TYPEOF (it)) |
NOT (SIZEOF (QUERY(cfs <*
fbsm\face_based_surface_mode!.fbsm_faces |
NOT (SIZEOF (QUERY (fa <* cfs.cfs_faces |
NOT((’AIC_NON_MANIFOLD_SURFACE.ADVANCED_FACE’ IN TYPEOF (fa))
OR
(SIZEOF (QUERY (elp_fbnds <* QUERY (bnds <*fa.bounds |
’AIC_NON_MANIFOLD_SURFACE.EDGE_LOOP‘ IN TYPEOF (bnds.bound)) |
NOT (SIZEOF (QUERY (oe <* elp_fbnds’path.edge_list |
NOT ((SIZEOF ([‘AIC_NON_MANIFOLD_SURFACE.CARTESIAN POINT’,
’AIC_NON_MANIFOLD_SURFACE.DEGENERATE_PCURVE\
’AIC_NON_MANIFOLD_SURFACE.POINT_ON_CURVE\
’AIC_NON_MANIFOLD_SURFACE.POINT_ON_SURFACE’] *TYPEOF
(oe.edge_element.edge_start\vertex_point.vertex_geometry)) = 1)
AND
(SIZEOF ([’AIC_NON_MANIFOLD_SURFACE.CARTESlAN_POINT‘.
’AIC_NON_MANIFOLD_SURFACE.DEGENERATE_PCURVE\
’AIC_NON_MANIFOLD_SURFACE.POINT_ON_CURVE’,
,AIC_NON_MANIFOLD_SURFACE.POINT_ON_SURFACE’] *TYPEOF
(oe.edge_element.edge_end\vertex_point.vertex_geometry)) = 1
)))) = 0))) = 0)))) = 0)))=’0))) = 0;
WR13: SIZEOF (QUERY (fbsm <* QUERY (it <* SELF.items |
’AIC_NON_MANIFOLD_SURFACE.FACE_BASED_SURFACE MODEL’ IN TYPEOF (it)) |
NOT (SIZEOF (QUERY(cfs <*
fbsm\face_based_surface_model.fbsm_faces |
NOT (SIZEOF (QUERY (fa <* cfs.cfs_faces |
NOT ((’AIC_NON_MANIFOLD_SURFACE.ADVANCED_FACE’ IN TYPEOF (fa))
OR
(SIZEOF (QUERY (vlp_fbnds <* QUERY (bnds <* fa.bounds |
’AIC_NON_MANIFOLD_SURFACE.VERTEX_LOOP’ IN TYPEOF (bnds.bound))|
NOT (’AIC_NON_MANIFOLD_SURFACE.VERTEX_POINT IN TYPEOF
(vtp_fbnds\vortex_loop.loop_vertex)))) =0)))) =0)))
=
0
))) =
0
;
WR14: SIZEOF (QUERY (fbsm <* QUERY (it <* SELF.items |
’AIC_NON_MANIFOLD_SURFACE.FACE_BASED_SURFACE_MODEL’ IN TYPEOF (it)) |
NOT (SIZEOF (QUERY(cfs <*
fbsm\face_based_surface model ,fbsm_faces |
NOT (SIZEOF (QUERY (fa <* cfs.cfs_faces |
8