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