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

or(?BoolExprX, ?BoolExprY, ?Bool)

Bool is the truth value of BoolExprX or 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 disjunction

Description

Equivalent to BX #= BoolExprX, BY #= BoolExprY, Bool #= (BX+BY #> 0).

If BoolExprX and BoolExprY are constraints that have a corresponding reified form, Bool reflects the truth of at least one being true.

See Also

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