SMC_V3_Min_Cmp (FUN) ¶ FUNCTION SMC_V3_Min_Cmp Computes the component
SMC_V3_Mult (FUN) ¶ FUNCTION SMC_V3_Mult Multiplies a vector by a
SMC_V3_NormE (FUN) ¶ FUNCTION SMC_V3_NormE : LREAL Computes
DynLimits_DivInf (FUN) ¶ FUNCTION DynLimits_DivInf : LREAL Divides
DynLimits_Effective (FUN) ¶ FUNCTION DynLimits_Effective : BOOL In
DynLimits_Equal (FUN) ¶ FUNCTION DynLimits_Equal : BOOL In
DynLimits_Infinity (FUN) ¶ FUNCTION DynLimits_Infinity : BOOL In
DynLimits_LessOrEqual (FUN) ¶ FUNCTION DynLimits_LessOrEqual : BOOL In
DynLimits_Lint (FUN) ¶ FUNCTION DynLimits_Lint : BOOL Linearly
DynLimits_Max (FUN) ¶ FUNCTION DynLimits_Max InOut: Scope Name