Searched defs:LexSimplexBase (Results 1 – 1 of 1) sorted by relevance
430 LexSimplexBase(unsigned nVar) : SimplexBase(nVar, /*mustUseBigM=*/true) {} in LexSimplexBase() function431 LexSimplexBase(unsigned nVar, const llvm::SmallBitVector &isSymbol) in LexSimplexBase() function433 explicit LexSimplexBase(const IntegerRelation &constraints) in LexSimplexBase() function437 explicit LexSimplexBase(const IntegerRelation &constraints, in LexSimplexBase() function