29 bool isRedundantInequality(Simplex &simplex, ArrayRef<int64_t> coeffs) {  in isRedundantInequality()
35 bool isRedundantEquality(Simplex &simplex, ArrayRef<int64_t> coeffs) {  in isRedundantEquality()
42 Simplex::IneqType findIneqType(Simplex &simplex, ArrayRef<int64_t> coeffs) {  in findIneqType()
52   Simplex simplex(2);  in TEST()
77   Simplex simplex(1);  in TEST()
84 void expectInequalityMakesSetEmpty(Simplex &simplex, ArrayRef<int64_t> coeffs,  in expectInequalityMakesSetEmpty()
94   Simplex simplex(3);  in TEST()
124 Simplex simplexFromConstraints(unsigned nDim,  in simplexFromConstraints()
127   Simplex simplex(nDim);  in simplexFromConstraints()
263   Simplex simplex(0);  in TEST()
272   Simplex simplex(0);  in TEST()
280   Simplex simplex(1);  in TEST()
289   Simplex simplex(1);  in TEST()
297   Simplex simplex(1);  in TEST()
305   Simplex simplex(1);  in TEST()
313   Simplex simplex(1);  in TEST()
321   Simplex simplex(1);  in TEST()
331   Simplex simplex(3);  in TEST()
345   Simplex simplex(3);  in TEST()
371   Simplex simplex(3);  in TEST()
400   Simplex simplex(3);                     // Variables are x, y, N.  in TEST()
419   Simplex simplex(2);  in TEST()
437       Simplex::Direction::Up, getDynamicAPIntVec({1, 0, 0}));  in TEST()
442   Simplex simplex(1);  in TEST()
452   Simplex simplex(1);  in TEST()
480   Simplex simplex(2);  in TEST()
494   Simplex simplex(2);  in TEST()
500             Simplex::IneqType::Redundant); // x <= 2.  in TEST()
502             Simplex::IneqType::Redundant); // y >= 0.  in TEST()
505             Simplex::IneqType::Cut); // y >= 1.  in TEST()
507             Simplex::IneqType::Cut); // x <= 1.  in TEST()
509             Simplex::IneqType::Cut); // y >= 2.  in TEST()
512             Simplex::IneqType::Separate); // x <= -1.  in TEST()
516   Simplex simplex(2);  in TEST()
539   Simplex simUniv(univ);  in TEST()
540   Simplex simEmpty(empty);  in TEST()
541   Simplex sim1(s1);  in TEST()
542   Simplex sim2(s2);  in TEST()
571   Simplex simplex(/*nVar=*/1);  in TEST()