diff options
| author | dibyendumajumdar <mobile@majumdar.org.uk> | 2023-11-01 09:36:37 +0000 |
|---|---|---|
| committer | Dibyendu Majumdar <dibyendumajumdar@users.noreply.github.com> | 2023-11-01 18:56:50 +0000 |
| commit | 9441ef1c88c44761e2f1105d7b7a00178af4339c (patch) | |
| tree | da74d6afe50d31cfc964ab0db4996526bf1599d1 /chapter05/docs/05-graph3.gv | |
| parent | d9f18bd107bacf12d5fc96200eb7b095e6116968 (diff) | |
| download | Simple-9441ef1c88c44761e2f1105d7b7a00178af4339c.tar.gz Simple-9441ef1c88c44761e2f1105d7b7a00178af4339c.zip | |
Update visual
Diffstat (limited to 'chapter05/docs/05-graph3.gv')
| -rw-r--r-- | chapter05/docs/05-graph3.gv | 35 |
1 files changed, 18 insertions, 17 deletions
diff --git a/chapter05/docs/05-graph3.gv b/chapter05/docs/05-graph3.gv index a09fcca5..59a8a3e2 100644 --- a/chapter05/docs/05-graph3.gv +++ b/chapter05/docs/05-graph3.gv @@ -45,22 +45,23 @@ return a; Region17 [ shape=box style=filled fillcolor=yellow label="Region" ]; Phi_a18 [ style=filled fillcolor=lightyellow label="φ_a" ]; Return19 [ shape=box style=filled fillcolor=yellow label="Return" ]; - { rank=same; Phi_a18;} + { rank=same; Region17;Phi_a18;} } - Stop3 -> Return19 [color=red]; - EQNode8 -> Start2:p1; - EQNode8 -> Con_7; - If9 -> Start2:p0 [color=red]; - If9 -> EQNode8; - Add14 -> Start2:p1; - Add14 -> Con_13; - Sub16 -> Start2:p1; - Sub16 -> Con_15; - Region17 -> If9:p0 [color=red]; - Region17 -> If9:p1 [color=red]; - Phi_a18 -> Region17 [color=red]; - Phi_a18 -> Add14; - Phi_a18 -> Sub16; - Return19 -> Region17 [color=red]; - Return19 -> Phi_a18; + edge [ fontname=Helvetica, fontsize=8 ]; + Stop3 -> Return19[taillabel=0; color=red]; + EQNode8 -> Start2:p1[taillabel=1]; + EQNode8 -> Con_7[taillabel=2]; + 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] + Phi_a18 -> Add14[taillabel=1]; + Phi_a18 -> Sub16[taillabel=2]; + Return19 -> Region17[taillabel=0; color=red]; + Return19 -> Phi_a18[taillabel=1]; } |