[ 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
- Author: Joachim Schimpf, ECRC Munich
- Copyright © Imperial College London and ICL
- Date: $Date: 2001/09/13 17:48:57 $
Generated from notinstance.eci on Sat Aug 7 01:44:24 2004