Lines Matching refs:MlirIntegerSet

38 DEFINE_C_API_STRUCT(MlirIntegerSet, const void);
43 MLIR_CAPI_EXPORTED MlirContext mlirIntegerSetGetContext(MlirIntegerSet set);
46 static inline bool mlirIntegerSetIsNull(MlirIntegerSet set) { return !set.ptr; }  in mlirIntegerSetIsNull()
54 MLIR_CAPI_EXPORTED bool mlirIntegerSetEqual(MlirIntegerSet s1,
55                                             MlirIntegerSet s2);
60 MLIR_CAPI_EXPORTED void mlirIntegerSetPrint(MlirIntegerSet set,
65 MLIR_CAPI_EXPORTED void mlirIntegerSetDump(MlirIntegerSet set);
69 MLIR_CAPI_EXPORTED MlirIntegerSet mlirIntegerSetEmptyGet(MlirContext context,
78 MLIR_CAPI_EXPORTED MlirIntegerSet
89 MLIR_CAPI_EXPORTED MlirIntegerSet mlirIntegerSetReplaceGet(
90     MlirIntegerSet set, const MlirAffineExpr *dimReplacements,
96 MLIR_CAPI_EXPORTED bool mlirIntegerSetIsCanonicalEmpty(MlirIntegerSet set);
99 MLIR_CAPI_EXPORTED intptr_t mlirIntegerSetGetNumDims(MlirIntegerSet set);
102 MLIR_CAPI_EXPORTED intptr_t mlirIntegerSetGetNumSymbols(MlirIntegerSet set);
105 MLIR_CAPI_EXPORTED intptr_t mlirIntegerSetGetNumInputs(MlirIntegerSet set);
109 MLIR_CAPI_EXPORTED intptr_t mlirIntegerSetGetNumConstraints(MlirIntegerSet set);
112 MLIR_CAPI_EXPORTED intptr_t mlirIntegerSetGetNumEqualities(MlirIntegerSet set);
116 mlirIntegerSetGetNumInequalities(MlirIntegerSet set);
120 mlirIntegerSetGetConstraint(MlirIntegerSet set, intptr_t pos);
124 MLIR_CAPI_EXPORTED bool mlirIntegerSetIsConstraintEq(MlirIntegerSet set,