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