ГОСТ Р ИСО 10303-203-2003
‘dcsign_owncr‘: IF SIZEOF (c.itcms) < >
SIZEOF (QUERY (x <• c.itcms |
•CONFIG_CONTROL_DESIGN.PRODUCT-
IN TYPEOF (x)))
THEN RETURN (FALSE);
EN D JF;
’configuration_mamigcr’ : IF SIZEOF (c.itcms) < >
SIZEOF (QUERY (x <• c.itcms |
’CONFIG_CONTROL_DESIGN.’ +
‘CONFIGURATIONJTEM ’
IN TYPEOF (x)>)
THEN RETURN (FALSE);
E N D JF ;
contractor’: IF SIZEOF (c.itcms) < >
SIZEOF (QUERY (x <* c.itcms |
‘CONFIG_CONTROL_DESlGN.CONTRACT’
IN TYPEOF (x)))
THEN RETURN (FALSE);
E N D JF ;
‘classtlicaUon_ofllcer’: IF SIZEOF (c.itcms) < >
SIZEOF (QUERY (x <* c.itcms |
•CONFIG_CONTROL_DESIGN.’ +
SECURrrY_CLASSIFlCATION’
IN TYPEOF (x))) THEN
RETURN (FALSE);
E N D JF ;
OTHERWISE : RETURN (TRUE);
END_CASE ;
RETURN (TRUE);
END_FUNCTION; - - cc_dcsign_pcn>on_and_organization_corrclation
FUNCTION closed_shell_rcverscd(a_shcll: closcd_shcll
): oncntcd_closcd_shcll;
LOCAL
thcrcvcrsc : oriented_closcd_shcll;
END_LOCAL ;
IF ‘CONFIG_CONTROL_DESIGN.ORlENTED_CLOSED_SHELL‘ IN TYPEOF(a_shell)
THEN
thc rcvcrsc :«=dummy_tri 11connectedJace_sct (a_shclf\
connectedJace_sct.cfsJaccs) 11closcd_shcll< ) 11
oricnlcd_closcd_shell (a_she!!\orienlcd_closcd_shc!l.
c!oscd_shc!l_elcmcnt. NOT a_shcll\oricntcd_closcd_shcll.
orientation) ;
ELSE
thc rcvcrsc := dummy_tri 11conncctcd_facc_sct(a_shcll\
conncctcd_facc_sct.cfs faces) 11closcd_shdl( ) | |
oricntcd closcd shcll <a_sJtcll. FALSE) :
END_IF;
RETURN (thc_revcrsc) ;
END_FUNCTION; - - closed_shcll_rcvcrscd
FUNCTION conditional_rcvcrsc(p: BOOLE.AN;
an_itcm; revcrsiblc_topologv): reversible topt>log>’;
IF p THEN RETURN(an_Hcm);
ELSE
RETURN (topologv_rcvcrscd (anjtcm ));
E N D JF;
END_FUNCTION; - - conditional_revcrse
FUNCTION constraints_compositc_curvc_on_surfacc (
185