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