Searched refs:snapshotStack (Results 1 – 1 of 1) sorted by relevance
1633 snapshotStack.push_back(simplex.getSnapshot()); in addEqualityForDirection()1707 simplex.rollback(snapshotStack.back()); in removeLastEquality()1708 snapshotStack.pop_back(); in removeLastEquality()1732 SmallVector<unsigned, 8> snapshotStack; member in presburger::GBRSimplex1966 SmallVector<unsigned, 8> snapshotStack; in findIntegerSample() local1972 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()[all …]