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.
pub unsafe extern "C" fn mlirIntegerSetIsConstraintEq(
set: MlirIntegerSet,
pos: isize,
) -> bool
Returns true
of the pos
-th constraint of the set is an equality
constraint, false
otherwise.