View GitHub Repository fuzzed

Schedule Inspection
Subscribe
Passed
Push — master ( f1e3b2...b13a8b )
by Peter
01:02
created

ore.models.node_rendering   A

↳ Parent: Project

Complexity

Total Complexity 0

Size/Duplication

Total Lines 3
Duplicated Lines 0 %

Importance

Changes 0
Metric Value
wmc 0
eloc 2
dl 0
loc 3
rs 10
c 0
b 0
f 0
1 
# Auto-generated, do not change !
2 
tikz_shapes='''
3 
%% Start of shape library. This part remains the same for all graph exports.
4 
\\pgfdeclareshape{external}{
5 
    \\anchor{center}{\pgfpoint{18}{18}}
6 
    \\anchor{north}{\pgfpoint{18}{36}}
7 
    \\anchor{south}{\pgfpoint{18}{0}}
8 
    \\anchor{west}{\pgfpoint{0}{18}}
9 
    \\anchor{east}{\pgfpoint{36}{18}}
10 
    \\foregroundpath{
11 
        \\pgfsetlinewidth{1.4}
12 
        \\pgftransformshift{\pgfpoint{36}{36}}
13 
        \\pgftransformrotate{180}
14 
        \\pgfsetfillcolor{white}
15 
        \\pgfrect{\pgfpoint{0.700000}{0.700000}}{\pgfpoint{33.600000}{33.600000}}
16 
\\pgfusepath{stroke, fill}
17 
        \\pgfusepath{stroke}
18 
}}
19 
\\pgfdeclareshape{process}{
20 
    \\anchor{center}{\pgfpoint{18}{18}}
21 
    \\anchor{north}{\pgfpoint{18}{36}}
22 
    \\anchor{south}{\pgfpoint{18}{0}}
23 
    \\anchor{west}{\pgfpoint{0}{18}}
24 
    \\anchor{east}{\pgfpoint{36}{18}}
25 
    \\foregroundpath{
26 
        \\pgfsetlinewidth{1.4}
27 
        \\pgftransformshift{\pgfpoint{36}{36}}
28 
        \\pgftransformrotate{180}
29 
        \\pgfsetfillcolor{white}
30 
        \\pgfcircle{\pgfpoint{17.500000}{17.500000}}{16.800000}
31 
\\pgfusepath{stroke, fill}
32 
        \\pgfusepath{stroke}
33 
}}
34 
\\pgfdeclareshape{storage}{
35 
    \\anchor{center}{\pgfpoint{18}{18}}
36 
    \\anchor{north}{\pgfpoint{18}{36}}
37 
    \\anchor{south}{\pgfpoint{18}{0}}
38 
    \\anchor{west}{\pgfpoint{0}{18}}
39 
    \\anchor{east}{\pgfpoint{36}{18}}
40 
    \\foregroundpath{
41 
        \\pgfsetlinewidth{1.4}
42 
        \\pgftransformshift{\pgfpoint{36}{36}}
43 
        \\pgftransformrotate{180}
44 
        \\pgfsetfillcolor{white}
45 
        \\pgfpathsvg{M 0.7,7.7 L 34.3,7.7 M 0.7,27.3 L 34.3,27.3}
46 
        \\pgfrect{\pgfpoint{0.700000}{7.700000}}{\pgfpoint{33.600000}{20.000000}}
47 
\\pgfusepath{stroke, fill}
48 
        \\pgfusepath{stroke}
49 
}}
50 
\\pgfdeclareshape{andGate}{
51 
    \\anchor{center}{\pgfpoint{18}{18}}
52 
    \\anchor{north}{\pgfpoint{18}{36}}
53 
    \\anchor{south}{\pgfpoint{18}{0}}
54 
    \\anchor{west}{\pgfpoint{0}{18}}
55 
    \\anchor{east}{\pgfpoint{36}{18}}
56 
    \\foregroundpath{
57 
        \\pgfsetlinewidth{1.4}
58 
        \\pgftransformshift{\pgfpoint{36}{36}}
59 
        \\pgftransformrotate{180}
60 
        \\pgfsetfillcolor{white}
61 
        \\pgfpathsvg{M 0.7,34.3 L 34.3,34.3 34.3,21 C 34.3,21 34.3,0.7 17.5,0.7 C 0.7,0.7 0.7,21 0.7,21 z}
62 
        \\pgfusepath{stroke}
63 
}}
64 
\\pgfdeclareshape{basicEvent}{
65 
    \\anchor{center}{\pgfpoint{18}{18}}
66 
    \\anchor{north}{\pgfpoint{18}{36}}
67 
    \\anchor{south}{\pgfpoint{18}{0}}
68 
    \\anchor{west}{\pgfpoint{0}{18}}
69 
    \\anchor{east}{\pgfpoint{36}{18}}
70 
    \\foregroundpath{
71 
        \\pgfsetlinewidth{1.4}
72 
        \\pgftransformshift{\pgfpoint{36}{36}}
73 
        \\pgftransformrotate{180}
74 
        \\pgfsetfillcolor{white}
75 
        \\pgfcircle{\pgfpoint{17.500000}{17.500000}}{16.800000}
76 
\\pgfusepath{stroke, fill}
77 
        \\pgfusepath{stroke}
78 
}}
79 
\\pgfdeclareshape{basicEventSet}{
80 
    \\anchor{center}{\pgfpoint{18}{18}}
81 
    \\anchor{north}{\pgfpoint{18}{36}}
82 
    \\anchor{south}{\pgfpoint{18}{0}}
83 
    \\anchor{west}{\pgfpoint{0}{18}}
84 
    \\anchor{east}{\pgfpoint{36}{18}}
85 
    \\foregroundpath{
86 
        \\pgfsetlinewidth{1.4}
87 
        \\pgftransformshift{\pgfpoint{36}{36}}
88 
        \\pgftransformrotate{180}
89 
        \\pgfsetfillcolor{white}
90 
        \\pgfcircle{\pgfpoint{20.000000}{20.000000}}{14.300000}
91 
\\pgfusepath{stroke, fill}
92 
        \\pgfcircle{\pgfpoint{17.500000}{17.500000}}{14.300000}
93 
\\pgfusepath{stroke, fill}
94 
        \\pgfcircle{\pgfpoint{15.000000}{15.000000}}{14.300000}
95 
\\pgfusepath{stroke, fill}
96 
        \\pgfusepath{stroke}
97 
}}
98 
\\pgfdeclareshape{block}{
99 
    \\anchor{center}{\pgfpoint{18}{18}}
100 
    \\anchor{north}{\pgfpoint{18}{36}}
101 
    \\anchor{south}{\pgfpoint{18}{0}}
102 
    \\anchor{west}{\pgfpoint{0}{18}}
103 
    \\anchor{east}{\pgfpoint{36}{18}}
104 
    \\foregroundpath{
105 
        \\pgfsetlinewidth{1.4}
106 
        \\pgftransformshift{\pgfpoint{36}{36}}
107 
        \\pgftransformrotate{180}
108 
        \\pgfsetfillcolor{white}
109 
        \\pgfrect{\pgfpoint{0.700000}{0.700000}}{\pgfpoint{33.600000}{33.600000}}
110 
\\pgfusepath{stroke, fill}
111 
        \\pgfusepath{stroke}
112 
}}
113 
\\pgfdeclareshape{fdepGate}{
114 
    \\anchor{center}{\pgfpoint{18}{18}}
115 
    \\anchor{north}{\pgfpoint{18}{36}}
116 
    \\anchor{south}{\pgfpoint{18}{0}}
117 
    \\anchor{west}{\pgfpoint{0}{18}}
118 
    \\anchor{east}{\pgfpoint{36}{18}}
119 
    \\foregroundpath{
120 
        \\pgfsetlinewidth{1.4}
121 
        \\pgftransformshift{\pgfpoint{36}{36}}
122 
        \\pgftransformrotate{180}
123 
        \\pgfsetfillcolor{white}
124 
        \\pgfpathsvg{M 0.7,17.5 34.3,17.5}
125 
        \\pgfpathsvg{M 1,34.3 17.5,19 34,34.3}
126 
        \\pgfrect{\pgfpoint{0.700000}{0.700000}}{\pgfpoint{33.600000}{33.600000}}
127 
\\pgfusepath{stroke, fill}
128 
        \\pgfusepath{stroke}
129 
}}
130 
\\pgfdeclareshape{houseEvent}{
131 
    \\anchor{center}{\pgfpoint{18}{18}}
132 
    \\anchor{north}{\pgfpoint{18}{36}}
133 
    \\anchor{south}{\pgfpoint{18}{0}}
134 
    \\anchor{west}{\pgfpoint{0}{18}}
135 
    \\anchor{east}{\pgfpoint{36}{18}}
136 
    \\foregroundpath{
137 
        \\pgfsetlinewidth{1.4}
138 
        \\pgftransformshift{\pgfpoint{36}{36}}
139 
        \\pgftransformrotate{180}
140 
        \\pgfsetfillcolor{white}
141 
        \\pgfpathsvg{M 17.5,0.7 L 34.3,15 34.3,34.3 0.7,34.3 0.7,15 z}
142 
        \\pgfusepath{stroke}
143 
}}
144 
\\pgfdeclareshape{inhibitGate}{
145 
    \\anchor{center}{\pgfpoint{18}{18}}
146 
    \\anchor{north}{\pgfpoint{18}{36}}
147 
    \\anchor{south}{\pgfpoint{18}{0}}
148 
    \\anchor{west}{\pgfpoint{0}{18}}
149 
    \\anchor{east}{\pgfpoint{36}{18}}
150 
    \\foregroundpath{
151 
        \\pgfsetlinewidth{1.4}
152 
        \\pgftransformshift{\pgfpoint{36}{36}}
153 
        \\pgftransformrotate{180}
154 
        \\pgfsetfillcolor{white}
155 
        \\pgfpathsvg{M 17.5,0.7 L 34.3,11 34.3,24 17.5,34.3 0.7,24 0.7,11 z}
156 
        \\pgfusepath{stroke}
157 
}}
158 
\\pgfdeclareshape{intermediateEvent}{
159 
    \\anchor{center}{\pgfpoint{18}{18}}
160 
    \\anchor{north}{\pgfpoint{18}{36}}
161 
    \\anchor{south}{\pgfpoint{18}{0}}
162 
    \\anchor{west}{\pgfpoint{0}{18}}
163 
    \\anchor{east}{\pgfpoint{36}{18}}
164 
    \\foregroundpath{
165 
        \\pgfsetlinewidth{1.4}
166 
        \\pgftransformshift{\pgfpoint{36}{36}}
167 
        \\pgftransformrotate{180}
168 
        \\pgfsetfillcolor{white}
169 
        \\pgfrect{\pgfpoint{0.700000}{0.700000}}{\pgfpoint{33.600000}{33.600000}}
170 
\\pgfusepath{stroke, fill}
171 
        \\pgfusepath{stroke}
172 
}}
173 
\\pgfdeclareshape{intermediateEventSet}{
174 
    \\anchor{center}{\pgfpoint{18}{18}}
175 
    \\anchor{north}{\pgfpoint{18}{36}}
176 
    \\anchor{south}{\pgfpoint{18}{0}}
177 
    \\anchor{west}{\pgfpoint{0}{18}}
178 
    \\anchor{east}{\pgfpoint{36}{18}}
179 
    \\foregroundpath{
180 
        \\pgfsetlinewidth{1.4}
181 
        \\pgftransformshift{\pgfpoint{36}{36}}
182 
        \\pgftransformrotate{180}
183 
        \\pgfsetfillcolor{white}
184 
        \\pgfrect{\pgfpoint{7.700000}{7.700000}}{\pgfpoint{26.600000}{26.600000}}
185 
\\pgfusepath{stroke, fill}
186 
        \\pgfrect{\pgfpoint{4.200000}{4.200000}}{\pgfpoint{26.600000}{26.600000}}
187 
\\pgfusepath{stroke, fill}
188 
        \\pgfrect{\pgfpoint{0.700000}{0.700000}}{\pgfpoint{26.600000}{26.600000}}
189 
\\pgfusepath{stroke, fill}
190 
        \\pgfusepath{stroke}
191 
}}
192 
\\pgfdeclareshape{endNode}{
193 
    \\anchor{center}{\pgfpoint{18}{18}}
194 
    \\anchor{north}{\pgfpoint{18}{36}}
195 
    \\anchor{south}{\pgfpoint{18}{0}}
196 
    \\anchor{west}{\pgfpoint{0}{18}}
197 
    \\anchor{east}{\pgfpoint{36}{18}}
198 
    \\foregroundpath{
199 
        \\pgfsetlinewidth{1.4}
200 
        \\pgftransformshift{\pgfpoint{36}{36}}
201 
        \\pgftransformrotate{180}
202 
        \\pgfsetfillcolor{white}
203 
        \\pgfcircle{\pgfpoint{17.500000}{17.500000}}{16.800000}
204 
\\pgfusepath{stroke, fill}
205 
        \\pgfusepath{stroke}
206 
}}
207 
\\pgfdeclareshape{orGate}{
208 
    \\anchor{center}{\pgfpoint{18}{18}}
209 
    \\anchor{north}{\pgfpoint{18}{36}}
210 
    \\anchor{south}{\pgfpoint{18}{0}}
211 
    \\anchor{west}{\pgfpoint{0}{18}}
212 
    \\anchor{east}{\pgfpoint{36}{18}}
213 
    \\foregroundpath{
214 
        \\pgfsetlinewidth{1.4}
215 
        \\pgftransformshift{\pgfpoint{36}{36}}
216 
        \\pgftransformrotate{180}
217 
        \\pgfsetfillcolor{white}
218 
        \\pgfpathsvg{M 0.7,34.3 C 12.6,28 22.4,28 34.3,34.3 C 34.3,21 28,7 17.5,0.7 C 7,7 0.7,21 0.7,34.3 z}
219 
        \\pgfusepath{stroke}
220 
}}
221 
\\pgfdeclareshape{outOf}{
222 
    \\anchor{center}{\pgfpoint{18}{18}}
223 
    \\anchor{north}{\pgfpoint{18}{36}}
224 
    \\anchor{south}{\pgfpoint{18}{0}}
225 
    \\anchor{west}{\pgfpoint{0}{18}}
226 
    \\anchor{east}{\pgfpoint{36}{18}}
227 
    \\foregroundpath{
228 
        \\pgfsetlinewidth{1.4}
229 
        \\pgftransformshift{\pgfpoint{36}{36}}
230 
        \\pgftransformrotate{180}
231 
        \\pgfsetfillcolor{white}
232 
        \\pgfcircle{\pgfpoint{17.500000}{17.500000}}{16.800000}
233 
\\pgfusepath{stroke, fill}
234 
        \\pgfusepath{stroke}
235 
}}
236 
\\pgfdeclareshape{priorityAndGate}{
237 
    \\anchor{center}{\pgfpoint{18}{18}}
238 
    \\anchor{north}{\pgfpoint{18}{36}}
239 
    \\anchor{south}{\pgfpoint{18}{0}}
240 
    \\anchor{west}{\pgfpoint{0}{18}}
241 
    \\anchor{east}{\pgfpoint{36}{18}}
242 
    \\foregroundpath{
243 
        \\pgfsetlinewidth{1.4}
244 
        \\pgftransformshift{\pgfpoint{36}{36}}
245 
        \\pgftransformrotate{180}
246 
        \\pgfsetfillcolor{white}
247 
        \\pgfpathsvg{M 0.7,34.3 L 34.3,34.3 34.3,21 C 34.3,21 34.3,0.7 17.5,0.7 C 0.7,0.7 0.7,21 0.7,21 z}
248 
        \\pgfpathsvg{M 1,34.3 17.5,2.8 34,34.3}
249 
        \\pgfusepath{stroke}
250 
}}
251 
\\pgfdeclareshape{seqGate}{
252 
    \\anchor{center}{\pgfpoint{18}{18}}
253 
    \\anchor{north}{\pgfpoint{18}{36}}
254 
    \\anchor{south}{\pgfpoint{18}{0}}
255 
    \\anchor{west}{\pgfpoint{0}{18}}
256 
    \\anchor{east}{\pgfpoint{36}{18}}
257 
    \\foregroundpath{
258 
        \\pgfsetlinewidth{1.4}
259 
        \\pgftransformshift{\pgfpoint{36}{36}}
260 
        \\pgftransformrotate{180}
261 
        \\pgfsetfillcolor{white}
262 
        \\pgfpathsvg{M 0.7,17.5 34.3,17.5}
263 
        \\pgfrect{\pgfpoint{0.700000}{0.700000}}{\pgfpoint{33.600000}{33.600000}}
264 
\\pgfusepath{stroke, fill}
265 
        \\pgfusepath{stroke}
266 
}}
267 
\\pgfdeclareshape{spareGate}{
268 
    \\anchor{center}{\pgfpoint{18}{18}}
269 
    \\anchor{north}{\pgfpoint{18}{36}}
270 
    \\anchor{south}{\pgfpoint{18}{0}}
271 
    \\anchor{west}{\pgfpoint{0}{18}}
272 
    \\anchor{east}{\pgfpoint{36}{18}}
273 
    \\foregroundpath{
274 
        \\pgfsetlinewidth{1.4}
275 
        \\pgftransformshift{\pgfpoint{36}{36}}
276 
        \\pgftransformrotate{180}
277 
        \\pgfsetfillcolor{white}
278 
        \\pgfpathsvg{M 0.7,17.5 34.3,17.5}
279 
        \\pgfpathsvg{M 17.5,34.3 17.5,25.55 34.3,25.55}
280 
        \\pgfrect{\pgfpoint{0.700000}{0.700000}}{\pgfpoint{33.600000}{33.600000}}
281 
\\pgfusepath{stroke, fill}
282 
        \\pgfusepath{stroke}
283 
}}
284 
\\pgfdeclareshape{topEvent}{
285 
    \\anchor{center}{\pgfpoint{18}{18}}
286 
    \\anchor{north}{\pgfpoint{18}{36}}
287 
    \\anchor{south}{\pgfpoint{18}{0}}
288 
    \\anchor{west}{\pgfpoint{0}{18}}
289 
    \\anchor{east}{\pgfpoint{36}{18}}
290 
    \\foregroundpath{
291 
        \\pgfsetlinewidth{1.4}
292 
        \\pgftransformshift{\pgfpoint{36}{36}}
293 
        \\pgftransformrotate{180}
294 
        \\pgfsetfillcolor{white}
295 
        \\pgfrect{\pgfpoint{0.700000}{0.700000}}{\pgfpoint{33.600000}{33.600000}}
296 
\\pgfusepath{stroke, fill}
297 
        \\pgfusepath{stroke}
298 
}}
299 
\\pgfdeclareshape{transferIn}{
300 
    \\anchor{center}{\pgfpoint{18}{18}}
301 
    \\anchor{north}{\pgfpoint{18}{36}}
302 
    \\anchor{south}{\pgfpoint{18}{0}}
303 
    \\anchor{west}{\pgfpoint{0}{18}}
304 
    \\anchor{east}{\pgfpoint{36}{18}}
305 
    \\foregroundpath{
306 
        \\pgfsetlinewidth{1.4}
307 
        \\pgftransformshift{\pgfpoint{36}{36}}
308 
        \\pgftransformrotate{180}
309 
        \\pgfsetfillcolor{white}
310 
        \\pgfpathsvg{M 17.5,1 35,34.3 1,34.3 z}
311 
        \\pgfusepath{stroke}
312 
}}
313 
\\pgfdeclareshape{undevelopedEvent}{
314 
    \\anchor{center}{\pgfpoint{18}{18}}
315 
    \\anchor{north}{\pgfpoint{18}{36}}
316 
    \\anchor{south}{\pgfpoint{18}{0}}
317 
    \\anchor{west}{\pgfpoint{0}{18}}
318 
    \\anchor{east}{\pgfpoint{36}{18}}
319 
    \\foregroundpath{
320 
        \\pgfsetlinewidth{1.4}
321 
        \\pgftransformshift{\pgfpoint{36}{36}}
322 
        \\pgftransformrotate{180}
323 
        \\pgfsetfillcolor{white}
324 
        \\pgfpathsvg{M 17.5,0.7 34.3,17.5 17.5,34.3 0.7,17.5 z}
325 
        \\pgfusepath{stroke}
326 
}}
327 
\\pgfdeclareshape{votingOrGate}{
328 
    \\anchor{center}{\pgfpoint{17}{17}}
329 
    \\anchor{north}{\pgfpoint{17}{35}}
330 
    \\anchor{south}{\pgfpoint{17}{0}}
331 
    \\anchor{west}{\pgfpoint{0}{17}}
332 
    \\anchor{east}{\pgfpoint{35}{17}}
333 
    \\foregroundpath{
334 
        \\pgfsetlinewidth{1.4}
335 
        \\pgftransformshift{\pgfpoint{35}{35}}
336 
        \\pgftransformrotate{180}
337 
        \\pgfsetfillcolor{white}
338 
        \\pgfpathsvg{M 0.7,34.3 C 12.6,28 22.4,28 34.3,34.3 C 34.3,21 28,7 17.5,0.7 C 7,7 0.7,21 0.7,34.3 z}
339 
        \\pgfpathsvg{M 8.4,9.1 17.5,28.0 26.6,9.1}
340 
        \\pgfusepath{stroke}
341 
}}
342 
\\pgfdeclareshape{xorGate}{
343 
    \\anchor{center}{\pgfpoint{17}{17}}
344 
    \\anchor{north}{\pgfpoint{17}{35}}
345 
    \\anchor{south}{\pgfpoint{17}{0}}
346 
    \\anchor{west}{\pgfpoint{0}{17}}
347 
    \\anchor{east}{\pgfpoint{35}{17}}
348 
    \\foregroundpath{
349 
        \\pgfsetlinewidth{1.4}
350 
        \\pgftransformshift{\pgfpoint{35}{35}}
351 
        \\pgftransformrotate{180}
352 
        \\pgfsetfillcolor{white}
353 
        \\pgfpathsvg{M 0.7,34.3 C 12.6,28 22.4,28 34.3,34.3 C 34.3,21 28,7 17.5,0.7 C 7,7 0.7,21 0.7,34.3 z}
354 
        \\pgfpathsvg{M 0.7,34.3 L 17.5,1.4 34.3,34.3}
355 
        \\pgfusepath{stroke}
356 
}}
357 
\\pgfdeclareshape{andGate}{
358 
    \\anchor{center}{\pgfpoint{18}{18}}
359 
    \\anchor{north}{\pgfpoint{18}{36}}
360 
    \\anchor{south}{\pgfpoint{18}{0}}
361 
    \\anchor{west}{\pgfpoint{0}{18}}
362 
    \\anchor{east}{\pgfpoint{36}{18}}
363 
    \\foregroundpath{
364 
        \\pgfsetlinewidth{1.4}
365 
        \\pgftransformshift{\pgfpoint{36}{36}}
366 
        \\pgftransformrotate{180}
367 
        \\pgfsetfillcolor{white}
368 
        \\pgfpathsvg{M 0.7,34.3 L 34.3,34.3 34.3,21 C 34.3,21 34.3,0.7 17.5,0.7 C 0.7,0.7 0.7,21 0.7,21 z}
369 
        \\pgfusepath{stroke}
370 
}}
371 
\\pgfdeclareshape{basicEvent}{
372 
    \\anchor{center}{\pgfpoint{18}{18}}
373 
    \\anchor{north}{\pgfpoint{18}{36}}
374 
    \\anchor{south}{\pgfpoint{18}{0}}
375 
    \\anchor{west}{\pgfpoint{0}{18}}
376 
    \\anchor{east}{\pgfpoint{36}{18}}
377 
    \\foregroundpath{
378 
        \\pgfsetlinewidth{1.4}
379 
        \\pgftransformshift{\pgfpoint{36}{36}}
380 
        \\pgftransformrotate{180}
381 
        \\pgfsetfillcolor{white}
382 
        \\pgfcircle{\pgfpoint{17.500000}{17.500000}}{16.800000}
383 
\\pgfusepath{stroke, fill}
384 
        \\pgfusepath{stroke}
385 
}}
386 
\\pgfdeclareshape{basicEventSet}{
387 
    \\anchor{center}{\pgfpoint{18}{18}}
388 
    \\anchor{north}{\pgfpoint{18}{36}}
389 
    \\anchor{south}{\pgfpoint{18}{0}}
390 
    \\anchor{west}{\pgfpoint{0}{18}}
391 
    \\anchor{east}{\pgfpoint{36}{18}}
392 
    \\foregroundpath{
393 
        \\pgfsetlinewidth{1.4}
394 
        \\pgftransformshift{\pgfpoint{36}{36}}
395 
        \\pgftransformrotate{180}
396 
        \\pgfsetfillcolor{white}
397 
        \\pgfcircle{\pgfpoint{20.000000}{20.000000}}{14.300000}
398 
\\pgfusepath{stroke, fill}
399 
        \\pgfcircle{\pgfpoint{17.500000}{17.500000}}{14.300000}
400 
\\pgfusepath{stroke, fill}
401 
        \\pgfcircle{\pgfpoint{15.000000}{15.000000}}{14.300000}
402 
\\pgfusepath{stroke, fill}
403 
        \\pgfusepath{stroke}
404 
}}
405 
\\pgfdeclareshape{block}{
406 
    \\anchor{center}{\pgfpoint{18}{18}}
407 
    \\anchor{north}{\pgfpoint{18}{36}}
408 
    \\anchor{south}{\pgfpoint{18}{0}}
409 
    \\anchor{west}{\pgfpoint{0}{18}}
410 
    \\anchor{east}{\pgfpoint{36}{18}}
411 
    \\foregroundpath{
412 
        \\pgfsetlinewidth{1.4}
413 
        \\pgftransformshift{\pgfpoint{36}{36}}
414 
        \\pgftransformrotate{180}
415 
        \\pgfsetfillcolor{white}
416 
        \\pgfrect{\pgfpoint{0.700000}{0.700000}}{\pgfpoint{33.600000}{33.600000}}
417 
\\pgfusepath{stroke, fill}
418 
        \\pgfusepath{stroke}
419 
}}
420 
\\pgfdeclareshape{featureVariation}{
421 
    \\anchor{center}{\pgfpoint{18}{18}}
422 
    \\anchor{north}{\pgfpoint{18}{36}}
423 
    \\anchor{south}{\pgfpoint{18}{0}}
424 
    \\anchor{west}{\pgfpoint{0}{18}}
425 
    \\anchor{east}{\pgfpoint{36}{18}}
426 
    \\foregroundpath{
427 
        \\pgfsetlinewidth{1.4}
428 
        \\pgftransformshift{\pgfpoint{36}{36}}
429 
        \\pgftransformrotate{180}
430 
        \\pgfsetfillcolor{white}
431 
        \\pgfsetdash{{4.2}{1.4}}{0}
432 
        \\pgfpathsvg{M 0.7,24 C 0.7,24 3.5,34 17.5,34.3 31.5,34.3 34.3,24 34.3,24 L 21,0.7 14,0.7 z}
433 
        \\pgfusepath{stroke}
434 
}}
435 
\\pgfdeclareshape{houseEvent}{
436 
    \\anchor{center}{\pgfpoint{18}{18}}
437 
    \\anchor{north}{\pgfpoint{18}{36}}
438 
    \\anchor{south}{\pgfpoint{18}{0}}
439 
    \\anchor{west}{\pgfpoint{0}{18}}
440 
    \\anchor{east}{\pgfpoint{36}{18}}
441 
    \\foregroundpath{
442 
        \\pgfsetlinewidth{1.4}
443 
        \\pgftransformshift{\pgfpoint{36}{36}}
444 
        \\pgftransformrotate{180}
445 
        \\pgfsetfillcolor{white}
446 
        \\pgfpathsvg{M 17.5,0.7 L 34.3,15 34.3,34.3 0.7,34.3 0.7,15 z}
447 
        \\pgfusepath{stroke}
448 
}}
449 
\\pgfdeclareshape{inhibitGate}{
450 
    \\anchor{center}{\pgfpoint{18}{18}}
451 
    \\anchor{north}{\pgfpoint{18}{36}}
452 
    \\anchor{south}{\pgfpoint{18}{0}}
453 
    \\anchor{west}{\pgfpoint{0}{18}}
454 
    \\anchor{east}{\pgfpoint{36}{18}}
455 
    \\foregroundpath{
456 
        \\pgfsetlinewidth{1.4}
457 
        \\pgftransformshift{\pgfpoint{36}{36}}
458 
        \\pgftransformrotate{180}
459 
        \\pgfsetfillcolor{white}
460 
        \\pgfpathsvg{M 17.5,0.7 L 34.3,11 34.3,24 17.5,34.3 0.7,24 0.7,11 z}
461 
        \\pgfusepath{stroke}
462 
}}
463 
\\pgfdeclareshape{intermediateEvent}{
464 
    \\anchor{center}{\pgfpoint{18}{18}}
465 
    \\anchor{north}{\pgfpoint{18}{36}}
466 
    \\anchor{south}{\pgfpoint{18}{0}}
467 
    \\anchor{west}{\pgfpoint{0}{18}}
468 
    \\anchor{east}{\pgfpoint{36}{18}}
469 
    \\foregroundpath{
470 
        \\pgfsetlinewidth{1.4}
471 
        \\pgftransformshift{\pgfpoint{36}{36}}
472 
        \\pgftransformrotate{180}
473 
        \\pgfsetfillcolor{white}
474 
        \\pgfrect{\pgfpoint{0.700000}{0.700000}}{\pgfpoint{33.600000}{33.600000}}
475 
\\pgfusepath{stroke, fill}
476 
        \\pgfusepath{stroke}
477 
}}
478 
\\pgfdeclareshape{intermediateEventSet}{
479 
    \\anchor{center}{\pgfpoint{18}{18}}
480 
    \\anchor{north}{\pgfpoint{18}{36}}
481 
    \\anchor{south}{\pgfpoint{18}{0}}
482 
    \\anchor{west}{\pgfpoint{0}{18}}
483 
    \\anchor{east}{\pgfpoint{36}{18}}
484 
    \\foregroundpath{
485 
        \\pgfsetlinewidth{1.4}
486 
        \\pgftransformshift{\pgfpoint{36}{36}}
487 
        \\pgftransformrotate{180}
488 
        \\pgfsetfillcolor{white}
489 
        \\pgfrect{\pgfpoint{7.700000}{7.700000}}{\pgfpoint{26.600000}{26.600000}}
490 
\\pgfusepath{stroke, fill}
491 
        \\pgfrect{\pgfpoint{4.200000}{4.200000}}{\pgfpoint{26.600000}{26.600000}}
492 
\\pgfusepath{stroke, fill}
493 
        \\pgfrect{\pgfpoint{0.700000}{0.700000}}{\pgfpoint{26.600000}{26.600000}}
494 
\\pgfusepath{stroke, fill}
495 
        \\pgfusepath{stroke}
496 
}}
497 
\\pgfdeclareshape{endNode}{
498 
    \\anchor{center}{\pgfpoint{18}{18}}
499 
    \\anchor{north}{\pgfpoint{18}{36}}
500 
    \\anchor{south}{\pgfpoint{18}{0}}
501 
    \\anchor{west}{\pgfpoint{0}{18}}
502 
    \\anchor{east}{\pgfpoint{36}{18}}
503 
    \\foregroundpath{
504 
        \\pgfsetlinewidth{1.4}
505 
        \\pgftransformshift{\pgfpoint{36}{36}}
506 
        \\pgftransformrotate{180}
507 
        \\pgfsetfillcolor{white}
508 
        \\pgfcircle{\pgfpoint{17.500000}{17.500000}}{16.800000}
509 
\\pgfusepath{stroke, fill}
510 
        \\pgfusepath{stroke}
511 
}}
512 
\\pgfdeclareshape{orGate}{
513 
    \\anchor{center}{\pgfpoint{18}{18}}
514 
    \\anchor{north}{\pgfpoint{18}{36}}
515 
    \\anchor{south}{\pgfpoint{18}{0}}
516 
    \\anchor{west}{\pgfpoint{0}{18}}
517 
    \\anchor{east}{\pgfpoint{36}{18}}
518 
    \\foregroundpath{
519 
        \\pgfsetlinewidth{1.4}
520 
        \\pgftransformshift{\pgfpoint{36}{36}}
521 
        \\pgftransformrotate{180}
522 
        \\pgfsetfillcolor{white}
523 
        \\pgfpathsvg{M 0.7,34.3 C 12.6,28 22.4,28 34.3,34.3 C 34.3,21 28,7 17.5,0.7 C 7,7 0.7,21 0.7,34.3 z}
524 
        \\pgfusepath{stroke}
525 
}}
526 
\\pgfdeclareshape{outOf}{
527 
    \\anchor{center}{\pgfpoint{18}{18}}
528 
    \\anchor{north}{\pgfpoint{18}{36}}
529 
    \\anchor{south}{\pgfpoint{18}{0}}
530 
    \\anchor{west}{\pgfpoint{0}{18}}
531 
    \\anchor{east}{\pgfpoint{36}{18}}
532 
    \\foregroundpath{
533 
        \\pgfsetlinewidth{1.4}
534 
        \\pgftransformshift{\pgfpoint{36}{36}}
535 
        \\pgftransformrotate{180}
536 
        \\pgfsetfillcolor{white}
537 
        \\pgfcircle{\pgfpoint{17.500000}{17.500000}}{16.800000}
538 
\\pgfusepath{stroke, fill}
539 
        \\pgfusepath{stroke}
540 
}}
541 
\\pgfdeclareshape{redundancyVariation}{
542 
    \\anchor{center}{\pgfpoint{18}{18}}
543 
    \\anchor{north}{\pgfpoint{18}{36}}
544 
    \\anchor{south}{\pgfpoint{18}{0}}
545 
    \\anchor{west}{\pgfpoint{0}{18}}
546 
    \\anchor{east}{\pgfpoint{36}{18}}
547 
    \\foregroundpath{
548 
        \\pgfsetlinewidth{1.4}
549 
        \\pgftransformshift{\pgfpoint{36}{36}}
550 
        \\pgftransformrotate{180}
551 
        \\pgfsetfillcolor{white}
552 
        \\pgfsetdash{{4.2}{1.4}}{0}
553 
        \\pgfpathsvg{M 0.7,24.5 C 0.7,38 34.3,38 34.3,24.5 L 28,21 C 26.6,10.5 22.4,3.5 17.5,0.7 C 12.6,3.5 8.4,10.5 7,21 z}
554 
        \\pgfusepath{stroke}
555 
}}
556 
\\pgfdeclareshape{topEvent}{
557 
    \\anchor{center}{\pgfpoint{18}{18}}
558 
    \\anchor{north}{\pgfpoint{18}{36}}
559 
    \\anchor{south}{\pgfpoint{18}{0}}
560 
    \\anchor{west}{\pgfpoint{0}{18}}
561 
    \\anchor{east}{\pgfpoint{36}{18}}
562 
    \\foregroundpath{
563 
        \\pgfsetlinewidth{1.4}
564 
        \\pgftransformshift{\pgfpoint{36}{36}}
565 
        \\pgftransformrotate{180}
566 
        \\pgfsetfillcolor{white}
567 
        \\pgfrect{\pgfpoint{0.700000}{0.700000}}{\pgfpoint{33.600000}{33.600000}}
568 
\\pgfusepath{stroke, fill}
569 
        \\pgfusepath{stroke}
570 
}}
571 
\\pgfdeclareshape{transferIn}{
572 
    \\anchor{center}{\pgfpoint{18}{18}}
573 
    \\anchor{north}{\pgfpoint{18}{36}}
574 
    \\anchor{south}{\pgfpoint{18}{0}}
575 
    \\anchor{west}{\pgfpoint{0}{18}}
576 
    \\anchor{east}{\pgfpoint{36}{18}}
577 
    \\foregroundpath{
578 
        \\pgfsetlinewidth{1.4}
579 
        \\pgftransformshift{\pgfpoint{36}{36}}
580 
        \\pgftransformrotate{180}
581 
        \\pgfsetfillcolor{white}
582 
        \\pgfpathsvg{M 17.5,1 35,34.3 1,34.3 z}
583 
        \\pgfusepath{stroke}
584 
}}
585 
\\pgfdeclareshape{undevelopedEvent}{
586 
    \\anchor{center}{\pgfpoint{18}{18}}
587 
    \\anchor{north}{\pgfpoint{18}{36}}
588 
    \\anchor{south}{\pgfpoint{18}{0}}
589 
    \\anchor{west}{\pgfpoint{0}{18}}
590 
    \\anchor{east}{\pgfpoint{36}{18}}
591 
    \\foregroundpath{
592 
        \\pgfsetlinewidth{1.4}
593 
        \\pgftransformshift{\pgfpoint{36}{36}}
594 
        \\pgftransformrotate{180}
595 
        \\pgfsetfillcolor{white}
596 
        \\pgfpathsvg{M 17.5,0.7 34.3,17.5 17.5,34.3 0.7,17.5 z}
597 
        \\pgfusepath{stroke}
598 
}}
599 
\\pgfdeclareshape{votingOrGate}{
600 
    \\anchor{center}{\pgfpoint{17}{17}}
601 
    \\anchor{north}{\pgfpoint{17}{35}}
602 
    \\anchor{south}{\pgfpoint{17}{0}}
603 
    \\anchor{west}{\pgfpoint{0}{17}}
604 
    \\anchor{east}{\pgfpoint{35}{17}}
605 
    \\foregroundpath{
606 
        \\pgfsetlinewidth{1.4}
607 
        \\pgftransformshift{\pgfpoint{35}{35}}
608 
        \\pgftransformrotate{180}
609 
        \\pgfsetfillcolor{white}
610 
        \\pgfpathsvg{M 0.7,34.3 C 12.6,28 22.4,28 34.3,34.3 C 34.3,21 28,7 17.5,0.7 C 7,7 0.7,21 0.7,34.3 z}
611 
        \\pgfpathsvg{M 8.4,9.1 17.5,28.0 26.6,9.1}
612 
        \\pgfusepath{stroke}
613 
}}
614 
\\pgfdeclareshape{xorGate}{
615 
    \\anchor{center}{\pgfpoint{17}{17}}
616 
    \\anchor{north}{\pgfpoint{17}{35}}
617 
    \\anchor{south}{\pgfpoint{17}{0}}
618 
    \\anchor{west}{\pgfpoint{0}{17}}
619 
    \\anchor{east}{\pgfpoint{35}{17}}
620 
    \\foregroundpath{
621 
        \\pgfsetlinewidth{1.4}
622 
        \\pgftransformshift{\pgfpoint{35}{35}}
623 
        \\pgftransformrotate{180}
624 
        \\pgfsetfillcolor{white}
625 
        \\pgfpathsvg{M 0.7,34.3 C 12.6,28 22.4,28 34.3,34.3 C 34.3,21 28,7 17.5,0.7 C 7,7 0.7,21 0.7,34.3 z}
626 
        \\pgfpathsvg{M 0.7,34.3 L 17.5,1.4 34.3,34.3}
627 
        \\pgfusepath{stroke}
628 
}}
629 
\\pgfdeclareshape{block}{
630 
    \\anchor{center}{\pgfpoint{18}{18}}
631 
    \\anchor{north}{\pgfpoint{18}{36}}
632 
    \\anchor{south}{\pgfpoint{18}{0}}
633 
    \\anchor{west}{\pgfpoint{0}{18}}
634 
    \\anchor{east}{\pgfpoint{36}{18}}
635 
    \\foregroundpath{
636 
        \\pgfsetlinewidth{1.4}
637 
        \\pgftransformshift{\pgfpoint{36}{36}}
638 
        \\pgftransformrotate{180}
639 
        \\pgfsetfillcolor{white}
640 
        \\pgfrect{\pgfpoint{0.700000}{0.700000}}{\pgfpoint{33.600000}{33.600000}}
641 
\\pgfusepath{stroke, fill}
642 
        \\pgfusepath{stroke}
643 
}}
644 
\\pgfdeclareshape{end}{
645 
    \\anchor{center}{\pgfpoint{18}{18}}
646 
    \\anchor{north}{\pgfpoint{18}{36}}
647 
    \\anchor{south}{\pgfpoint{18}{0}}
648 
    \\anchor{west}{\pgfpoint{0}{18}}
649 
    \\anchor{east}{\pgfpoint{36}{18}}
650 
    \\foregroundpath{
651 
        \\pgfsetlinewidth{1.4}
652 
        \\pgftransformshift{\pgfpoint{36}{36}}
653 
        \\pgftransformrotate{180}
654 
        \\pgfsetfillcolor{white}
655 
        \\pgfcircle{\pgfpoint{17.500000}{17.500000}}{9.000000}
656 
\\pgfusepath{stroke, fill}
657 
        \\pgfusepath{stroke}
658 
}}
659 
\\pgfdeclareshape{out_of}{
660 
    \\anchor{center}{\pgfpoint{18}{18}}
661 
    \\anchor{north}{\pgfpoint{18}{36}}
662 
    \\anchor{south}{\pgfpoint{18}{0}}
663 
    \\anchor{west}{\pgfpoint{0}{18}}
664 
    \\anchor{east}{\pgfpoint{36}{18}}
665 
    \\foregroundpath{
666 
        \\pgfsetlinewidth{1.4}
667 
        \\pgftransformshift{\pgfpoint{36}{36}}
668 
        \\pgftransformrotate{180}
669 
        \\pgfsetfillcolor{white}
670 
        \\pgfcircle{\pgfpoint{17.500000}{17.500000}}{16.800000}
671 
\\pgfusepath{stroke, fill}
672 
        \\pgfusepath{stroke}
673 
}}
674 
\\pgfdeclareshape{start}{
675 
    \\anchor{center}{\pgfpoint{18}{18}}
676 
    \\anchor{north}{\pgfpoint{18}{36}}
677 
    \\anchor{south}{\pgfpoint{18}{0}}
678 
    \\anchor{west}{\pgfpoint{0}{18}}
679 
    \\anchor{east}{\pgfpoint{36}{18}}
680 
    \\foregroundpath{
681 
        \\pgfsetlinewidth{1.4}
682 
        \\pgftransformshift{\pgfpoint{36}{36}}
683 
        \\pgftransformrotate{180}
684 
        \\pgfsetfillcolor{white}
685 
        \\pgfcircle{\pgfpoint{17.500000}{17.500000}}{9.000000}
686 
\\pgfusepath{stroke, fill}
687 
        \\pgfusepath{stroke}
688 
}}
689 
%% End of shape library. This part below is unique for all graph exports.
690 
'''