|
jInfer | |||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |
See:
Description
Class Summary | |
---|---|
TesterNull<T> | k,h-context equivalence criterion implementation. |
TesterNullFactory | Factory for TesterNull . |
return no alternatives
|
jInfer | |||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |