Searched refs:popLastNVariables (Results 1 – 2 of 2) sorted by relevance
84 void popLastNVariables(unsigned N) { in popLastNVariables() function
139 void popLastNVariables(bool Signed, unsigned N) { in popLastNVariables() function in __anon0e91cfc10111::ConstraintInfo140 getCS(Signed).popLastNVariables(N); in popLastNVariables()721 Info.popLastNVariables(E.IsSigned, E.ValuesToRelease.size()); in eliminateConstraints()