ГОС! Р ИСО 10303-203-2003
wrl: (EXISTS (internalJocation) OR EXISTS (strcct_number) OR EXISTS (
street) OR EXISTS (poslal_box) OR EXISTS (town) OR EXISTS <
region) OR EXISTS (postal_codc) OR EXISTS (country) OR EXISTS (
facsimilc_number) OR EXISTS (tclcphonc_numbcr) OR EXISTS (
elect ronicmailaddre») OR EXISTS<tclcx_numbcr));
END_ENTITY: - - address
ENTITY advanced_brcp_shape_rcprcscntation
SUBTYPE OF <shapc_rcprcscntation):
WHERE
wrl: (SIZEOF(QUERY ( it <* SELF.itcms | (NOT (SIZEOF<(
’C’ONFIG_CONTROL_DESIGN.MANIFOLD_SOLIO_BREP
"CONFlG_CONTROL_DESIGN.FACETED_BREP\
*CONFIG_CONTROL_DESIGN.MAPPED_ITEM\
’CO N FIG _C O N T R O L _ D E SIG N .A X IS2_PLA C EM EN T _3D ’| * TY PEO F(it)) -
I» )) *0);
wr2: (SIZEOF(QUERY ( it <» SELF, items | (SJZEOF(|
•C0NFIG_C0NTR0L_DESIGN.\1ANIF0LD_S0LID_BREP-,
’CON FIG_CONTROL_ DESIGN.MAPPED_ITEM‘| * TYPEOF(it)) - 1))) >
0):
wr3: (SIZEOF (QUERY ( msb
<*
QUERY ( it <* SELF.itcms | (
*CONFIG_CONTROL_DESIGN.MANIFOLD_SOLID_BREp- IN TYPEOF(it)) )
| (NOT (SIZEOF (QUERY ( esh <* msb_shclLs
(msb)
| (NOT (
SIZEOF (QUERY ( fes <* csh\conncctcd face_set.cfs_faces | (
NOT ( CONFIG_CONTROL_DESIGNADVANCED_FACE*
IN TY PEO F(fcs))) )) =
0 »
)) - 0)) )) -
0 );
w rfc (SIZ E O F (Q U ER Y ( msb <* Q U ERY ( it <* hem s | (
CONFIG_CONTROL_DESIGN.MANIFOLD_SOLID_BREP’ IN TYPEOF(it)) )
I
c c o n f
i
g
_
c o n t r o
L_
d e s
i
g n
.
o r
i
e n t e d
_
c l o se d
_
s h e l l
’ IN TYPEOF (
msb\manifold_solid_brcp.outer)) )) = 0);
wr5: (SIZEOF (QUERY ( brv <* QUERY ( it <* items | (
’C’ONFIG_CONTROL_DESIGN.BRF.P_WITH_VOIDS‘ IN TYPEOF(it)) ) |(
NOT (SIZEOF (QUERY ( esh <* brv\brcp_with_voids.voids | csh\
oricntcd_closed_shcll.oricntation )) •=0)))) ~ 0);
wr6: (SIZEOF (QUERY <mi <* QUERY ( it <* items | (
’CONFIG_CONTROL_DESIGN.MAPPEDJTEM* IN TYPEOF(it)) ) | (NOT
(’CONFIG_CONTROL_DESlGN.ADVANCED_ BREP_SIIAPE_REPRESENTATION’
IN TYPEOF <mi\mappcd_itcm.mapping_source.
mapped_reprcsentation))) )) = 0);
END_ENTITY; - - advanced_brcp_shapc_representat>on
ENTITY advanced_facc
SUBTYPE OF ( face surfacc);
W HERE
wrl : ( SIZEOF <| ’CONFIG_CONTROL_DESIGN.ELEMENTARY_SURFACE’ ,
’CONFIG_CONTROL_DESIGN.B_SPLINE_SURFACE’,
•CONFIG_CONTROL_DESIGN.SWEPT_SURFACE,| * TYPEOF (
face_geometiy)) = I) ;
wr2 : (SIZEOF (QUERY ( elp_lbnds <* QUERY ( bnds <* bounds | (
’CONFIG_CONTROL_DESlGN.EDGE_LOOp- IN TYPEOF(bnds.bound)) )
| (NOT (SIZEOF (QUERY ( oc <« clp_lbnds.bound\path.
edgejist | (NOT (’CONFIG_CONTROL_DESIGN.EDGE_CURVE’ IN
TYPEOF(oc\oriented_edge.edgc_demcnt))) )) = 0)) )) *»0);
wr3 : (SIZEOF (QUERY ( elp_(bnds
<*
QUERY ( bnds <* bounds j <
’C’ONFIG_CONTROL_DESIGN.EDGE_LOOP‘ IN TYPEOF(bnds. bound)) )
i
(NOT (SIZEOF (QUERY
(
oc
<
•
elp_lbnds.bound’\patlt.
e d g ejh a | (N O T (S IZ E O F (|’C O N F IG _C O N T R O L _D E S IG N .L IN E ’,
’CONFIG CONTROL_DESIGN.CONIC,
‘CONFIG_CONTROL_DESIGNЛЮЕУLINE’ ,
CONFIG_CONTROL_DESIGN.SURFACE_CURVE’ ,
*C’ONFIG_CONTROL_DESIGN.B SPLINE_CURVE‘| * TYPEOF(oc.
128