34 SimplexBase::SimplexBase(unsigned nVar, bool mustUseBigM)  in SimplexBase()  function in SimplexBase
45 SimplexBase::SimplexBase(unsigned nVar, bool mustUseBigM,  in SimplexBase()  function in SimplexBase
47     : SimplexBase(nVar, mustUseBigM) {  in SimplexBase()
59 const Simplex::Unknown &SimplexBase::unknownFromIndex(int index) const {  in unknownFromIndex()
64 const Simplex::Unknown &SimplexBase::unknownFromColumn(unsigned col) const {  in unknownFromColumn()
69 const Simplex::Unknown &SimplexBase::unknownFromRow(unsigned row) const {  in unknownFromRow()
74 Simplex::Unknown &SimplexBase::unknownFromIndex(int index) {  in unknownFromIndex()
79 Simplex::Unknown &SimplexBase::unknownFromColumn(unsigned col) {  in unknownFromColumn()
84 Simplex::Unknown &SimplexBase::unknownFromRow(unsigned row) {  in unknownFromRow()
89 unsigned SimplexBase::addZeroRow(bool makeRestricted) {  in addZeroRow()
103 unsigned SimplexBase::addRow(ArrayRef<int64_t> coeffs, bool makeRestricted) {  in addRow()
855 Optional<SimplexBase::Pivot> Simplex::findPivot(int row,  in findPivot()
883 void SimplexBase::swapRowWithCol(unsigned row, unsigned col) {  in swapRowWithCol()
893 void SimplexBase::pivot(Pivot pair) { pivot(pair.row, pair.column); }  in pivot()
920 void SimplexBase::pivot(unsigned pivotRow, unsigned pivotCol) {  in pivot()
1039 bool SimplexBase::isEmpty() const { return empty; }  in isEmpty()
1041 void SimplexBase::swapRows(unsigned i, unsigned j) {  in swapRows()
1050 void SimplexBase::swapColumns(unsigned i, unsigned j) {  in swapColumns()
1062 void SimplexBase::markEmpty() {  in markEmpty()
1092 void SimplexBase::addEquality(ArrayRef<int64_t> coeffs) {  in addEquality()
1100 unsigned SimplexBase::getNumVariables() const { return var.size(); }  in getNumVariables()
1101 unsigned SimplexBase::getNumConstraints() const { return con.size(); }  in getNumConstraints()
1105 unsigned SimplexBase::getSnapshot() const { return undoLog.size(); }  in getSnapshot()
1107 unsigned SimplexBase::getSnapshotBasis() {  in getSnapshotBasis()
1119 void SimplexBase::removeLastConstraintRowOrientation() {  in removeLastConstraintRowOrientation()
1142 Optional<unsigned> SimplexBase::findAnyPivotRow(unsigned col) {  in findAnyPivotRow()
1195 void SimplexBase::undo(UndoLogEntry entry) {  in undo()
1258 void SimplexBase::rollback(unsigned snapshot) {  in rollback()
1271 void SimplexBase::addDivisionVariable(ArrayRef<int64_t> coeffs, int64_t denom) {  in addDivisionVariable()
1287 void SimplexBase::appendVariable(unsigned count) {  in appendVariable()
1302 void SimplexBase::intersectIntegerRelation(const IntegerRelation &rel) {  in intersectIntegerRelation()
2078 void SimplexBase::print(raw_ostream &os) const {  in print()
2113 void SimplexBase::dump() const { print(llvm::errs()); }  in dump()