61   return index >= 0 ? var[index] : con[~index];  in unknownFromIndex()
76   return index >= 0 ? var[index] : con[~index];  in unknownFromIndex()
93   rowUnknown.push_back(~con.size());  in addZeroRow()
94   con.emplace_back(Orientation::Row, makeRestricted, newRow);  in addZeroRow()
163   return con.size() - 1;  in addRow()
1081   LogicalResult result = restoreRow(con[conIndex]);  in addInequality()
1101 unsigned SimplexBase::getNumConstraints() const { return con.size(); }  in getNumConstraints()
1120   assert(con.back().orientation == Orientation::Row);  in removeLastConstraintRowOrientation()
1124   swapRows(con.back().pos, getNumRows() - 1);  in removeLastConstraintRowOrientation()
1130   con.pop_back();  in removeLastConstraintRowOrientation()
1152   if (con.back().orientation == Orientation::Column) {  in undoLastConstraint()
1162     unsigned column = con.back().pos;  in undoLastConstraint()
1180   if (con.back().orientation == Orientation::Column) {  in undoLastConstraint()
1187     unsigned column = con.back().pos;  in undoLastConstraint()
1337   unsigned row = con[conIndex].pos;  in computeOptimum()
1370   return computeOptimum(Direction::Up, con[constraintIndex]).isBounded();  in isBoundedAlongConstraint()
1376   const Unknown &u = con[constraintIndex];  in isMarkedRedundant()
1396   assert(offset + count <= con.size() && "invalid range!");  in detectRedundant()
1411     Unknown &u = con[offset + i];  in detectRedundant()
1479   result.con = concat(a.con, b.con);  in makeProduct()
1657     unsigned row = simplex.con[conIndex].pos;  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()
2089   for (unsigned i = 0; i < con.size(); ++i) {  in print()
2092     con[i].print(os);  in print()