[ library(ic) | Reference Manual | Alphabetic Index ]
?BoolExprX and ?BoolExprY
BoolExprX and BoolExprY must both 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 #= 2.
If BoolExprX and BoolExprY are constraints that have a corresponding
reified form, both their entailment is enforced.
See Also
and / 3, neg / 1, or / 2, => / 2, <=> / 2