ГОСТ Р ИСО 10303-515—2007
WR3: SIZEOF(QUERY (mi <* QUERY (it <* SELF.items |
’AIC_CSG.MAPPED_ITEM’ IN TYPEOF(it)) |
NOT(,AIC_CSG.CSG_SHAPE_REPRESENTATION’ IN
TYPEOF(mi\mapped_item.mapping_scHjrce.mapped_representation)))) = 0;
WR4: SIZEOF(QUERY (sr<*QUERY (it<* SELF.items |
’AIC_CSG.SOLID_REPLICA’ IN TYPEOF(it)) |
SIZEOF([’AIC_CSG.CSG_SOLID\’AIC_CSG.REVOLVED_FACE_SOLID\
•AIC_CSG.EXTRUDED_FACE_SOLID*] *
TYPEOF(sr\solid_replica.parent_solid)) = 0)) = 0;
WR5: SIZEOF(QUERY(it <* SELF.items |
NOT(’AIC_CSG.AXIS2_PLACEMENT_3D’ IN TYPEOF(it)))) > 0;
END_ENTITY;
END_SCHEMA; - aic_csg
(‘
Формальныеутверждения
WR1 — значениепараметраcoordinate_space_dimensionобъекта
geometrlc_representation_context изcsg_shape_representation должнобыть равно трем.
WR2 — элементы item из csg_shape_representation должны иметь тип csg_solid, solid_replica,
mappedjtem, revolved_face_solid. extruded_face_solid или axis2_placement_3d.
WR3 — объект mapping_source из любого mappod_item в набореэлементовitemиз
csg_shape_representation должен иметь тип csg_shape_representation.
WR4 — объект parent_solidиз любого solid_replicaо наборе элементовitemиз
csg_shape_representationдолженHMeTbTnncsg_solid.revolved_face_solid илиextruded_face_solid.
WR5 — должен быть по крайней мере один элемент в наборе элементовitemиз
csg_shape_representation. типом которого не является axis2_placement_3d.
Неформальные утверждения
IP1 — любой экземпляр объекта solid_model. используемый прямо или косвенно, в качестве опе
рандовfirst_operand или second_operandобъекта boolean_resultдля определенияобъектаcsg_solid
из набора элементов item в csg_shape_representatlon. должен иметь тип extrudod_face_solid,
revolved_face_solid, manifold_solid_brep или solid_repiica. Если его типом является solid_replica. то
породивший его объект parent_solid должен иметь тип csg_solid.extrudod_face_solid,
revolved_face_solid или manifold_solid_brep
IP2 — любойэкземпляробъекта manifold_solid_brep, используемыйпрямоиликосвенно, в качес
тве операндов first_operand или second_operand объекта boolean_result для определения объекта
csg_solid из csg_shape_representation. должен соответствовать либо правилам, определенным для
его использования в advanced_brep_shape_representation. либо правилам, определенным для его
использования в faceted_brep_shape_ropresentation. В частности, каждая грань должна иметь либо
тип advanced_face. либо (в случае faceted_brep) тип face_surface. ограниченный посредством
polyJoops и с объектом plane, заданным посредством face_goometry.
4