ГОСТ Р ИСО 13584-31—2010
Определения аргументов:
arg1. (вход) направление, определяющее уменьшаемое операции вычитания векторов,
arg2. (вход) направление, определяющее результат операции вычитания векторов:
result: (выход) вектор, являющийся разностью векторов агд1 и агд2.
6.3.1.15 Функция constraints_composite_curve_on_surface
Функция constraints_composite_curve_on_surfaco проверяет условие, что все кривые, на которые
производится ссылка сегментами composite_curve_on_surface. также являются кривыми на поверхно
сти. включая composite_curve_on_surface, которые могут быть ограниченными кривыми bounded_curva.
Спецификация на языке EXPRESS:
FUNCTION cor.straints_composite_curve_on_surface
(с : composite_curve_on_surface) : BOOLEAN;
LOCAL
r._segments : INTEGERSIZEOF(c.segments);
END_LOCAL;
REPEAT k :*•1 TO n_segments;
IF (NOT(1GEOM£TRY_SCHEMA. PCL’RVE* IN
TYPEOF (c\composite_curve.segments
[ k ]
.parent_curve))) AND
(NOT(»API_ABSTRACT_SCHEMA.SURFACE_CURVE’ IN
TYPEOF (c:\composite_curve.segments (k*.parent_curve))) AND
(NOT(,API_ABSTRACT_SCHEt4A.COMPOSITE_CURVb_ON_SL,RFACE’ IN
TYPEOF (c\composite_curve.segments’k].parent_curve))) THEN
RETURN (FALSE);
END_IF;
ENUREPEAT;
RETURN (TRUE);
END_FUNCTION;
Г
Определение аргумента:
с: (вход) проверяемая комбинированная кривая на поверхности.
6.3.1.16 Функция get_basis_surface
Функция get_basis_surfacG определяет базовую поверхность кривой как множество поверхностей.
Если данная кривая не является сущностью curve_on_surtаса. то результатом будет пустое множество.
Спецификация на языке EXPRESS:
*)
FUNCTION get_basis_surface(с : curve_on_surface) : SET’0:2] OF surface;
LOCAL
surfs : SET(0:2] OF surface;
n : INTEGER;
END_LOCAL;
surfs(1/
IF ’GEOMETRY_SCHEMA.PCURVE’ IN TYPEOF (c) THEN
surfs[c\pcurve.basis_surface];
ELSE
IF ’API_ABSTRACT_SCHEMA.SURFACE_CURVE* IN TYPEOF <c) THEN
r. SIZEOF<c\surface_curve.associated_geometry);
REPEAT i1 TO n;
surfs surfs +
associated_surface(c\surface_curve.associated_geometry[i]);
END_REPEAT;
END_IF;
END_IF;
IF ’AP1_ABSTPJVCT_SCHEMA.COMPOSITE_CL’RVE_CN_SL’RFACE’ IN TYPEOF (c) THEN
(* For a composite_curve_on_3urface the basis_surface is the
intersection of the basis_surface of all the segments.
*)
101