|
jInfer | |||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | |||||||||
| Class Summary | |
|---|---|
| Chained<T> | Chained simplifier, given MergeContitionTester, will merge all states
that tester returns as equivalent. |
| ChainedFactory | Factory for Chained. |
|
jInfer | |||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | |||||||||