Home
last modified time | relevance | path

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

/llvm-project/mlir/include/mlir/Analysis/Presburger/
H A DIntegerRelation.h877 IntMatrix inequalities; variable
920 IntMatrix inequalities) in IntegerPolyhedron()
930 FracMatrix inequalities) in IntegerPolyhedron()