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