ГОСТ Р ИСО 10303-513—2009
(msb\manifold_solid_brep.outer)))
=
0
:
WR10:SIZEOF (QUERY (brv <*QUERY (it<* items |
•AIC_ELEME^JTARY_BREP.BREP_WITH_VOIDS,IN TYPEOF(it)) |
NOT(SIZEOF (QUERY (csh <* brv\brep_with_voids. voids |
csh\oriented_closed_shell.orientation)) =0))) =0;
WR11: SIZEOF (QUERY (mi <* QUERY (it<* items |
’AIC_ELEMENTARY_BREP.MAPPED_ITEM‘IN TYPEOF(it)) |
NOT (AIC_ELEMENTARY_BREP.ELEMENTARY_BREP_SHAPE_REPRESENTATION’IN
TYPEOF(mi\mapped_item.mapping_source.
mapped_representatk>n)))) =0:
WR12: SIZEOF (QUERY (msb <* QUERY (it <* SELF.items |
•AIC_ELEMENTARY_BREP.MANIFOLD_SOLID_BREP- IN TYPEOF(it)) |
NOT(SIZEOF (QUERY (csh <* msb_shells(msb) |
NOT (SIZEOF (QUERY(fcs <* csh\connected_face_set.cfs_faces |
NOT (SIZEOF(QUERY <vlp_fbnds<* QUERY (bnds <*fcs.bounds |
’AIC_ELEMENTARY_BREP. VERTEX LOOP1INTYPEOF(bnds.bound)) |
NOT((’AIC_ELEMENTARY_BREP.VERTEX_POINT’IN
TYPEOF(vlp_fbnds\face_bound.bound\vertexJoop.loop_vertox)) AND
(’AIC_ELEMENTARY_BREP.CARTESIAN_POINT’ IN
TYPEOF(vlp_fbnds\face_bound.bound\vertex_loop.
Ioop_vertex\vertex point.vertex_geometry))
))) =0))) =0))) =0))) = 0;
END_ENTITY;
r
Формальные утверждения
WR1 — атрибут items, супертипа representation должен содержать только объекты
manifold_solid_brep, mappedjtem и axis2_placemont_3d. Согласно этому правилу, использование
объектов faceted_brep недопустимо, поскольку экземпляр объекта faceted_brep также имел бы тип
manifold_solid_brep.
WR2 — по крайней мере один элемент из множества элементов items должен быть объектом
manifold_solld_brep или mappodjtem (см. также WR11).
WR3 — Все грани, используемыедля построения объекта manifold_solid_brop должны иметьтип
face_surface.
П р и м е ч а н и е — Вызов функции msb_shells в WR3 и последующих утверждениях является корректным,
так как. хотя обобщенным типом аргумента ’msb’ является representatlonjtem. но оператором QUERY для него
был определен тип manifold_solld_brep.
WR4 — для каждогообъекта manifold_solid_brep из множества элементов items, ассоциирован
ная поверхностьдля каждой гранидолжна бытьобъектом elementary_surface.
WR5 — для каждого объекта manifold_solid_brep из множества элементов items, ребра, исполь
зуемыедля определения границ, должны иметьтип edgo_curve.
WR6 — для каждого объекта manifold_solid_brop из множества элементов items, каждая кривая,
используемаядля определения ограничений граней, должна бытьобъектом conic, line или polyline.
WR7 — для каждого объекта manifold_solid_brep из множества элементов items, все ребра,
используемые для определения границ, должны быть обрезаны вершинами, имеющими тип
vertox_point.
WR8 — для каждогообъекта manifold_solid_brep из множества элементов items, каждый объект
polyline, используемый для определения части ограничений грани, должен содержать три или более
точек.
WR9 — для каждого объекта manifold_solid_brep из множества элементов items, атрибут внеш
ней оболочки недолжен иметьтип oriented_closed_shell.
WR10 — еслиобъектbrep_with_voids включеныв множествоэлементов items,то каждаяоболоч
ка вмножестве voids должна быть объектом oriented_closed_shell со значением ориентации FALSE.
7