1624       : simplex(Simplex::makeProduct(originalSimplex, originalSimplex)),  in GBRSimplex()
1625         simplexConstraintOffset(simplex.getNumConstraints()) {}  in GBRSimplex()
1633     snapshotStack.push_back(simplex.getSnapshot());  in addEqualityForDirection()
1634     simplex.addEquality(getCoeffsForDirection(dir));  in addEqualityForDirection()
1639         simplex.computeOptimum(Direction::Up, getCoeffsForDirection(dir));  in computeWidth()
1655     SimplexRollbackScopeExit scopeExit(simplex);  in computeWidthAndDuals()
1656     unsigned conIndex = simplex.addRow(getCoeffsForDirection(dir));  in computeWidthAndDuals()
1657     unsigned row = simplex.con[conIndex].pos;  in computeWidthAndDuals()
1659         simplex.computeRowOptimum(Simplex::Direction::Up, row);  in computeWidthAndDuals()
1661     dualDenom = simplex.tableau(row, 0);  in computeWidthAndDuals()
1687       assert(!(simplex.con[i].orientation == Orientation::Column &&  in computeWidthAndDuals()
1688                simplex.con[i + 1].orientation == Orientation::Column) &&  in computeWidthAndDuals()
1691       if (simplex.con[i].orientation == Orientation::Column)  in computeWidthAndDuals()
1692         dual.push_back(-simplex.tableau(row, simplex.con[i].pos));  in computeWidthAndDuals()
1693       else if (simplex.con[i + 1].orientation == Orientation::Column)  in computeWidthAndDuals()
1694         dual.push_back(simplex.tableau(row, simplex.con[i + 1].pos));  in computeWidthAndDuals()
1707     simplex.rollback(snapshotStack.back());  in removeLastEquality()
1717     assert(2 * dir.size() == simplex.getNumVariables() &&  in getCoeffsForDirection()
1727   Simplex simplex;  member in presburger::GBRSimplex