1633     snapshotStack.push_back(simplex.getSnapshot());  in addEqualityForDirection()
1706     assert(!snapshotStack.empty() && "Snapshot stack is empty!");  in removeLastEquality()
1707     simplex.rollback(snapshotStack.back());  in removeLastEquality()
1708     snapshotStack.pop_back();  in removeLastEquality()
1732   SmallVector<unsigned, 8> snapshotStack;  member in presburger::GBRSimplex
1966   SmallVector<unsigned, 8> snapshotStack;  in findIntegerSample()  local
1972   snapshotStack.reserve(basis.getNumRows());  in findIntegerSample()
2003         snapshotStack.pop_back();  in findIntegerSample()
2027       snapshotStack.push_back(getSnapshot());  in findIntegerSample()
2035     assert((snapshotStack.size() - 1 == level &&  in findIntegerSample()
2043     rollback(snapshotStack.back());  in findIntegerSample()
2049       snapshotStack.pop_back();  in findIntegerSample()