
<=>(?BoolExprX, ?BoolExprY, ?Bool)

   Bool is the truth value of the equivalence BoolExprX <=> BoolExprY being true.

Arguments
   BoolExprX           0/1-valued expression, such as reified constraint
   BoolExprY           0/1-valued expression, such as reified constraint
   Bool                Truth value of the implication

Type
   library(ic)

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
