protected static class NfaToProduction.StatesToDot<T> extends GraphvizDotBuilder
GraphvizDotBuilder.Digraph, GraphvizDotBuilder.Edge, GraphvizDotBuilder.Node, GraphvizDotBuilder.Props
log
Modifier | Constructor and Description |
---|---|
protected |
NfaToProduction.StatesToDot() |
Modifier and Type | Method and Description |
---|---|
protected GraphvizDotBuilder.Props |
drawObject(java.lang.Object obj) |
protected GraphvizDotBuilder.Node |
drawState(GraphvizDotBuilder.Digraph dg,
NfaToProduction.StateAlias<T> state,
java.util.Map<NfaToProduction.StateAlias<T>,GraphvizDotBuilder.Node> nodes) |
draw, draw, draw, draw, getGraphvizBinary, id
protected GraphvizDotBuilder.Props drawObject(java.lang.Object obj)
drawObject
in class GraphvizDotBuilder
protected GraphvizDotBuilder.Node drawState(GraphvizDotBuilder.Digraph dg, NfaToProduction.StateAlias<T> state, java.util.Map<NfaToProduction.StateAlias<T>,GraphvizDotBuilder.Node> nodes)