ГОСТ Р ИСО 10303-511—2006
NOT (SIZEOF (QUERY (ое <* elp_fbnds.bound’path.edgGJist |
NOT (SIZEOF ([’AIC TOPOLOGICALLY_BOUNDED_SURFACE.LINE’.
’AIC_TOPOLOGICALLY_BOUNDED_SURFACE.CONIC’,
’AIC TOPOLOGICALLY_BOUNDED_SURFACE.POLYLINE’,
’AIC_TOPOLOGICALLY_BOUNDED_SURFACE.SURFACE_CURVE’,
’AIC_TOPOLOGICALLY_BOUNDED_SURFACE.B_SPLINE_CURVE’) *
TYPEOF(o€.edge_element\edgo_curve.Gdge_geometry)) = 1)
)) =
0
))) =
0
;
WR4:SIZEOF(QUERY (elpjbnds <* QUERY (bnds <* bounds |
’AIC_TOPOLOGICALLY_BOUNDED_SURFACE.EDGE_LOOP’ IN
TYPEOF(bnds.bound)) |
NOT(SIZEOF(QUERY (oe <* elp_fbnds.bound’path.edge_list |
NOT((((’AIC_TOPOLOGICALLY_BOUNDED_SURFACE.VERTEX_POINT’ IN
TYPEOF(oe\edge.edge_start))AND
(’AIC_TOPOLOGICALLY_BOUNDED_SURFACE.CARTESIAN_POINT’ IN
TYPEOF(oeVedge.edge_start\vertex_point.vertex_geometry))))AND
((’AIC_TOPOLOGICALLY_BOUNDED_SURFACE.VERTEX_POINT IN
TYPEOF(oo\edge.edge_end)) AND
(’AIC_TOPOLOGICALLY_BOUNDED_SURFACE.CARTESIAN_POINT’ IN
TYPEOF(oe\edge.edge Gnd\vertex_point.vertex_geomGtry)))
))) =
0
))) =
0
;
WR5: SIZEOF(QUERY (elp_fbnds <* QUERY (bnds <* bounds |
’AIC_TOPOLOGICALLY_BOUNDED_SURFACE.EDGE_LOOP’IN
TYPEOF(bnds.bound)) |
•AIC_TOPOLOGICALLY_BOUNDED_SURFACE.ORIENTED_PATH’ IN
TYPEOF(elp_fbnds.bound)))=0;
WR6:(NOT (’AIC_TOPOLOGICALLY_BOUNDED_SURFACE.SWEPT_SURFACE’ IN
TYPEOF(facG_gGometry))) OR
(SIZEOF (fAIC_TOPOLOGICALLY_BOUNDED_SURFACE.LINE’,
’AIC_TOPOLOGICALLY_BOUNDED_SURFACE.CONIC’,
’AIC_TOPOLOGICALLY_BOUNDED_SURFACE.POLYLINE’,
’AIC_TOPOLOGICALLY BOUNDED_SURFACE.B_SPLINE_CURVE’] *
TYPEOF(facG_geomGtry\swept_surfacG.swGpt_curve)) = 1);
WR7.SIZEOF(QUERY (vlp_fbnds <* QUERY (bnds <* bounds |
’AIC_TOPOLOGICALLY_BOUNDED_SURFACE.VERTEX_LOOP’ IN
TYPEOFfbnds.bound)) |
NOT((’AIC_TOPOLOGICALLY_BOUNDED_SURFACE.VERTEX_POINT’ IN
TYPEOF(vlp_fbnds\face_bound.bound\vGrtex_loop.loop_vertGx))
AND (’AIC_TOPOLOGICALLY_BOUNDED_SURFACE.CARTESIAN_POINT’ IN
TYPEOF(vlp_fbnds\face_bound.bound\vertGx_loop.
loop_vertex\vGrtex_point.vertex_gGometry))
)))=0;
WR8:SIZEOF (QUERY (bnd <* bounds |
NOT (SIZEOF([’AIC_TOPOLOGICALLY_BOUNDED_SURFACE.EDGE_LOOP’.
’AIC_TOPOLOGICALLY_BOUNDED_SURFACE.VERTEX_LOOP’] *
TYPEOF(bnd.bound)) = 1))) =0;
WR9: SIZEOF(QUERY (elpJbnds <* QUERY (bnds <* bounds |
’AIC_TOPOLOGICALLY_BOUNDED_SURFACE.EDGE_LOOP’ IN
TYPEOF(bnds.bound)) |
NOT(SIZEOF (QUERY (o« <* c!p_fbnds.bound\path.Gdge_list |
(’AIC_TOPOLOGICALLY_BOUNDED_SURFACE.SURFACE_CURVE‘ IN
TYPEOF(oe\orientGd_edg6.edge_elemGnt\Gdge_curve.Gdge_gGomGtry))
AND (NOT (SIZEOF (QUERY (sc_ag <*
oe.edge_elGmGnt\edge_curvG.edgG_gGometry\
surface_curvG.associated_geometry |
NOT (’AIC_TOPOLOGICALLY_BOUNDED SURFACE.PCURVE’ IN
TYPEOF(sc_ag)))) =0))))=0))) =0:
6