
?BoolExprX => ?BoolExprY

   BoolExprX being true implies BoolExprY must be true.

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

Type
   library(ic)

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, neg / 2, or / 2, or / 3, and / 2, and / 3
