mlir_sys

Function mlirIntegerSetGetNumConstraints

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

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