Lines Matching defs:snapshotStack
1669 snapshotStack.emplace_back(simplex.getSnapshot());
1743 assert(!snapshotStack.empty() && "Snapshot stack is empty!");
1744 simplex.rollback(snapshotStack.back());
1745 snapshotStack.pop_back();
1770 SmallVector<unsigned, 8> snapshotStack;
2006 SmallVector<unsigned, 8> snapshotStack;
2012 snapshotStack.reserve(basis.getNumRows());
2041 snapshotStack.pop_back();
2065 snapshotStack.emplace_back(getSnapshot());
2073 assert((snapshotStack.size() - 1 == level &&
2081 rollback(snapshotStack.back());
2087 snapshotStack.pop_back();