ГОСТ Р ИСО 10303-521—2008
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.parent_face_set)) AND
(SIZEOF (QUERY (fac <* cfss.parent_face_set.cfs_faces | NOT
advanced_face_properties(fac))) = 0)} OR
(SIZEOF (QUERY (fac <* cfss.parent_face_set.cfs_faces | NOT
(•AIC_MANIFOLD SUBSURFACE. ADVANCED_FACE’ IN TYPEOF(fac)))) = 0)
))) = 0;
WR6: SIZEOF (OUERY (cfss <* QUERY (it <* SELF.items |
•AIC_MANIFOLD_SUBSURFACE.CONNECTED_FACE_SUB_SET’ IN TYPEOF(it)) |
( SIZEOF (QUERY (fac <* cfss\connected_face_set.cfs_faces j NOT
advanced_face_properties(fac))) = 0))) = 0:
WR7: SIZEOF (OUERY (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 (oo <* 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_e!ement))))) = 0
))) =
0
))) =
0
))) = 0;
WR8: SIZEOF (QUERY (cfss <* OUERY (it <* SELF.items |
•AIC_MANIFOLD_SUBSURFACE.CONNECTED_FACE_SUBSET’ 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 <‘ OUERY (bnds <* fcs.bounds |
•AIC_MANIFOLD_SUBSURFACE.EDGE_LOOP’ IN TYPEOF(bnds.bound)) |
NOT (SIZEOF (QUERY (oe <* elp_fbnds.boun<f\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
;
6