35 MlirIntegerSet mlirIntegerSetEmptyGet(MlirContext context, intptr_t numDims,  in mlirIntegerSetEmptyGet()
36                                       intptr_t numSymbols) {  in mlirIntegerSetEmptyGet()
42 MlirIntegerSet mlirIntegerSetGet(MlirContext context, intptr_t numDims,  in mlirIntegerSetGet()
43                                  intptr_t numSymbols, intptr_t numConstraints,  in mlirIntegerSetGet()
59                          intptr_t numResultDims, intptr_t numResultSymbols) {  in mlirIntegerSetReplaceGet()
73 intptr_t mlirIntegerSetGetNumDims(MlirIntegerSet set) {  in mlirIntegerSetGetNumDims()
74   return static_cast<intptr_t>(unwrap(set).getNumDims());  in mlirIntegerSetGetNumDims()
77 intptr_t mlirIntegerSetGetNumSymbols(MlirIntegerSet set) {  in mlirIntegerSetGetNumSymbols()
78   return static_cast<intptr_t>(unwrap(set).getNumSymbols());  in mlirIntegerSetGetNumSymbols()
81 intptr_t mlirIntegerSetGetNumInputs(MlirIntegerSet set) {  in mlirIntegerSetGetNumInputs()
82   return static_cast<intptr_t>(unwrap(set).getNumInputs());  in mlirIntegerSetGetNumInputs()
85 intptr_t mlirIntegerSetGetNumConstraints(MlirIntegerSet set) {  in mlirIntegerSetGetNumConstraints()
86   return static_cast<intptr_t>(unwrap(set).getNumConstraints());  in mlirIntegerSetGetNumConstraints()
89 intptr_t mlirIntegerSetGetNumEqualities(MlirIntegerSet set) {  in mlirIntegerSetGetNumEqualities()
90   return static_cast<intptr_t>(unwrap(set).getNumEqualities());  in mlirIntegerSetGetNumEqualities()
93 intptr_t mlirIntegerSetGetNumInequalities(MlirIntegerSet set) {  in mlirIntegerSetGetNumInequalities()
94   return static_cast<intptr_t>(unwrap(set).getNumInequalities());  in mlirIntegerSetGetNumInequalities()
97 MlirAffineExpr mlirIntegerSetGetConstraint(MlirIntegerSet set, intptr_t pos) {  in mlirIntegerSetGetConstraint()
101 bool mlirIntegerSetIsConstraintEq(MlirIntegerSet set, intptr_t pos) {  in mlirIntegerSetIsConstraintEq()