[ library(ic_symbolic) | Reference Manual | Alphabetic Index ]
&=(?X, ?Y, ?Bool)
Reified version of X &= Y
- X
- variable or domain value
- Y
- variable or domain value
- Bool
- 0, 1, or boolean variable
Modules
This predicate is sensitive to its module context (tool predicate, see @/2).
See Also
&= / 2