public class NfaGraphFormatter
extends java.lang.Object
Modifier and Type | Class and Description |
---|---|
protected static class |
NfaGraphFormatter.Canvas |
protected static class |
NfaGraphFormatter.Node |
Constructor and Description |
---|
NfaGraphFormatter() |
Modifier and Type | Method and Description |
---|---|
protected <STATE> NfaGraphFormatter.Node |
createNodes(Nfa<STATE> nfa,
STATE state,
java.util.Map<STATE,java.lang.Integer> names,
Wrapper<java.lang.Integer> lastName) |
<STATE> java.lang.String |
format(Nfa<STATE> nfa) |
public <STATE> java.lang.String format(Nfa<STATE> nfa)
protected <STATE> NfaGraphFormatter.Node createNodes(Nfa<STATE> nfa, STATE state, java.util.Map<STATE,java.lang.Integer> names, Wrapper<java.lang.Integer> lastName)