-
Notifications
You must be signed in to change notification settings - Fork 0
/
res.ps
36 lines (36 loc) · 1.4 KB
/
res.ps
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
graph g {
graph [bb="0,0,478.34,252"];
node [label="\N"];
Init [height=0.5,
pos="165.5,234",
width=0.75];
Explo [height=0.5,
pos="165.5,162",
width=1.0291];
Init -- Explo [pos="165.5,215.7 165.5,204.85 165.5,190.92 165.5,180.1"];
Boop [height=0.5,
pos="94.496,90",
width=0.95686];
Booped [height=0.5,
pos="45.496,18",
width=1.2638];
Boop -- Booped [pos="83.131,72.765 75.328,61.618 65.001,46.865 57.139,35.633"];
Booped -- Explo [pos="41.861,36.06 38.767,55.299 36.862,86.676 51.496,108 69.713,134.54 104.78,148.09 131.24,154.81"];
ShareMap [height=0.5,
pos="260.5,90",
width=1.6249];
R_MAP [height=0.5,
pos="165.5,18",
width=1.2277];
ShareMap -- R_MAP [pos="238.94,73.116 223.06,61.418 201.61,45.61 185.99,34.101"];
R_MAP -- Explo [pos="170.09,36.189 172.97,63.52 172.97,116.58 170.08,143.87"];
Explo -- Boop [pos="149.74,145.46 137.97,133.86 121.96,118.08 110.21,106.49"];
Explo -- ShareMap [pos="185.18,146.5 200.83,134.96 222.71,118.85 238.85,106.95"];
Explo -- R_MAP [pos="160.91,143.87 158.03,116.58 158.02,63.52 160.91,36.189"];
Explo -- Explo [pos="191.83,174.81 206.74,177.31 220.54,173.04 220.54,162 220.54,150.96 206.74,146.69 191.83,149.19"];
ComputeColl [height=0.5,
pos="407.5,90",
width=1.9679];
Explo -- ComputeColl [pos="195.27,150.97 236.33,138.42 310.49,116.93 359.43,103.37"];
ComputeColl -- Explo [pos="365.64,104.69 317.9,119.07 241.1,141.19 197.75,152.97"];
}