[ library(fd) | The ECLiPSe Libraries | 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