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

# ?C1 #\/ ?C2

The constraint expression C1 or the constraint expression C2 is true.

?C1
  An arithmetic constraint expression.
?C2
  An arithmetic constraint expression.

## Description

This constraint states that at least one of the two constraint expressions C1, C2 must be true. If this is already the case, it simply succeeds. Otherwise it is suspended and after each domain change that may cause one of the two expressions to fail, it is woken and re-evaluated. If one of the two expressions is false, the other is imposed as a constraint, i.e. it acts as disjunctive constraint.

### Fail Conditions

Fails if both C1 and C2 are false.

### Resatisfiable

No.

## See Also

#/\ / 2, #=> / 2, #<=> / 2, #\+ / 1