705     snapshotStack.push_back(simplex.getSnapshot());  in addEqualityForDirection()
777     assert(!snapshotStack.empty() && "Snapshot stack is empty!");  in removeLastEquality()
778     simplex.rollback(snapshotStack.back());  in removeLastEquality()
779     snapshotStack.pop_back();  in removeLastEquality()
803   SmallVector<unsigned, 8> snapshotStack;  member in mlir::GBRSimplex
1016   SmallVector<unsigned, 8> snapshotStack;  in findIntegerSample()  local
1022   snapshotStack.reserve(basis.getNumRows());  in findIntegerSample()
1061       snapshotStack.push_back(getSnapshot());  in findIntegerSample()
1067     assert((snapshotStack.size() - 1 == level &&  in findIntegerSample()
1075     rollback(snapshotStack.back());  in findIntegerSample()
1081       snapshotStack.pop_back();  in findIntegerSample()