Home
last modified time | relevance | path

Searched defs:FlatLinearConstraints (Results 1 – 2 of 2) sorted by relevance

/llvm-project/mlir/include/mlir/Analysis/
H A DFlatLinearValueConstraints.h39 FlatLinearConstraints(unsigned numReservedInequalities, in FlatLinearConstraints() function
62 FlatLinearConstraints(const IntegerPolyhedron &fac) in FlatLinearConstraints() function
296 : FlatLinearConstraints(fac) { in FlatLinearConstraints() function
/llvm-project/mlir/include/mlir/Analysis/Presburger/
H A DIntegerRelation.h70 FlatLinearConstraints, enumerator