Home
last modified time | relevance | path

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

/llvm-project/mlir/include/mlir/Analysis/Presburger/
H A DIntegerRelation.h37 class IntegerPolyhedron; variable
69 IntegerPolyhedron, enumerator
901 IntegerPolyhedron(unsigned numReservedInequalities, in IntegerPolyhedron() function
912 explicit IntegerPolyhedron(const PresburgerSpace &space) in IntegerPolyhedron() function
919 explicit IntegerPolyhedron(const PresburgerSpace &space, in IntegerPolyhedron() function
929 explicit IntegerPolyhedron(const PresburgerSpace &space, in IntegerPolyhedron() function
939 explicit IntegerPolyhedron(const IntegerRelation &rel) in IntegerPolyhedron() function
947 explicit IntegerPolyhedron(IntegerRelation &&rel) : IntegerRelation(rel) { in IntegerPolyhedron() function