public class DfaBuilder
extends java.lang.Object
| Modifier and Type | Method and Description |
|---|---|
void |
constructSubsets() |
FiniteAutomaton |
getDFA() |
public FiniteAutomaton getDFA() throws AutomatonException
AutomatonExceptionpublic void constructSubsets()
throws AutomatonException
AutomatonException