[ library(ic) | Reference Manual | Alphabetic Index ]
?BoolExprX => ?BoolExprY
BoolExprX being true implies BoolExprY must be true.
- 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.
See Also
=> / 3, neg / 1, or / 2, and / 2, <=> / 2