ГОСТ Р ИСО 10303-521—2008
WR10: SIZEOF (QUERY (cfss <* QUERY (it <* SELF.items |
•AIC_MANIFOLD_SUBSURFACE.CONNECTED_FACE_SUB_SEr 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.EDGEJ_OOP‘ 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_SUBSEP 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_curvo.edge_geometry\
surface_curve.associated_geometry |
NOT (’AIC_TOPOLOGICALLY_BOUNDED_SURFACE.PCURVE’ IN
TYPEOF(sc_ag)))) = 0)))
)) = 0
))) =
0
))))= o
))) = 0;
WR12: SIZEOF (QUERY (cfss <* QUERY (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 <* 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;
Г
7