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