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