ГОСТ Р ИСО 10303-502—2006
(’AIC_SHELL_BASED_WIREFRAME.SHELL_BASED_WIREFRAME_MODEL’
IN TYPEOF(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 |
(’AIC_SHELL_BASED_WIREFRAME.EDGE_LOOP’IN TYPEOF (wsb))) |
NOT(SIZEOF (QUERY (el <* eloop \ path.edgeJist |
NOT ((’AIC_SHELL_BASED_WIREFRAME.VERTEX_POINTIN
TYPEOF (el.edge_element.edge_start))
AND
(’AIC_SHELL_BASED_WIREFRAME.VERTEX_POINT IN
TYPEOF (el.edge_element.edge_end)))))=0)
))=
0
)
)) =
0
)
)> =
0
;
WR7: SIZEOF (QUERY (sbwm <* QUERY (it <* SELF.items |
(’AIC_SHELL_BASED_WIREFRAME.SHELL_BASED_WIREFRAME_MODEL’
IN TYPEOF (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 (etoop <* 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((valid_wiroframe_vertex_point
(el.edge_element.
edge_start \ vertex_point. vertex_geometry))
AND
(valid_wireframe_vertox_point
(el.edge_element.edge end \ vertex_point.vertex_geometry)))
)) =
0
)
))=
0
)
))
0
0
))*
=
;
)
WR8: SIZEOF (QUERY (sbwm <* QUERY (it<* SELF.items |
(’AIC_SHELL_BASED_WIREFRAME.SHELL_BASED_WIREFRAME_MODEL’
IN TYPEOF (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 (vloop <* QUERY (wsb <*
ws \ wire_shell.wire_she!l_extent |
(’AIC_SHELL_BASED_WIREFRAME.VERTEX_LOOP’ IN TYPEOF (wsb))) |
NOT (’AIC_SHELL_BASED_WIREFRAME.VERTEX_POINT’ IN
TYPEOF (vloop Wertex_k>op.loop_vertex))
)) =
0
)
))=
0
)
)) =
0
;
WR9: SIZEOF (QUERY (sbv/m <* QUERY (it <* SELF.items |
(’AIC_SHELL_BASED_WIREFRAME.SHELL_BASED_WIREFRAME_MODEL’
IN TYPEOF (it))) |
NOT (SIZEOF (QUERY (ws <* QUERY (SB <*
sbwm \ shell_based_wireframe_model.sbwm_boundary |
(’AIC_SHELL_BASED_WIREFRAME.WIRE_SHELL’ IN TYPEOF (sb)))|
5