ГОСТ Р ИС0 10303-509—2009
WR14 — объект vertex_geometry из vertex, являющийся частью объекта vertexjoop. должен при
сутствовать вдереве ссылок объекта advanced_face либо быть объектом cartesian_point, point on curvo,
point_on_surface, или degenerate_pcurve.
Неформальные утверждения
IP1 — часть объекта b_spline_curve, входящая в топологическую область определения объекта
manifold_surface_shape_representation. не должна самопересекаться.
IP2 — часть объекта b_spline_surface. входящая в топологическую область определения объекта
manifold_surface_shape_representation. недолжна самопересекаться.
IP3 — часть объекта offset_curve_3d. входящая в топологическую область определения объекта
manifold_surface_shape_ropresentation. не должна самопересекаться.
IP4 — часть объекта offset_surface. входящая в топологическую область определения объекта
manifold_surface_shapo_represontation, недолжна самопересекаться.
IP5 — если объект face имеет только одну связанную внешнюю границу, то соответствующий объект
loop должен быть представлен какобъект face_outer_bound. Если наружная фаница не является связан
ной. то не допускается использование объекта face_outer_bound.
4.3 Определения функций схемы aic_manifold_surface
В данном разделе описаны функции, необходимые для формулирования офаничений для схемы
aic_manifold_surface. Данные функции используются при конкретизации объекта manifold_surface_sha-
pejrepresentation.
4.3.1 Функция msf_curve_check
Функция nmsf_curve_check проверяет экземпляр объекта curve на допустимость в контексте
manifold_surface_shape_representation. Также проверяются все геометрические объекты, на которые
ссылается данный экземпляр объекта curve, такие как другие объекты curve и surface.
Пример
—
Одним из ограничений, проверяемых данной функцией, являет ся проверка, установленли
флаг самопересечения экземпляра объекта b_spline_curve на значение TRUE. FALSE или UNKNOWN; допу
стимыми являют ся только значения FALSE и UNKNOWN.
По необходимости проверяемый экземпляр исследуется рекурсивно. Это означает, что если объект
curve ссылается на другой объект curve как на базовую или порождающую кривую, то вновь вызывается
функция msf_curve_check. Если имеется ссылка на объект surface, то вызывается функция msf_surfa-
ce_check. Рекурсивный процесс завершается на таких типах объектов, которые не ссылаются на какие-
либо объекты curve или surface.
Следующие типы кривыхи их подтипы относятся к области определения объекта manifold_surface_sha-
pe rcprescntation и являются, таким образом, допустимыми входными аргументами данной функции:
- b_spllne_curve;
- conic;
- curve_replica:
- line:
- offset_curve_3d;
- pcurve;
- polyline:
- surface_curve.
Четыре из указанных типов объекта curve ссылаются на базовые или порождающие объекты curve.
В приведенном ниже списке указаны допустимые ссылки.
П р и м е ч а н и е — Данная функция применяется рекурсивно к типам объектов, помеченных соответству
ющим образом в приведенных ниже списках, чтобы проверить их ссыпки на допустимые реализации.
Объект parent_curve из curve_replica и объект basls_curve из offset_curve_3d должны быть одного
из следующих типов:
- b_spline_curve;
- conic;
- curve_replica (рекурсивно):
- line;
- offset_curve_3d (рекурсивно):
- pcurve (рекурсивно);
10