Lines Matching defs:SimplexBase

50 SimplexBase::SimplexBase(unsigned nVar, bool mustUseBigM)
63 SimplexBase::SimplexBase(unsigned nVar, bool mustUseBigM,
65     : SimplexBase(nVar, mustUseBigM) {
77 const Simplex::Unknown &SimplexBase::unknownFromIndex(int index) const {
82 const Simplex::Unknown &SimplexBase::unknownFromColumn(unsigned col) const {
87 const Simplex::Unknown &SimplexBase::unknownFromRow(unsigned row) const {
92 Simplex::Unknown &SimplexBase::unknownFromIndex(int index) {
97 Simplex::Unknown &SimplexBase::unknownFromColumn(unsigned col) {
102 Simplex::Unknown &SimplexBase::unknownFromRow(unsigned row) {
107 unsigned SimplexBase::addZeroRow(bool makeRestricted) {
121 unsigned SimplexBase::addRow(ArrayRef<DynamicAPInt> coeffs,
748 // transform for the tableau derived for SimplexBase::pivot:
886 std::optional<SimplexBase::Pivot>
914 void SimplexBase::swapRowWithCol(unsigned row, unsigned col) {
924 void SimplexBase::pivot(Pivot pair) { pivot(pair.row, pair.column); }
951 void SimplexBase::pivot(unsigned pivotRow, unsigned pivotCol) {
1070 bool SimplexBase::isEmpty() const { return empty; }
1072 void SimplexBase::swapRows(unsigned i, unsigned j) {
1081 void SimplexBase::swapColumns(unsigned i, unsigned j) {
1093 void SimplexBase::markEmpty() {
1123 void SimplexBase::addEquality(ArrayRef<DynamicAPInt> coeffs) {
1132 unsigned SimplexBase::getNumVariables() const { return var.size(); }
1133 unsigned SimplexBase::getNumConstraints() const { return con.size(); }
1137 unsigned SimplexBase::getSnapshot() const { return undoLog.size(); }
1139 unsigned SimplexBase::getSnapshotBasis() {
1152 void SimplexBase::removeLastConstraintRowOrientation() {
1175 std::optional<unsigned> SimplexBase::findAnyPivotRow(unsigned col) {
1229 void SimplexBase::undo(UndoLogEntry entry) {
1291 void SimplexBase::rollback(unsigned snapshot) {
1304 void SimplexBase::addDivisionVariable(ArrayRef<DynamicAPInt> coeffs,
1321 void SimplexBase::appendVariable(unsigned count) {
1336 void SimplexBase::intersectIntegerRelation(const IntegerRelation &rel) {
2129 void SimplexBase::print(raw_ostream &os) const {
2171 void SimplexBase::dump() const { print(llvm::errs()); }