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

or(+ConX,+ConY,Bool)

Bool is the reified truth of at least one of the constraints ConX or ConY being true.
ConX
Constraint
ConY
Constraint
Bool
Reified truth value of the constraint

Description

Equivalent to BX $= (ConX), BY $= (ConY), Bool #= (BX + BY #>= 1)

The two constraints are reified in such a way that Bool reflects the truth of at least one being true. ConX and ConY must be constraints that have a corresponding reified form.

See Also

or / 2, neg / 1, neg / 2, and / 2, and / 3, => / 2, => / 3, =:= / 3, =< / 3, =\= / 3, >= / 3, > / 3, < / 3