|
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 | |||||||||