[ library(sd) | The ECLiPSe Libraries | Reference Manual | Alphabetic Index ]

&\=(?X, ?Y, ?Bool)

Reified version of X &\= Y
X
Variable or atomic value
Y
Variable or atomic value
Bool
0, 1, or boolean variable

See Also

&\= / 2