[ 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