|
jInfer | |||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | |||||||||
AutomatonSimplifier module is responsible of generalization of automaton.
See:
Description
| Interface Summary | |
|---|---|
| AutomatonSimplifier<T> | Interface for simplifying automaton - given PTA should return something reasonable sized, accepting more general language. |
| AutomatonSimplifierFactory | Factory for AutomatonSimplifier. |
AutomatonSimplifier module is responsible of generalization of automaton.
|
jInfer | |||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | |||||||||