Lines Matching refs:unwrap
20 return wrap(unwrap(set).getContext()); in mlirIntegerSetGetContext()
24 return unwrap(s1) == unwrap(s2); in mlirIntegerSetEqual()
30 unwrap(set).print(stream); in mlirIntegerSetPrint()
33 void mlirIntegerSetDump(MlirIntegerSet set) { unwrap(set).dump(); } in mlirIntegerSetDump()
39 unwrap(context))); in mlirIntegerSetEmptyGet()
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()
70 return unwrap(set).isEmptyIntegerSet(); in mlirIntegerSetIsCanonicalEmpty()
74 return static_cast<intptr_t>(unwrap(set).getNumDims()); in mlirIntegerSetGetNumDims()
78 return static_cast<intptr_t>(unwrap(set).getNumSymbols()); in mlirIntegerSetGetNumSymbols()
82 return static_cast<intptr_t>(unwrap(set).getNumInputs()); in mlirIntegerSetGetNumInputs()
86 return static_cast<intptr_t>(unwrap(set).getNumConstraints()); in mlirIntegerSetGetNumConstraints()
90 return static_cast<intptr_t>(unwrap(set).getNumEqualities()); in mlirIntegerSetGetNumEqualities()
94 return static_cast<intptr_t>(unwrap(set).getNumInequalities()); in mlirIntegerSetGetNumInequalities()
98 return wrap(unwrap(set).getConstraint(static_cast<unsigned>(pos))); in mlirIntegerSetGetConstraint()
102 return unwrap(set).isEq(pos); in mlirIntegerSetIsConstraintEq()