diff options
Diffstat (limited to 'chapter05/docs/05-graph2.gv')
| -rw-r--r-- | chapter05/docs/05-graph2.gv | 9 |
1 files changed, 4 insertions, 5 deletions
diff --git a/chapter05/docs/05-graph2.gv b/chapter05/docs/05-graph2.gv index 0be7c1d6..2adb3da5 100644 --- a/chapter05/docs/05-graph2.gv +++ b/chapter05/docs/05-graph2.gv @@ -9,7 +9,6 @@ else { } #showGraph; return a; - */ rankdir=BT; ordering="in"; @@ -61,15 +60,15 @@ return a; edge [ fontname=Helvetica, fontsize=8 ]; EQNode8 -> Start2:p1[taillabel=1]; EQNode8 -> Con_7[taillabel=2]; - If9 -> Start2:p0[taillabel=0; color=red]; + If9 -> Start2:p0[taillabel=0 color=red]; If9 -> EQNode8[taillabel=1]; Add14 -> Start2:p1[taillabel=1]; Add14 -> Con_13[taillabel=2]; Sub16 -> Start2:p1[taillabel=1]; Sub16 -> Con_15[taillabel=2]; - Region17 -> If9:p0[taillabel=1; color=red]; - Region17 -> If9:p1[taillabel=2; color=red]; - Region17 -> Phi_a18 [style=invis] + Region17 -> If9:p0[taillabel=1 color=red]; + Region17 -> If9:p1[taillabel=2 color=red]; + Phi_a18 -> Region17 [style=dotted taillabel=0]; Phi_a18 -> Add14[taillabel=1]; Phi_a18 -> Sub16[taillabel=2]; edge [style=dashed color=cornflowerblue]; |