Lines Matching refs:set

19 MlirContext mlirIntegerSetGetContext(MlirIntegerSet set) {  in mlirIntegerSetGetContext()  argument
20 return wrap(unwrap(set).getContext()); in mlirIntegerSetGetContext()
27 void mlirIntegerSetPrint(MlirIntegerSet set, MlirStringCallback callback, in mlirIntegerSetPrint() argument
30 unwrap(set).print(stream); in mlirIntegerSetPrint()
33 void mlirIntegerSetDump(MlirIntegerSet set) { unwrap(set).dump(); } in mlirIntegerSetDump() argument
56 mlirIntegerSetReplaceGet(MlirIntegerSet set, in mlirIntegerSetReplaceGet() argument
61 (void)unwrapList(unwrap(set).getNumDims(), dimReplacements, mlirDims); in mlirIntegerSetReplaceGet()
62 (void)unwrapList(unwrap(set).getNumSymbols(), symbolReplacements, in mlirIntegerSetReplaceGet()
64 return wrap(unwrap(set).replaceDimsAndSymbols( in mlirIntegerSetReplaceGet()
69 bool mlirIntegerSetIsCanonicalEmpty(MlirIntegerSet set) { in mlirIntegerSetIsCanonicalEmpty() argument
70 return unwrap(set).isEmptyIntegerSet(); in mlirIntegerSetIsCanonicalEmpty()
73 intptr_t mlirIntegerSetGetNumDims(MlirIntegerSet set) { in mlirIntegerSetGetNumDims() argument
74 return static_cast<intptr_t>(unwrap(set).getNumDims()); in mlirIntegerSetGetNumDims()
77 intptr_t mlirIntegerSetGetNumSymbols(MlirIntegerSet set) { in mlirIntegerSetGetNumSymbols() argument
78 return static_cast<intptr_t>(unwrap(set).getNumSymbols()); in mlirIntegerSetGetNumSymbols()
81 intptr_t mlirIntegerSetGetNumInputs(MlirIntegerSet set) { in mlirIntegerSetGetNumInputs() argument
82 return static_cast<intptr_t>(unwrap(set).getNumInputs()); in mlirIntegerSetGetNumInputs()
85 intptr_t mlirIntegerSetGetNumConstraints(MlirIntegerSet set) { in mlirIntegerSetGetNumConstraints() argument
86 return static_cast<intptr_t>(unwrap(set).getNumConstraints()); in mlirIntegerSetGetNumConstraints()
89 intptr_t mlirIntegerSetGetNumEqualities(MlirIntegerSet set) { in mlirIntegerSetGetNumEqualities() argument
90 return static_cast<intptr_t>(unwrap(set).getNumEqualities()); in mlirIntegerSetGetNumEqualities()
93 intptr_t mlirIntegerSetGetNumInequalities(MlirIntegerSet set) { in mlirIntegerSetGetNumInequalities() argument
94 return static_cast<intptr_t>(unwrap(set).getNumInequalities()); in mlirIntegerSetGetNumInequalities()
97 MlirAffineExpr mlirIntegerSetGetConstraint(MlirIntegerSet set, intptr_t pos) { in mlirIntegerSetGetConstraint() argument
98 return wrap(unwrap(set).getConstraint(static_cast<unsigned>(pos))); in mlirIntegerSetGetConstraint()
101 bool mlirIntegerSetIsConstraintEq(MlirIntegerSet set, intptr_t pos) { in mlirIntegerSetIsConstraintEq() argument
102 return unwrap(set).isEq(pos); in mlirIntegerSetIsConstraintEq()