Home
last modified time | relevance | path

Searched defs:simplex (Results 1 – 6 of 6) sorted by relevance

/llvm-project/mlir/unittests/Analysis/Presburger/
H A DSimplexTest.cpp23 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 Disl_vertices.c1450 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 DSimplex.h876 SimplexRollbackScopeExit(SimplexBase &simplex) : simplex(simplex) { in SimplexRollbackScopeExit()
/llvm-project/mlir/lib/Analysis/Presburger/
H A DIntegerRelation.cpp784 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 DPresburgerRelation.cpp360 Simplex simplex(b); in getSetDifference() local
[all...]
H A DSimplex.cpp1759 Simplex simplex; global() member in presburger::GBRSimplex
[all...]