[ 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 © Cisco Systems, Inc
- Date: $Date: 2006/09/23 01:55:30 $
Generated from notinstance.eci on Sat Nov 8 06:59:32 2008