[ library(ic) | Reference Manual | Alphabetic Index ]

# ?BoolExprX <=> ?BoolExprY

BoolExprX and BoolExprY are equivalent.

BoolExprX
  0/1-valued expression, such as reified constraint
BoolExprY
  0/1-valued expression, such as reified constraint

## Description

Equivalent to BX #= BoolExprX, BY #= BoolExprY, BX #= BY

If BoolExprX and BoolExprY are constraints that have a corresponding reified form, the entailment of BoolExprY is enforced if BoolExprX is entailed, and vice versa.

## See Also

<=> / 3, neg / 1, or / 2, and / 2, => / 2