Function mlir_sys::mlirIntegerSetGetNumConstraints

source · 
pub unsafe extern "C" fn mlirIntegerSetGetNumConstraints(
    set: MlirIntegerSet
) -> isize
Expand description

Returns the number of constraints (equalities + inequalities) in the given set.