Searched refs:mlirIntegerSetGetNumConstraints (Results 1 – 4 of 4) sorted by relevance
109 MLIR_CAPI_EXPORTED intptr_t mlirIntegerSetGetNumConstraints(MlirIntegerSet set);
85 intptr_t mlirIntegerSetGetNumConstraints(MlirIntegerSet set) { in mlirIntegerSetGetNumConstraints() function
462 length == -1 ? mlirIntegerSetGetNumConstraints(set) : length, in PyIntegerSetConstraintList()470 intptr_t getRawNumElements() { return mlirIntegerSetGetNumConstraints(set); } in getRawNumElements()
1550 if (mlirIntegerSetGetNumConstraints(set) != 2) in printIntegerSet()