-valued polynomials. In

VPoly_Eval (FUN) ¶ FUNCTION VPoly_Eval : BOOL InOut: Scope

Dbg_PathElemEvalIter.GetVarName (METH) ¶ METHOD GetVarName : STRING(15) In

Elem_CanBeCut : BOOL InOut: Scope

PathElem_GetECS (FUN) ¶ FUNCTION PathElem_GetECS In

InOut: Scope Name

to the queue. In

DynState_IsConstant (FUN) ¶ FUNCTION DynState_IsConstant : BOOL InOut: Scope

DynState_Serialize (FUN) ¶ FUNCTION DynState_Serialize : BOOL InOut: Scope

language. InOut: Name