Lines Matching refs:MlirIntegerSet

19 MlirContext mlirIntegerSetGetContext(MlirIntegerSet set) {  in mlirIntegerSetGetContext()
23 bool mlirIntegerSetEqual(MlirIntegerSet s1, MlirIntegerSet s2) {  in mlirIntegerSetEqual()
27 void mlirIntegerSetPrint(MlirIntegerSet set, MlirStringCallback callback,  in mlirIntegerSetPrint()
33 void mlirIntegerSetDump(MlirIntegerSet set) { unwrap(set).dump(); }  in mlirIntegerSetDump()
35 MlirIntegerSet mlirIntegerSetEmptyGet(MlirContext context, intptr_t numDims,  in mlirIntegerSetEmptyGet()
42 MlirIntegerSet mlirIntegerSetGet(MlirContext context, intptr_t numDims,  in mlirIntegerSetGet()
55 MlirIntegerSet
56 mlirIntegerSetReplaceGet(MlirIntegerSet set,  in mlirIntegerSetReplaceGet()
69 bool mlirIntegerSetIsCanonicalEmpty(MlirIntegerSet set) {  in mlirIntegerSetIsCanonicalEmpty()
73 intptr_t mlirIntegerSetGetNumDims(MlirIntegerSet set) {  in mlirIntegerSetGetNumDims()
77 intptr_t mlirIntegerSetGetNumSymbols(MlirIntegerSet set) {  in mlirIntegerSetGetNumSymbols()
81 intptr_t mlirIntegerSetGetNumInputs(MlirIntegerSet set) {  in mlirIntegerSetGetNumInputs()
85 intptr_t mlirIntegerSetGetNumConstraints(MlirIntegerSet set) {  in mlirIntegerSetGetNumConstraints()
89 intptr_t mlirIntegerSetGetNumEqualities(MlirIntegerSet set) {  in mlirIntegerSetGetNumEqualities()
93 intptr_t mlirIntegerSetGetNumInequalities(MlirIntegerSet set) {  in mlirIntegerSetGetNumInequalities()
97 MlirAffineExpr mlirIntegerSetGetConstraint(MlirIntegerSet set, intptr_t pos) {  in mlirIntegerSetGetConstraint()
101 bool mlirIntegerSetIsConstraintEq(MlirIntegerSet set, intptr_t pos) {  in mlirIntegerSetIsConstraintEq()