mlirIntegerSetGetNumInequalities

Function mlirIntegerSetGetNumInequalities 

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

Returns the number of inequalities in the given set.