[ 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