Searched refs:LexSimplexBase (Results 1 – 2 of 2) sorted by relevance
414 class LexSimplexBase : public SimplexBase {416 ~LexSimplexBase() override = default;431 LexSimplexBase(unsigned nVar, const llvm::SmallBitVector &isSymbol) in LexSimplexBase() function433 explicit LexSimplexBase(const IntegerRelation &constraints) in LexSimplexBase() function434 : LexSimplexBase(constraints.getNumVars()) { in LexSimplexBase()437 explicit LexSimplexBase(const IntegerRelation &constraints, in LexSimplexBase() function439 : LexSimplexBase(constraints.getNumVars(), isSymbol) { in LexSimplexBase()480 class LexSimplex : public LexSimplexBase {482 explicit LexSimplex(unsigned nVar) : LexSimplexBase(nVar) {} in LexSimplex()487 : LexSimplexBase(constraints) {} in LexSimplex()[all …]
262 LogicalResult LexSimplexBase::addCut(unsigned row) { in addCut()346 void LexSimplexBase::appendSymbol() { in appendSymbol()746 LogicalResult LexSimplexBase::moveRowUnknownToColumn(unsigned row) { in moveRowUnknownToColumn()762 unsigned LexSimplexBase::getLexMinPivotColumn(unsigned row, unsigned colA, in getLexMinPivotColumn()1179 void LexSimplexBase::undoLastConstraint() { in undoLastConstraint()1557 void LexSimplexBase::addInequality(ArrayRef<int64_t> coeffs) { in addInequality()