Home
last modified time | relevance | path

Searched defs:PresburgerSet (Results 1 – 4 of 4) sorted by relevance

/llvm-project/mlir/include/mlir/Analysis/Presburger/
H A DPresburgerRelation.h268 explicit PresburgerSet(const PresburgerSpace &space) in PresburgerSet() function
H A DIntegerRelation.h38 class PresburgerSet; variable
/llvm-project/mlir/lib/Analysis/Presburger/
H A DPresburgerRelation.cpp1066 PresburgerSet::PresburgerSet(const IntegerPolyhedron &disjunct) PresburgerSet() function in PresburgerSet
1069 PresburgerSet::PresburgerSet(const PresburgerRelation &set) PresburgerSet() function in PresburgerSet
[all...]
H A DBarvinok.cpp241 unsigned numSymbols, ArrayRef<std::pair<PresburgerSet, GeneratingFunction>> in computeChamberDecomposition() argument
[all...]