|
jInfer | |||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | |||||||||
MergeConditionTester that user selected in preferences.
See:
Description
| Class Summary | |
|---|---|
| Greedy<T> | Greedy simplifier, given MergeContitionTester, will merge all states
that tester returns as equivalent. |
| GreedyFactory | Factory for Greedy. |
Uses one MergeConditionTester that user selected in preferences.
Merges all states that this condition tester says are equivalent.
|
jInfer | |||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | |||||||||