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