Searched refs:snapshotStack (Results 1 – 1 of 1) sorted by relevance
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::GBRSimplex1016 SmallVector<unsigned, 8> snapshotStack; in findIntegerSample() local1022 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()[all …]