Searched refs:popLastNVariables (Results 1 – 2 of 2) sorted by relevance
156 void popLastNVariables(unsigned N) { in getLastConstraint() 163 void popLastNVariables(unsigned N) { popLastNVariables() function
303 void popLastNVariables(bool Signed, unsigned N) { in popLastNVariables() function in __anon050fee910111::ConstraintInfo304 getCS(Signed).popLastNVariables(N); in popLastNVariables()1488 Info.popLastNVariables(E.IsSigned, E.ValuesToRelease.size()); in removeEntryFromStack()