Searched refs:addDivisionVariable (Results 1 – 3 of 3) sorted by relevance
542 TEST(SimplexTest, addDivisionVariable) { in TEST() argument544 simplex.addDivisionVariable({1, 0}, 2); in TEST()
187 void addDivisionVariable(ArrayRef<int64_t> coeffs, int64_t denom);
415 domainSimplex.addDivisionVariable(divCoeffs, divDenom); in addSymbolicCut()1271 void SimplexBase::addDivisionVariable(ArrayRef<int64_t> coeffs, int64_t denom) { in addDivisionVariable() function in SimplexBase