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-graph2.gv | |
| parent | d9f18bd107bacf12d5fc96200eb7b095e6116968 (diff) | |
| download | Simple-9441ef1c88c44761e2f1105d7b7a00178af4339c.tar.gz Simple-9441ef1c88c44761e2f1105d7b7a00178af4339c.zip | |
Update visual
Diffstat (limited to 'chapter05/docs/05-graph2.gv')
| -rw-r--r-- | chapter05/docs/05-graph2.gv | 29 |
1 files changed, 15 insertions, 14 deletions
diff --git a/chapter05/docs/05-graph2.gv b/chapter05/docs/05-graph2.gv index ee2feeed..0be7c1d6 100644 --- a/chapter05/docs/05-graph2.gv +++ b/chapter05/docs/05-graph2.gv @@ -43,7 +43,7 @@ return a; Sub16 [ label="-" ]; Region17 [ shape=box style=filled fillcolor=yellow label="Region" ]; Phi_a18 [ style=filled fillcolor=lightyellow label="φ_a" ]; - { rank=same; Phi_a18;} + { rank=same; Region17;Phi_a18;} } node [shape=plaintext]; subgraph cluster_Scope1_0 { @@ -58,19 +58,20 @@ return a; </TABLE>>]; } } - 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; + edge [ fontname=Helvetica, fontsize=8 ]; + 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]; edge [style=dashed color=cornflowerblue]; Scope1_0:"Scope1_0_$ctrl" -> Region17; Scope1_0:"Scope1_0_arg" -> Start2:p1; |