[ 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