[ library(ic) | Reference Manual | Alphabetic Index ]
<=>(?BoolExprX, ?BoolExprY, ?Bool)
Bool is the truth value of the equivalence BoolExprX <=> BoolExprY being true.
- BoolExprX
- 0/1-valued expression, such as reified constraint
- BoolExprY
- 0/1-valued expression, such as reified constraint
- Bool
- Truth value of the implication
Description
Equivalent to BX #= BoolExprX, BY #= BoolExprY, Bool #= (BX #= BY)
If BoolExprX and BoolExprY are constraints that have a corresponding
reified form, Bool reflects the truth of BoolExprX being equivalent,
i.e. either both true or both false.
See Also
<=> / 2, neg / 2, or / 3, and / 3, => / 3