|
jInfer | |||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |
See:
Description
Class Summary | |
---|---|
KHContext<T> | k,h-context equivalence criterion implementation. |
KHContextFactory | Factory for KHContext . |
k,h-context equivalence implementation.
|
jInfer | |||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |