for (uint32_t i = static_cast<uint32_t>(nfa.size); i --> 0;) {
const nfa_state_t *n = &nfa.states[i];
- fprintf(stderr, " n%u [label=\"%u(%d)\"]", i, i, n->indeg);
+ fprintf(stderr, " n%u [label=\"%u\"]", i, i);
if (n->type == nfa_state_t::FIN) {
fprintf(stderr, " [fillcolor=gray]");
}
node[shape=Mrecord fontname=Courier height=0.2 width=0.2]
edge[arrowhead=vee fontname=Courier label=" "]
- n9 [label="9(1)"]
+ n9 [label="9"]
n9 -> n8 [label="/0↑(1)"]
- n8 [label="8(1)"]
+ n8 [label="8"]
n8 -> n5
n8 -> n7 [color=lightgray]
- n7 [label="7(1)"]
+ n7 [label="7"]
n7 -> n6 [label="/2↓(2)"]
- n6 [label="6(1)"]
+ n6 [label="6"]
n6 -> n1 [label="/3↓(1)"]
- n5 [label="5(2)"]
+ n5 [label="5"]
n5 -> n4 [label="/2↑(2)"]
- n4 [label="4(1)"]
+ n4 [label="4"]
n4 -> n3 [label="97"]
- n3 [label="3(1)"]
+ n3 [label="3"]
n3 -> n2 [label="/3↑(1)"]
- n2 [label="2(1)"]
+ n2 [label="2"]
n2 -> n5
n2 -> n1 [color=lightgray]
- n1 [label="1(2)"]
+ n1 [label="1"]
n1 -> n0 [label="/1↑(0)"]
- n0 [label="0(1)"] [fillcolor=gray]
+ n0 [label="0"] [fillcolor=gray]
}