Newer
Older
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
digraph "job" {
rankdir="LR" ;
node [ fontname="monospace" ];
edge [ fontname="monospace" ];
V000 [ label="A", shape="cds", style="filled", fillcolor="yellow" ];
V000:e -> A000 ;
V001 [ label="k", shape="cds", style="filled", fillcolor="yellow" ];
V001:e -> A001 ;
V002 [ label="s", shape="cds", style="filled", fillcolor="yellow" ];
V002:e -> A002 ;
V003 [ label="p", shape="cds", style="filled", fillcolor="yellow" ];
V003:e -> A003 ;
A000 [ label="", shape="oval" ];
_004 [ label="roots:&A", style="filled", color="lightblue", shape="box" ];
{ rank=same; A000; _004; }
_004 -> A000 [ arrowhead="tee" ];
_005 [ shape="record", label="<_p1> 0..319: D32[10]" ];
_005:_p1 -> A004 [ style="dotted" ];
A000 -> _005:w [ arrowhead="tee" ];
A001 [ label="R", shape="oval", fillcolor="green", style="filled" ];
_006 [ label="roots:&k", style="filled", color="lightblue", shape="box" ];
{ rank=same; A001; _006; }
_006 -> A001 [ arrowhead="tee" ];
_007 [ shape="record", label="Var sint32" ];
A001 -> _007:w [ arrowhead="tee" ];
A002 [ label="RW", shape="oval", fillcolor="green", style="filled" ];
_008 [ shape="record", label="Var sint32" ];
A002 -> _008:w [ arrowhead="tee" ];
A003 [ label="DW", shape="oval", fillcolor="green", style="filled" ];
_009 [ shape="record", label="<_p1> Var ptr" ];
_009:_p1 -> A004:w [ taillabel="[..]", labeldistance="1.7",
labelangle="+40", color="red"
];
A003 -> _009:w [ arrowhead="tee" ];
A004 [ label="R[]&", shape="oval", fillcolor="orange", style="filled" ];
_010 [ label="roots:*", style="filled", color="lightblue", shape="box" ];
{ rank=same; A004; _010; }
_010 -> A004 [ arrowhead="tee" ];
_011 [ shape="record", label="Mem sint32" ];
A004 -> _011:w [ arrowhead="tee" ];
R012 [ label="\\result", shape="tab", style="filled", fillcolor="yellow" ];
{ rank=same; R012; A005; }
R012 -> A005 ;
A005 [ label="W", shape="oval", fillcolor="green", style="filled" ];
_013 [ shape="record", label="Var sint32" ];
A005 -> _013:w [ arrowhead="tee" ];
}