Function mlir_sys::mlirIntegerSetGet

pub unsafe extern "C" fn mlirIntegerSetGet(
    context: MlirContext,
    numDims: isize,
    numSymbols: isize,
    numConstraints: isize,
    constraints: *const MlirAffineExpr,
    eqFlags: *const bool
) -> MlirIntegerSet

Gets or creates a new integer set in the given context. The set is defined by a list of affine constraints, with the given number of input dimensions and symbols, which are treated as either equalities (eqFlags is 1) or inequalities (eqFlags is 0). Both constraints and eqFlags are expected to point to at least numConstraint consecutive values.