Searched defs:simplex (Results 1 – 6 of 6) sorted by relevance
/llvm-project/mlir/unittests/Analysis/Presburger/ |
H A D | SimplexTest.cpp | 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() [all …]
|
/llvm-project/polly/lib/External/isl/ |
H A D | isl_vertices.c | 1450 isl_stat (*fn)(__isl_take isl_cell *simplex, void *user), void *user) in call_on_simplex() 1454 struct isl_cell *simplex; in call_on_simplex() local 1525 isl_stat (*fn)(__isl_take isl_cell *simplex, void *user), void *user) in triangulate() 1582 isl_stat (*fn)(__isl_take isl_cell *simplex, void *user), void *user) in isl_cell_foreach_simplex()
|
/llvm-project/mlir/include/mlir/Analysis/Presburger/ |
H A D | Simplex.h | 876 SimplexRollbackScopeExit(SimplexBase &simplex) : simplex(simplex) { in SimplexRollbackScopeExit()
|
/llvm-project/mlir/lib/Analysis/Presburger/ |
H A D | IntegerRelation.cpp | 784 Simplex simplex(*this); getBoundedDirections() local 873 Simplex simplex(*this); findIntegerSample() local 1212 Simplex simplex(*this); removeRedundantConstraints() local 1241 Simplex simplex(*this); computeVolume() local 2526 Simplex simplex(*this); isFullDim() local [all...] |
H A D | PresburgerRelation.cpp | 360 Simplex simplex(b); in getSetDifference() local [all...] |
H A D | Simplex.cpp | 1759 Simplex simplex; global() member in presburger::GBRSimplex [all...] |