[ The ECLiPSe Libraries | Reference Manual | Alphabetic Index ]

library(notinstance)

Constraints for structural equality and subsumption

Predicates

X ~= Y
Constraints X and Y to be different
X ~=< Y
Constrain X not to be an instance of Y

Other Exports

export op(700, xfx, ~=<)

About


Generated from notinstance.eci on Tue May 23 02:58:14 2006