ГОСТ Р ИСО 10303-513—2009
р8: cartesian_point:=
carte9ian_point (‘р8‘, [50.0. 78.182821.18.660529)).
р9: carteslan_point:=
carte9ian_point Ср9‘. (50.0.81.27384.19.469096)):
р10 : cartesian_point:=
cartesian_point (’р10\ (50.0.84.5453828.19.920975)).
pH:cartesian_point :=
carte9ian_point (’р11’. (50.0.88.0159173.19.9623578)):
р12 :cartesian_point :=
carte9ian_point (’р12*. (50.0,91.706487.19.498351)):
р13 :cartesian_point :=
cafte9lan_polnt(,p13•. (50.0.95.6411789.18.343994)),
р
1
4 :cartesian_polnt:»
carte3ian_polnt (’р14*. (50.0.99.8476928.16.24428)):
р15 :cartesian_polnt:=
cartesian_polnt (*р15’. (50.0,104.3580503.12.3673625)):
р16 . cartesian_point:a
cariesian_polnt (’р16*. (50.0.107.225346.8.046179]);
pi 7 . cartesian_point:a
cartesian_point (’р17\ (50.0.109.008344.1.692583));
р
1
8 :cartesian_point:=
cartestan_polnt (’р18*. (50.0.109.0871212.0.0));
poly : polyline := polyline(’poty\ (р1.p2. рЗ.
p4,p5. p6.p7,p8.p9.
p10.p11.p12. p13.p14.p15. pl6.p17.p18J).
И: line :* line (IV. p1.vec_y);
I2. line := line (12\ pcleft. vec_y).
v
1
:vertex_pomt := vertex_point (‘vГ. p
1
);
v2:vertex_point := vertex_point (’v2\ p18):
v3:vertex_point := vertex_polnt (’v3’. poleft):
v4:vertex_point :■ vertex_polnt (’v4’. ptleft),
edgebl . edge_curve :* edge_curve CedgebV. v1. v2.11. TRUE);
edgetl :edge_curve:a edge_curve (’edgetl’. v1. v2. poly. TRUE);
edgeb2:edge_curve := edge_curve {’edgeb2’, v1. v3. circln. TRUE);
edgeb3 : edge_curve :» edge_curve (’edgeb3’, v2. v4. circout TRUE):
edgeb4 . edge_curve ;* edge_curve (■edgeb4,I v3. v4.12. TRUE);
edget2 ; edge_curve := edge_curve (’edget2‘. v3, v4. clrcleft. TRUE),
oeblt :onented_edge .= orienied_edge (’oeblt’.edgebl. TRUE);
oeblf :onented_edge.= orlented_edge (‘oeblf.edgebl. FALSE);
oeb2t :onented_edge .= orienled_edge Coeb2t‘. edgeb2, TRUE);
oeb2( :oriented_edge .= orlented_edge (‘oeb2f. edgeb2. FALSE);
oeb3t :onented_edge .= oriented_edge СоеЬЗГ. edgeb3. TRUE);
oeb3f :onented_edge .= orlented_edge (‘oeb3f.edgeb3, FALSE);
oeb4t :onented_edge .= oriented_edge Coeb4t’. edgeb4. TRUE);
oeb4f :oriented_edge .= orlented_edge (‘oeb4f. edgeb4. FALSE);
oetlt :oriented_edge ;= onented_edge (’оеИГ. edgetl, TRUE),
oetlf :ortented_edge ;= onented_edge (’oetlГ. edgetl. FALSE);
oet2t :oriented_edge ;= oriented_edge (’oet2t‘. edget2. TRUE);
oet2f :ortented_edge ;= onented_edge {’oet2f. edget2, FALSE);
loopb: edgeJoop := edge_loop (’loopb’. (oeb4t,oeb3t. oeblf.
oeb2t));
loopt.edgejoop ;■ edgeJoop (Toopf. [oeb2f. oetlt. oeb3t.
oet2f)).
loopleft :edge_loop := edge_loop <4oopleft’. (oeb4f. oet2t]);
loopright:edge_loop := edge_loop (Toopright’, (oeblt, oetlf)).
bbase. face_outer_bound := face_outer_bound (’bbase’, loopb. TRUE);
btop : face_outer_bound ;»face_outer_bound (’btop’, loopt. TRUE);
34