ГОСТ Р ИСО 10303-501—2006
WR7: SIZEOF (QUERY (ebwm <• QUERY (it <* SELF.items|
(’AIC_EDGE_BASED_WIREFRAME.EDGE_BASED_WIREFRAME_MODEL’
IN TYPEOF (it))) |
NOT (SIZEOF (QUERY (eb <* ebwm\edge_based_wireframe_model.
ebwm_boundary |
NOT (SIZEOF (QUERY (edges <* eb.ces_edges i
NOT ((valid_wireframe_vertex_point
(edges.edge_start \ vertex_point.vertex_geometry)) AND
(valid_wireframe._vortex_point
(edges.edge_end\vertex_point.vertex_geometry))))) = 0
)» = 0))) = 0;
WR8: SIZEOF (QUERY (mi <* QUERY (it <* SELF.items |
(’AIC_EDGE_BASED_WIREFRAME.MAPPED_ITEM‘ IN TYPEOF (it))) |
NOT (’AIC_EDGE_BASED_WIREFRAME. +
•EDGE_BASED_WIREFRAME_SHAPE_REPRESENTAT!ON*
IN TYPEOF (mi\mapped_item.mapping_source.mapped_representation)
))) = o ;
WR9: SELF.context_of_items \ geometric_representation_contexL
coordinate_space_dimension = 3;
END_ENTITY ;
C
Формальные утверждения
WR1 — элементами items вобъектеedge_based_wireframe_shape_representation должныбыть
edge_based_wireframe_model, mappedjtem. или axis2_placement_3d.
WR2 — по крайней мере одним из элементов items в объекте edge_based_wireframe_-
shape_representation должен быть либо edge_based_ wireframe_model. либо mapped_item.
WR3 — всеребра(объектыedge)вedgo_based_wireframe_modelдолжны иметь типedgo_curve.
WR4 — каждый объект polyline. который лежит в основе объекта edge в
odge_based_wireframe_model. должен быть определен болеечемдвумя различными точками (объек
тами point).
WR5 — все вершины (объекты vertex), заданные для edge_based_wireframe_ model, должны
иметь тип vertex_point.
WR6 — объект edge_geometry. лежащий в основе объекта edge для edge_based_wireframe_-
model. должен иметь тип line, conic, b_spline_curve. offset_curve_3d. polyline, или curve_replica. a
кривые, имеющие базу, заданную другими кривыми, представляются таким же образом. Для объектов
offset_curve_3d или curve_replica кривая, указанная как базовая (объект basis_curve), должна быть
одного из вышеупомянутых типов.
WR7 — объектом vertex_geometry. который лежит в основе объектов odgo для edge_based_-
wireframe_model, должен быть cartesian_point или point_replica. а объект point_replica должен вос
производить либо другой объект point_replica. либо cartesian_point.
WR8 — еслив объектеedge_based_wireframe_shape_representationимеетсяобъект
mappedjtem. то источником mappedjtem должен быть объект edgo_basod_wireframe_ shape_-
representation.
WR9 — значение параметра coordinate_space_dimension объекта edge_basod_wireframe_-
shape_representation должно быть равно трем.
4.4 Определения функций схемы aic_edge_based_wireframe
4.4.1Функция valid_wireframe_edge_curve проверяет, действительно ли заданная аргументом
кривая являетсядопустимойдля использования в представленииформы, определенной топологически
ограниченным каркасом.
5