Function mlir_sys::mlirIntegerSetIsConstraintEq

source · 
pub unsafe extern "C" fn mlirIntegerSetIsConstraintEq(
    set: MlirIntegerSet,
    pos: isize
) -> bool
Expand description

Returns true of the pos-th constraint of the set is an equality constraint, false otherwise.