ГОСТ Р ИСО 10303-203-2003
END_ENTITY: - - document_with_class
ENTITY edge
SUPERTYPE OF (ONEOF <cdge_curve, oncntcd_cdgc))
SUBTYPE OF (topological_rcprcscntalion_item) ;
edge_slart : vertex;
edge_cnd : vertex;
END_ENTITY; - -edge
ENTITY cdge_based_wi reframc_ modeI
SUBTYPE OF (gcomctric_rcprescntBtion_itcm);
cbwm__boundary : SET |1:?J OF coanccted_edgc_sct;
END_ENTITY; - - edge_bascd_wircframc_model
ENTITY cdgc_bascd_wircl’ramc_shape_rcprcscntalion
SUBTYPE OF (shapc_rcprcscntation) ;
WHERE
wrl: (SlZEOF(QUERY ( it <* SELF.items i (NOT <SIZEOF<|
•CONFIG_CONTROL_DESIGN.ErXlE_BASED_WIREFRAME_MODEL‘ ,
’CONFIG_C’ONTROL_DESIGN.MAPPEDJTEM‘ ,
*CONFlG_CONTROL_DESIGNAXIS2_PLACEMENT_3D’| * TYPEOF(it)) -
D) )) = 0);
wr2; <SIZEOF(QUERY ( it <* SELF.items | (SIZEOF(|
’CONFIG_CONTROL_DESIGN.EDCE_BASED_WIREFRAME_MODEL\
•CONFIG_CONTROL_DESIGN.MAPPED_ITEM | * TYPEOF(it)) = I) ))
>- D;
wr3: (SlZEOF(QUERY (ebwm <* QUERY (it <* SELF.items | (
*CONFIG_CONTROL_DESIGN.ErX»E_BASED_WIREFRAME_MODEL‘ IN
TYPEOF(it)) ) | (NOT (SIZEOF(QUERY ( eb <* cbwm\
cdgc_based_wirclramc_modcl.ebwm_boundary | (NOT (SIZEOF(
QUERY ( edges <* cb.ccs_cdgcs | (NOT (
’CONFIG_CONTROL_OESIGN.EL)GE_CURVE’ IN TYPEORcdgcs») )>
-
0
)) )) -
0
» )) -
0
);
wr4: (SIZEOF(QUERY ( cbwm <* QUERY ( it <* SELF.items | (
*CONFIG_CONTROL_DESIGN.EDGE_BASED_WIREFRAME_MODEL‘ IN
TYPEOF(it))
)
| (NOT (SIZEOF(QUERY ( eb <* ebwm\
cdge_based_wireframc_modcl.ebwm_boundary | (NOT (SIZEOF(
QUERY ( plinc edges <* QUERY ( edges <« cb.ces_cdgcs | (
•CONFlG_CONTROL_DESIGN.POLYLINE* IN TYPEOF(cdges\cdgc_curvc.
cdge_gcomctry)) ) | (NOT (SlZEOF(plinc_edges\edgc_curve.
edge geomctry\polvlinc.points)
>
2
)) )) =
0
)) )) *
0
)) )) *
0
) ;
wr5: (SIZEOF (QUERY ( ebwm <* QUERY ( it <* SELF.items | (
*C’ONFIG_CONTROL_DESIGN.EIXiE_BASED_WIREFRAME_MODEL’ IN
TYPEOF(it))) | (NOT (SIZEOF(QUERY ( eb <• cbwm\
cdgc_based_wircframc_model.cbwm_boundary | (NOT (SIZEOF (
QUERY ( edges <* cb.ces edgcs | (NOT ((
’CON FIG_CONTROL_.DESIGN.VERTEX_POINT* IN TYPEOF (edges.
cdgc_start)) AND CCONFIG_CONTROL_DESIGN.VERTEX_POINT IN
TYPEOF(cdgcs.edgc_cnd)))) )) = 0)) )) - 0)))) - 0);
wr6: <SIZEOF(QUERY ( cbwm <* QUERY ( it <* SELF.items J(
•CONFIG_CONTROL_DESIGN.EDGE_BASED_SVIREFRAME_MODEL’ IN
TYPEOF(it))) | (NOT (SIZ£OF(QUERY ( eb <■ cbwm\
cdge_based_wircframe_modcl.cbwm_boiindary | (NOT (SIZEOF (
QUERY ( edges <* cb.ccs.cdgcs | (NOT
valid_wircframc_cdge_curve (cdgcs\edge_curve.cdge_gcometry))
)) - 0)))) * 0)) )) - 0) ;
wr7: (SIZEOF(QUERY <ebwm <* QUERY ( it <» SELF.items | (
’CONFIG_OONTROL_DES1GN.EDGE_BASED_W1REFRAME_MODEL‘ IN
TYPEOF(it))) | (NOT (SIZEOF(QUERY ( eb <* cbwm\
c4gc_based_wirelramc_modcl.cbwm_boundary1 (NOT (SIZEOF (
141