Lines Matching defs:simplex
23 void addInequality(SimplexBase &simplex, ArrayRef<int64_t> coeffs) { in addInequality()
26 void addEquality(SimplexBase &simplex, ArrayRef<int64_t> coeffs) { in addEquality()
29 bool isRedundantInequality(Simplex &simplex, ArrayRef<int64_t> coeffs) { in isRedundantInequality()
32 bool isRedundantInequality(LexSimplex &simplex, ArrayRef<int64_t> coeffs) { in isRedundantInequality()
35 bool isRedundantEquality(Simplex &simplex, ArrayRef<int64_t> coeffs) { in isRedundantEquality()
38 bool isSeparateInequality(LexSimplex &simplex, ArrayRef<int64_t> coeffs) { in isSeparateInequality()
42 Simplex::IneqType findIneqType(Simplex &simplex, ArrayRef<int64_t> coeffs) { in findIneqType()
52 Simplex simplex(2); in TEST() local
77 Simplex simplex(1); in TEST() local
84 void expectInequalityMakesSetEmpty(Simplex &simplex, ArrayRef<int64_t> coeffs, in expectInequalityMakesSetEmpty()
94 Simplex simplex(3); in TEST() local
127 Simplex simplex(nDim); in simplexFromConstraints() local
263 Simplex simplex(0); in TEST() local
272 Simplex simplex(0); in TEST() local
280 Simplex simplex(1); in TEST() local
289 Simplex simplex(1); in TEST() local
297 Simplex simplex(1); in TEST() local
305 Simplex simplex(1); in TEST() local
313 Simplex simplex(1); in TEST() local
321 Simplex simplex(1); in TEST() local
331 Simplex simplex(3); in TEST() local
345 Simplex simplex(3); in TEST() local
371 Simplex simplex(3); in TEST() local
400 Simplex simplex(3); // Variables are x, y, N. in TEST() local
419 Simplex simplex(2); in TEST() local
442 Simplex simplex(1); in TEST() local
452 Simplex simplex(1); in TEST() local
480 Simplex simplex(2); in TEST() local
494 Simplex simplex(2); in TEST() local
516 Simplex simplex(2); in TEST() local
571 Simplex simplex(/*nVar=*/1); in TEST() local
582 LexSimplex simplex(/*nVar=*/1); in TEST() local