Searched refs:SimplexBase (Results 1 – 2 of 2) sorted by relevance
157 class SimplexBase {159 SimplexBase() = delete;160 virtual ~SimplexBase() = default;223 SimplexBase(unsigned nVar, bool mustUseBigM);224 SimplexBase(unsigned nVar, bool mustUseBigM,414 class LexSimplexBase : public SimplexBase {427 unsigned getSnapshot() { return SimplexBase::getSnapshotBasis(); } in getSnapshot()432 : SimplexBase(nVar, /*mustUseBigM=*/true, isSymbol) {} in LexSimplexBase()693 class Simplex : public SimplexBase {872 SimplexRollbackScopeExit(SimplexBase &simplex) : simplex(simplex) { in SimplexRollbackScopeExit()[all …]
34 SimplexBase::SimplexBase(unsigned nVar, bool mustUseBigM) in SimplexBase() function in SimplexBase45 SimplexBase::SimplexBase(unsigned nVar, bool mustUseBigM, in SimplexBase() function in SimplexBase47 : SimplexBase(nVar, mustUseBigM) { in SimplexBase()89 unsigned SimplexBase::addZeroRow(bool makeRestricted) { in addZeroRow()1039 bool SimplexBase::isEmpty() const { return empty; } in isEmpty()1062 void SimplexBase::markEmpty() { in markEmpty()1107 unsigned SimplexBase::getSnapshotBasis() { in getSnapshotBasis()1195 void SimplexBase::undo(UndoLogEntry entry) { in undo()1258 void SimplexBase::rollback(unsigned snapshot) { in rollback()1287 void SimplexBase::appendVariable(unsigned count) { in appendVariable()[all …]