ГОСТ Р ИСО 10303-508— 2009
EXPRESS-слоиификаиия:
*)
ENTITY non_manifold_surface_shape_representation
SUBTYPE OF (shape_representation); WHERE
WR1: SIZEOF (QUERY (it <* SELF.items |
NOT (SIZEOF (rAIC_NON_MANIFOLD_SURFACE.FACE_BASED_SURFACE_MODEL*.
’AIC_NON_MANIFOLD_SURFACE.MAPPED _ITEM\
’AIC_NON_MANIFOLD_SURFACE.AXIS2_PLACEMENT_3D’] *TYPEOF (it)) = 1)))
=
0
;
WR2: SIZEOF (QUERY (it <* SELF.items |
SIZEOF (fAIC NON_MANIFOLD SURFACE.FACE_BASED_SURFACE_MODEL’,
AIC_NON_MANIFOLD_SURFACE.MAPPEDJTEM] *TYPEOF (it)) = 1)) >0;
WR3: SIZEOF (QUERY (mi <* QUERY (it <* SELF.items |
’AIC_NON_MANIFOLD_SURFACE.MAPPED_ITEM’INTYPEOF (it)) |
NOT ((’AIC_NON_MANIFOLD_SURFACE. ’♦
’NON_MANIFOLD_SURFACE_SHAPE_REPRESENTATION’
INTYPEOF (mi\mappedJtem.mapping_source.mapped_representation))
AND
(SIZEOF(QUERY(mr_it<*
mi\mappedJtem.mappir>g_source.mapped_repfesentation.items|
(’AIC_NON_MANIFOLD_SURFACE.FACE_BASED_SURFACE_MODEL’
IN TYPEOF (mr_it)))) >0)))) = 0;
WR4: 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 (SIZEOF ([AIC_NON_MANIFOLD_SURFACE.FACE_SURFACE\
’AIC_NON_M ANIFOLD_SU RFACE .ORIENTE D_FACE*] ‘ TYPEOF(fa)) =1)))
=0)jj =0)jj=0;
WR5: 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 (f_sf<* QUERY (fa <* cfs.cfs_faces |
CAIC NON_MANIFOLD_SURFACE.FACE_SURFACE‘INTYPEOF (fa))) |
NOT‘((’AIC_NON_MANIFOLD_SURFACE.ADVANCED_FACE- INTYPEOF (f_s0)
OR
(nmsf_surface_check(f_sf\face_surface.face_geometry))))) =0)))
= 0))) = 0;
WR6: 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 (o_fa <* QUERY (fa <* cfs.cfs_faces |
(AIC_NON_MANIFOLD_SURFACE.ORIENTED_FACE’ INTYPEOF (fa))) |
NOT((’AIC_NON_MANIFOLD_SURFACE.ADVANCED_FACE’ IN TYPEOF
(o_fa\oriented_face.face_e»ement))
OR
(nmsf_surface_check
(o_fa’ofiented_face.face_element\face_surface.face_geometry)))))
=
0
))) =
0
))) =
0
;
WR7: SIZEOF (QUERY (fbsm <* QUERY (it <* SELF.items |
•AIC_NON_MANIFOLD_SURFACE.FACE_BASED_SURFACE_MODEL’ IN TYPEOF(it)) |
NOT (SIZEOF (QUERY (cfs <*
6