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

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

Bool is the truth value of 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 true implying that BoolExprY is true.

## See Also

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