[ library(fd) | Reference Manual | Alphabetic Index ]
# #::(?X, ?Y, ?B)

The constraint X #:: Y has the truth value B. The predicate is an alias for ::/3.
*?X*
- A domain variable
*?Y*
- A linear term.
*?B*
- A variable with domain 0..1.

### Fail Conditions

Fails if B is not the truth value of the associated constraint.
### Resatisfiable

No.
## See Also

:: / 3, #>= / 3, #< / 3, #<= / 3, #= / 3, #\= / 3