| digraph "sumprod" { | |
| rankdir="LR"; | |
| remincross=true; | |
| v0 [ label="a" ]; | |
| v1 [ label="b" ]; | |
| v2 [ label="$1_Y" ]; | |
| c4 [ shape=record, label="{{<p1> A|<p2> B}|$1\n$add|{<p3> Y}}" ]; | |
| v3 [ label="$1_Y" ]; | |
| v4 [ label="c" ]; | |
| v5 [ label="sum" ]; | |
| c5 [ shape=record, label="{{<p1> A|<p2> B}|$2\n$add|{<p3> Y}}" ]; | |
| v0:e -> c4:p1:w [color="black", style="setlinewidth(3)", label=""]; | |
| v1:e -> c4:p2:w [color="black", style="setlinewidth(3)", label=""]; | |
| c4:p3:e -> v2:w [color="black", style="setlinewidth(3)", label=""]; | |
| v3:e -> c5:p1:w [color="black", style="setlinewidth(3)", label=""]; | |
| v4:e -> c5:p2:w [color="black", style="setlinewidth(3)", label=""]; | |
| c5:p3:e -> v5:w [color="black", style="setlinewidth(3)", label=""]; | |
| } |