[
library(ic_symbolic)
|
The ECLiPSe Libraries
|
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
See Also
&\= / 2