ГОСТ Р ИСО 10303-503—2006
WR3: SIZEOF (QUERY (item <* SELF.items |
SIZEOF (TYPEOF (item)*
{’AIC_GEOMETRICALLY_BOUNDED_2D_WIREFRAME.GEOMETRIC_CURVE_SET\
AIC_GEOMETRICALLY_BOUNDED_2D_WIREFRAME.MAPPEDJTEM ’]) = 1
))>=1;
WR4: SIZEOF (QUERY (mi <* QUERY (item <* SELF.items |
(’AIC_GEOMETRICALLY_BOUNDED_2D_WIREFRAME.MAPPEDJTEM’
IN TYPEOF (item))) |
NOT (’AIC_GEOMETRICALLY_BOUNDED_2D_WIREFRAME’. ♦
•GEOMETRICALLY_BOUNDED_2D_WIREFRAME_REPRESENTATION’
IN TYPEOF
(mi \ mappedJtem.mapping_source.mapped_representation))
)) =
0
;
WR5: SIZEOF (QUERY (gcs <* QUERY (item <* SELF.items |
(’AIC_GEOMETRICALLY_BOUNDED_2D_WIREFRAME.GEOMETRIC_CURVE_SET’
IN TYPEOF (item))) |
NOT (SIZEOF (QUERY (elem <*gcs \ geometric_set.elements |
NOT(SIZEOF (TYPEOF (elem) *
( AIC_GEOMETRICALLY_BOUNDED_2D_WIREFRAME.B_SPLINE_CURVE ’,
’AIC_GEOMETRICALLY_BOUNDED_2D_WIREFRAME.CIRCLE’,
AIC_GEOMETRICALLY_BOUNDED 2D_WIREFRAME.COMPOSITE_CURVE\
AIC_GEOMETRICALLY_BOUNDED_2D_WIREFRAME.ELLIPSE’,
AIC_GEOMETRICALLY_BOUNDED_2D_WIREFRAME.OFFSET_CURVE_2D’,
AIC_GEOMETRICALLY_BOUNDED_2D_WIREFRAME.POINT’.
’AIC_GEOMETRICALLY_BOUNDED_2D_WIREFRAME.POLYLINE’,
’AIC_GEOMETRICALLY_BOUNDED_2D_WIREFRAME.TRIMMED_CURVE’]) =
0
1
)
))= )
)) =
0
;
WR6: SIZEOF (QUERY (gcs <* QUERY (item <* SELF.items |
(’AIC_GEOMETRICALLY_BOUNDED_2D_WIREFRAME.GEOMETRIC_CURVE_SET’
IN TYPEOF (item))) |
NOT(SIZEOF (QUERY (crv <*
QUERY (elem <* gcs\ geometric_set.elements |
(’AIC_GEOMETRICALLY_BOUNDED 2D_W!REFRAME.CURVE’
IN TYPEOF (elem))) |
NOT (valid_basis_curve_in_2d_wireframe
(crv))
))=0)
)) =0;
WR7: SIZEOF (QUERY (gcs <* QUERY (item <* SELF.items |
{’AIC_GEOMETRICALLY_BOUNDED_2D_WIREFRAME.GEOMETRIC_CURVE_SET’
IN TYPEOF (item))) |
NOT (SIZEOF (QUERY (pnt<*
QUERY (elem <* gcs\geometric_set.elements |
(’AIC_GEOMETRICALLY_BOUNDED_2D_WIREFRAME.POINT’
IN TYPEOF(elem))) |
NOT (SIZEOF (TYPEOF (pnt) *
[’AIC_GEOMETRICALLY_BOUNDED_2D_WIREFRAME.CARTESIAN_POINT\
’AIC_GEOMETRICALLY_BOUNDED_2D_WIREFRAME.POINT_ON_CURVE’])
= 1))) =0)
)) =
0
;
WR8: SIZEOF (QUERY (gcs <* QUERY (item <* SELF.items |
(•AIC_GEOMETRICALLY_BOUNDED 2D_WIREFRAME.GEOMETRIC_CURVE_SET’
IN TYPEOF (item))) |
NOT(SIZEOF (QUERY (pi <‘
QUERY (elem <* gcs\geometric_set.elements |
(’AIC_GEOMETRICALLY_BOUNDED_2D_WIREFRAME.POLYLINE *
4