Searched refs:evaluation_ct (Results 1 – 1 of 1) sorted by relevance
1674 IntExprEvaluatorElementCt* evaluation_ct = new IntExprEvaluatorElementCt( in MakeElement() local1676 AddConstraint(RevAlloc(evaluation_ct)); in MakeElement()1677 evaluation_ct->Propagate(); in MakeElement()