diff options
Diffstat (limited to 'figs/example2.dot')
| -rw-r--r-- | figs/example2.dot | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/figs/example2.dot b/figs/example2.dot index 982c3bc..0daecc0 100644 --- a/figs/example2.dot +++ b/figs/example2.dot @@ -5,9 +5,9 @@ digraph example2 { q1 [style="state",label="1"]; q2 [style="state,final",label="2"]; edge [texmode="math",lblstyle="auto"]; - q0 -> q0 [label="b,c"]; + q0 -> q0 [label="b,c",topath="loop above"]; q0 -> q1 [label="a"]; - q1 -> q1 [label="a,c"]; + q1 -> q1 [label="a,c",topath="loop above"]; q1 -> q2 [label="b"]; - q2 -> q2 [label="a,b,c"]; + q2 -> q2 [label="a,b,c",topath="loop above"]; } |