ГОСТ Р ИСО 10303-502—2006
’AIC_SHELL_BASED_WIREFRAME.MAPPED_ITEM‘,
•AIC_SHELL_BASED_WIREFRAME.AXIS2_PLACEMENT_3D’] *
TYPEOF (it))= 1
))) =0;
WR2: SIZEOF (QUERY (it<* SELF.items |
SIZEOF( fAIC_SHELL_BASED_WIREFRAME.SHELL_BASED_WIREFRAME_MODEL’,
•AIC_SHELL_BASED_WIREFRAME.MAPPED_ITEMT ‘ TYPEOF (it))= 1
))> =
1
;
WR3: SIZEOF (QUERY (sbwm <* QUERY (it<* SELF.items |
(’AIC_SHELL_BASED_WIREFRAME.SHELL_BASED_WIREFRAME_MODEL’
IN TYPEOF (it))) I
NOT (SIZEOF (QUERY (ws <*QUERY (sb <*
sbwm \shell_based_wireframe_model.sbwm_boundary |
(’AIC_SHELL_BASED_WIREFRAME.WIRE_SHELL’ IN TYPEOF (sb))) |
NOT (SIZEOF (QUERY (eloop <* QUERY (wsb <*
ws\ wire_shell.wire_shell_extent|
(’AIC_SHELL_BASED_WIREFRAME.EDGE_LOOP’ IN TYPEOF (wsb))) |
NOT(SIZEOF (QUERY (el <* eloop\path.edge_list|
NOT (’AIC_SHELL_BASED_WIREFRAME.EDGE_CURVE’ IN
TYPEOF (el.edge_element)))) =0)
)) = 0)
)) =
0
)
))=o;
WR4: SIZEOF (QUERY (sbwm <* QUERY (it <* SELF.items |
(’AIC_SHELL_BASED_WIREFRAME.SHELL_BASED_WIREFRAME MODEL-
INTYPEOF (it))) |
NOT (SIZEOF (QUERY (ws <* QUERY (sb <*
sbwm\ shell_based_wireframe_model.sbwm_boundary |
(’AIC_SHELL_BASED_WIREFRAME.WIRE_SHELL’ IN TYPEOF (sb))) |
NOT (SIZEOF (QUERY (eloop <* QUERY (wsb <*
ws \wire_shell.wire_shell_extent |
CAIC_SHELL_BASED_WIREFRAME.EDGE_LOOP’ IN TYPEOF (wsb)))|
NOT (SIZEOF (QUERY (pline_el <*
QUERY (el <*eloop \ path.edgejist |
(’AIC_SHELL3ASED_WIREFRAME.POLYLINE’ IN
TYPEOF (el.edge_element\edge_curve.edge_geometry))) |
NOT(SIZEOF (pline_el.edge_element\edge_curve.
edge_geometry \ polyline.points) >2)
)) = 0)
))=
0
)
))=0)
)) =
0
;
WR5: SIZEOF (QUERY (sbwm <* QUERY (it<• SELF.items |
(’AIC_SHELL_BASED_WIREFRAME.SHELL_BASED_WIREFRAME_MODEL-
IN TYPEOF (it))) |
NOT (SIZEOF (QUERY (ws <*OUERY (sb <*
sbwm \shell_based_wireframe_model.sbw_boundary |
(’AIC_SHELL_BASED_WIREFRAME.WIRE_SHELL’ IN TYPEOF (sb))) |
NOT (SIZEOF (QUERY (eloop<‘ QUERY (wsb <*
ws\ wire_shell.wire_shell_extent |
(’AIC_SHELL_BASED_WIREFRAME.EDGE_LOOP- IN TYPEOF (wsb))) |
NOT (SIZEOF (QUERY (el <* eloop\ path.edgejist |
NOT (valid_wireframe_edge_curve
(el.edge_element\edge_curve.edge_geometry)))) =0)
))=0)
))=0)
)) =
0
;
WR6: SIZEOF (QUERY (sbwm <*QUERY (it<* SELF.items |
4