source: CIVL/doc/graffle/civlOverview.graffle@ 8680645

1.23 2.0 acw/focus-triggers main test-branch
Last change on this file since 8680645 was 8680645, checked in by Manchun Zheng <zmanchun@…>, 11 years ago

updated civl overview figure

git-svn-id: svn://vsl.cis.udel.edu/civl/trunk@2453 fb995dde-84ed-4084-dfe6-e5aef3e2452c

  • Property mode set to 100644
File size: 23.8 KB
Line 
1<?xml version="1.0" encoding="UTF-8"?>
2<!DOCTYPE plist PUBLIC "-//Apple//DTD PLIST 1.0//EN" "http://www.apple.com/DTDs/PropertyList-1.0.dtd">
3<plist version="1.0">
4<dict>
5 <key>ActiveLayerIndex</key>
6 <integer>0</integer>
7 <key>ApplicationVersion</key>
8 <array>
9 <string>com.omnigroup.OmniGraffle</string>
10 <string>139.18.0.187838</string>
11 </array>
12 <key>AutoAdjust</key>
13 <true/>
14 <key>BackgroundGraphic</key>
15 <dict>
16 <key>Bounds</key>
17 <string>{{0, 0}, {756, 553.00002479553223}}</string>
18 <key>Class</key>
19 <string>SolidGraphic</string>
20 <key>FontInfo</key>
21 <dict>
22 <key>Font</key>
23 <string>Helvetica</string>
24 <key>Size</key>
25 <real>12</real>
26 </dict>
27 <key>ID</key>
28 <integer>2</integer>
29 <key>Style</key>
30 <dict>
31 <key>shadow</key>
32 <dict>
33 <key>Draws</key>
34 <string>NO</string>
35 </dict>
36 <key>stroke</key>
37 <dict>
38 <key>Draws</key>
39 <string>NO</string>
40 </dict>
41 </dict>
42 </dict>
43 <key>BaseZoom</key>
44 <integer>0</integer>
45 <key>CanvasOrigin</key>
46 <string>{0, 0}</string>
47 <key>ColumnAlign</key>
48 <integer>1</integer>
49 <key>ColumnSpacing</key>
50 <real>36</real>
51 <key>CreationDate</key>
52 <string>2015-07-16 14:07:19 +0000</string>
53 <key>Creator</key>
54 <string>Manchun Zheng</string>
55 <key>DisplayScale</key>
56 <string>1 0/72 in = 1.0000 in</string>
57 <key>GraphDocumentVersion</key>
58 <integer>8</integer>
59 <key>GraphicsList</key>
60 <array>
61 <dict>
62 <key>Class</key>
63 <string>LineGraphic</string>
64 <key>Head</key>
65 <dict>
66 <key>ID</key>
67 <integer>141</integer>
68 </dict>
69 <key>ID</key>
70 <integer>160</integer>
71 <key>Points</key>
72 <array>
73 <string>{332.74998491378187, 178.29220389592237}</string>
74 <string>{348.75292764958738, 178.16788828473346}</string>
75 </array>
76 <key>Style</key>
77 <dict>
78 <key>stroke</key>
79 <dict>
80 <key>HeadArrow</key>
81 <string>FilledArrow</string>
82 <key>HeadScale</key>
83 <real>0.5</real>
84 <key>Legacy</key>
85 <true/>
86 <key>LineType</key>
87 <integer>1</integer>
88 <key>TailArrow</key>
89 <string>0</string>
90 </dict>
91 </dict>
92 <key>Tail</key>
93 <dict>
94 <key>ID</key>
95 <integer>148</integer>
96 </dict>
97 </dict>
98 <dict>
99 <key>Class</key>
100 <string>LineGraphic</string>
101 <key>Head</key>
102 <dict>
103 <key>ID</key>
104 <integer>147</integer>
105 </dict>
106 <key>ID</key>
107 <integer>159</integer>
108 <key>Points</key>
109 <array>
110 <string>{229.65183607568395, 123.44923615839933}</string>
111 <string>{224.47114350959683, 134.05078672978428}</string>
112 </array>
113 <key>Style</key>
114 <dict>
115 <key>stroke</key>
116 <dict>
117 <key>HeadArrow</key>
118 <string>FilledArrow</string>
119 <key>HeadScale</key>
120 <real>0.5</real>
121 <key>Legacy</key>
122 <true/>
123 <key>LineType</key>
124 <integer>1</integer>
125 <key>TailArrow</key>
126 <string>0</string>
127 </dict>
128 </dict>
129 <key>Tail</key>
130 <dict>
131 <key>ID</key>
132 <integer>135</integer>
133 </dict>
134 </dict>
135 <dict>
136 <key>Bounds</key>
137 <string>{{279.75, 161.0000057220459}, {52.5, 35}}</string>
138 <key>Class</key>
139 <string>ShapedGraphic</string>
140 <key>FontInfo</key>
141 <dict>
142 <key>Font</key>
143 <string>Helvetica-Bold</string>
144 <key>Size</key>
145 <real>12</real>
146 </dict>
147 <key>ID</key>
148 <integer>148</integer>
149 <key>Shape</key>
150 <string>Rectangle</string>
151 <key>Style</key>
152 <dict>
153 <key>fill</key>
154 <dict>
155 <key>Color</key>
156 <dict>
157 <key>b</key>
158 <string>0.901961</string>
159 <key>g</key>
160 <string>0.901961</string>
161 <key>r</key>
162 <string>0.901961</string>
163 </dict>
164 </dict>
165 <key>shadow</key>
166 <dict>
167 <key>Draws</key>
168 <string>NO</string>
169 </dict>
170 </dict>
171 <key>Text</key>
172 <dict>
173 <key>Text</key>
174 <string>{\rtf1\ansi\ansicpg1252\cocoartf1265\cocoasubrtf210
175\cocoascreenfonts1{\fonttbl\f0\fswiss\fcharset0 Helvetica;}
176{\colortbl;\red255\green255\blue255;}
177\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc
178
179\f0\fs24 \cf0 CIVL
180\b\fs20 AST}</string>
181 </dict>
182 </dict>
183 <dict>
184 <key>Bounds</key>
185 <string>{{150.25, 134.5000171661377}, {105, 88}}</string>
186 <key>Class</key>
187 <string>ShapedGraphic</string>
188 <key>ID</key>
189 <integer>147</integer>
190 <key>Shape</key>
191 <string>RoundRect</string>
192 <key>Style</key>
193 <dict>
194 <key>fill</key>
195 <dict>
196 <key>Color</key>
197 <dict>
198 <key>b</key>
199 <string>0.679018</string>
200 <key>g</key>
201 <string>0.909892</string>
202 <key>r</key>
203 <string>1</string>
204 </dict>
205 </dict>
206 <key>shadow</key>
207 <dict>
208 <key>Draws</key>
209 <string>NO</string>
210 </dict>
211 </dict>
212 <key>Text</key>
213 <dict>
214 <key>Text</key>
215 <string>{\rtf1\ansi\ansicpg1252\cocoartf1265\cocoasubrtf210
216\cocoascreenfonts1{\fonttbl\f0\fswiss\fcharset0 Helvetica;\f1\fswiss\fcharset0 Helvetica-Light;\f2\fnil\fcharset0 STIXGeneral-Regular;
217}
218{\colortbl;\red255\green255\blue255;}
219\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc
220
221\f0\fs24 \cf0 CIVL\
222transformers\
223\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural
224
225\f1\i\fs18 \cf0 CUDA
226\f2\i0 \uc0\u8594
227\f1\i CIVL-C
228\f0\i0 \
229
230\f1\i OpenMP
231\f2\i0 \uc0\u8594
232\f1\i CIVL-C
233\f0\i0 \
234
235\f1\i Pthreads
236\f2\i0 \uc0\u8594
237\f1\i CIVL-C
238\f0\i0 \
239
240\f1\i MPI
241\f2\i0 \uc0\u8594
242\f1\i CIVL-C}</string>
243 </dict>
244 </dict>
245 <dict>
246 <key>Class</key>
247 <string>LineGraphic</string>
248 <key>Head</key>
249 <dict>
250 <key>ID</key>
251 <integer>145</integer>
252 </dict>
253 <key>ID</key>
254 <integer>146</integer>
255 <key>Points</key>
256 <array>
257 <string>{421.77908788815802, 108.31272412291159}</string>
258 <string>{448.30126480329079, 121.34742857011426}</string>
259 </array>
260 <key>Style</key>
261 <dict>
262 <key>stroke</key>
263 <dict>
264 <key>HeadArrow</key>
265 <string>FilledArrow</string>
266 <key>HeadScale</key>
267 <real>0.5</real>
268 <key>Legacy</key>
269 <true/>
270 <key>LineType</key>
271 <integer>1</integer>
272 <key>TailArrow</key>
273 <string>0</string>
274 </dict>
275 </dict>
276 <key>Tail</key>
277 <dict>
278 <key>ID</key>
279 <integer>140</integer>
280 </dict>
281 </dict>
282 <dict>
283 <key>Bounds</key>
284 <string>{{448.75, 78.437512972210925}, {74.5, 122.875}}</string>
285 <key>Class</key>
286 <string>ShapedGraphic</string>
287 <key>FontInfo</key>
288 <dict>
289 <key>Font</key>
290 <string>Helvetica-Bold</string>
291 <key>Size</key>
292 <real>12</real>
293 </dict>
294 <key>ID</key>
295 <integer>145</integer>
296 <key>Shape</key>
297 <string>Rectangle</string>
298 <key>Style</key>
299 <dict>
300 <key>fill</key>
301 <dict>
302 <key>Color</key>
303 <dict>
304 <key>b</key>
305 <string>0.901961</string>
306 <key>g</key>
307 <string>0.901961</string>
308 <key>r</key>
309 <string>0.901961</string>
310 </dict>
311 </dict>
312 <key>shadow</key>
313 <dict>
314 <key>Draws</key>
315 <string>NO</string>
316 </dict>
317 </dict>
318 <key>Text</key>
319 <dict>
320 <key>Pad</key>
321 <integer>2</integer>
322 <key>Text</key>
323 <string>{\rtf1\ansi\ansicpg1252\cocoartf1265\cocoasubrtf210
324\cocoascreenfonts1{\fonttbl\f0\fswiss\fcharset0 Helvetica;\f1\fswiss\fcharset0 Helvetica-Light;}
325{\colortbl;\red255\green255\blue255;}
326\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc
327
328\f0\b\fs20 \cf0 result
329\b0 \
330\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural
331
332\i \cf0 stdout
333\f1 \
334
335\i0\fs18 - Yes / No \
336- statistics (time, memory, ...)
337\f0\fs20 \
338
339\i log files\
340
341\f1\i0\fs18 - summary of violations
342\f0\fs20 \
343
344\i trace files\
345
346\f1\i0\fs18 - each violation}</string>
347 </dict>
348 <key>TextPlacement</key>
349 <integer>0</integer>
350 </dict>
351 <dict>
352 <key>Class</key>
353 <string>LineGraphic</string>
354 <key>Head</key>
355 <dict>
356 <key>ID</key>
357 <integer>140</integer>
358 </dict>
359 <key>ID</key>
360 <integer>144</integer>
361 <key>Points</key>
362 <array>
363 <string>{394.50001728668377, 125.562266356438}</string>
364 <string>{394.50001728668377, 111.87454147122359}</string>
365 </array>
366 <key>Style</key>
367 <dict>
368 <key>stroke</key>
369 <dict>
370 <key>HeadArrow</key>
371 <string>FilledArrow</string>
372 <key>HeadScale</key>
373 <real>0.5</real>
374 <key>Legacy</key>
375 <true/>
376 <key>LineType</key>
377 <integer>1</integer>
378 <key>TailArrow</key>
379 <string>0</string>
380 </dict>
381 </dict>
382 <key>Tail</key>
383 <dict>
384 <key>ID</key>
385 <integer>142</integer>
386 </dict>
387 </dict>
388 <dict>
389 <key>Class</key>
390 <string>LineGraphic</string>
391 <key>Head</key>
392 <dict>
393 <key>ID</key>
394 <integer>142</integer>
395 </dict>
396 <key>ID</key>
397 <integer>143</integer>
398 <key>Points</key>
399 <array>
400 <string>{394.5000091962242, 160.5000114440918}</string>
401 <string>{394.5000091962242, 146.81226634979248}</string>
402 </array>
403 <key>Style</key>
404 <dict>
405 <key>stroke</key>
406 <dict>
407 <key>HeadArrow</key>
408 <string>FilledArrow</string>
409 <key>HeadScale</key>
410 <real>0.5</real>
411 <key>Legacy</key>
412 <true/>
413 <key>LineType</key>
414 <integer>1</integer>
415 <key>TailArrow</key>
416 <string>0</string>
417 </dict>
418 </dict>
419 <key>Tail</key>
420 <dict>
421 <key>ID</key>
422 <integer>141</integer>
423 </dict>
424 </dict>
425 <dict>
426 <key>Bounds</key>
427 <string>{{354.75, 126.06226634979248}, {79.5, 20.25}}</string>
428 <key>Class</key>
429 <string>ShapedGraphic</string>
430 <key>FontInfo</key>
431 <dict>
432 <key>Font</key>
433 <string>Helvetica-Bold</string>
434 <key>Size</key>
435 <real>12</real>
436 </dict>
437 <key>ID</key>
438 <integer>142</integer>
439 <key>Shape</key>
440 <string>Rectangle</string>
441 <key>Style</key>
442 <dict>
443 <key>fill</key>
444 <dict>
445 <key>Color</key>
446 <dict>
447 <key>b</key>
448 <string>0.901961</string>
449 <key>g</key>
450 <string>0.901961</string>
451 <key>r</key>
452 <string>0.901961</string>
453 </dict>
454 </dict>
455 <key>shadow</key>
456 <dict>
457 <key>Draws</key>
458 <string>NO</string>
459 </dict>
460 </dict>
461 <key>Text</key>
462 <dict>
463 <key>Text</key>
464 <string>{\rtf1\ansi\ansicpg1252\cocoartf1265\cocoasubrtf210
465\cocoascreenfonts1{\fonttbl\f0\fswiss\fcharset0 Helvetica;}
466{\colortbl;\red255\green255\blue255;}
467\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc
468
469\f0\fs24 \cf0 CIVL
470\b\fs20 model}</string>
471 </dict>
472 </dict>
473 <dict>
474 <key>Bounds</key>
475 <string>{{349.25, 161.0000114440918}, {90.5, 33.625}}</string>
476 <key>Class</key>
477 <string>ShapedGraphic</string>
478 <key>ID</key>
479 <integer>141</integer>
480 <key>Shape</key>
481 <string>RoundRect</string>
482 <key>Style</key>
483 <dict>
484 <key>fill</key>
485 <dict>
486 <key>Color</key>
487 <dict>
488 <key>b</key>
489 <string>0.679018</string>
490 <key>g</key>
491 <string>0.909892</string>
492 <key>r</key>
493 <string>1</string>
494 </dict>
495 </dict>
496 <key>shadow</key>
497 <dict>
498 <key>Draws</key>
499 <string>NO</string>
500 </dict>
501 </dict>
502 <key>Text</key>
503 <dict>
504 <key>Pad</key>
505 <integer>0</integer>
506 <key>Text</key>
507 <string>{\rtf1\ansi\ansicpg1252\cocoartf1265\cocoasubrtf210
508\cocoascreenfonts1{\fonttbl\f0\fswiss\fcharset0 Helvetica;}
509{\colortbl;\red255\green255\blue255;}
510\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc
511
512\f0\fs24 \cf0 CIVL\
513model builder}</string>
514 </dict>
515 </dict>
516 <dict>
517 <key>Bounds</key>
518 <string>{{364.00000625277067, 78.437514500330053}, {61, 32.937026977539062}}</string>
519 <key>Class</key>
520 <string>ShapedGraphic</string>
521 <key>ID</key>
522 <integer>140</integer>
523 <key>Shape</key>
524 <string>RoundRect</string>
525 <key>Style</key>
526 <dict>
527 <key>fill</key>
528 <dict>
529 <key>Color</key>
530 <dict>
531 <key>b</key>
532 <string>0.679018</string>
533 <key>g</key>
534 <string>0.909892</string>
535 <key>r</key>
536 <string>1</string>
537 </dict>
538 </dict>
539 <key>shadow</key>
540 <dict>
541 <key>Draws</key>
542 <string>NO</string>
543 </dict>
544 </dict>
545 <key>Text</key>
546 <dict>
547 <key>Text</key>
548 <string>{\rtf1\ansi\ansicpg1252\cocoartf1265\cocoasubrtf210
549\cocoascreenfonts1{\fonttbl\f0\fswiss\fcharset0 Helvetica;}
550{\colortbl;\red255\green255\blue255;}
551\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc
552
553\f0\fs24 \cf0 CIVL\
554verifier}</string>
555 </dict>
556 </dict>
557 <dict>
558 <key>Class</key>
559 <string>LineGraphic</string>
560 <key>Head</key>
561 <dict>
562 <key>ID</key>
563 <integer>148</integer>
564 </dict>
565 <key>ID</key>
566 <integer>139</integer>
567 <key>Points</key>
568 <array>
569 <string>{255.74999999999974, 178.50002206621144}</string>
570 <string>{279.25, 178.50002206621144}</string>
571 </array>
572 <key>Style</key>
573 <dict>
574 <key>stroke</key>
575 <dict>
576 <key>HeadArrow</key>
577 <string>FilledArrow</string>
578 <key>HeadScale</key>
579 <real>0.5</real>
580 <key>Legacy</key>
581 <true/>
582 <key>LineType</key>
583 <integer>1</integer>
584 <key>TailArrow</key>
585 <string>0</string>
586 </dict>
587 </dict>
588 <key>Tail</key>
589 <dict>
590 <key>ID</key>
591 <integer>147</integer>
592 </dict>
593 </dict>
594 <dict>
595 <key>Class</key>
596 <string>LineGraphic</string>
597 <key>Head</key>
598 <dict>
599 <key>ID</key>
600 <integer>135</integer>
601 </dict>
602 <key>ID</key>
603 <integer>158</integer>
604 <key>Points</key>
605 <array>
606 <string>{203.74741454020074, 100.68890647982082}</string>
607 <string>{217.25005825702397, 100.8950525325553}</string>
608 </array>
609 <key>Style</key>
610 <dict>
611 <key>stroke</key>
612 <dict>
613 <key>HeadArrow</key>
614 <string>FilledArrow</string>
615 <key>HeadScale</key>
616 <real>0.5</real>
617 <key>Legacy</key>
618 <true/>
619 <key>LineType</key>
620 <integer>1</integer>
621 <key>TailArrow</key>
622 <string>0</string>
623 </dict>
624 </dict>
625 <key>Tail</key>
626 <dict>
627 <key>ID</key>
628 <integer>156</integer>
629 </dict>
630 </dict>
631 <dict>
632 <key>Class</key>
633 <string>LineGraphic</string>
634 <key>Head</key>
635 <dict>
636 <key>ID</key>
637 <integer>156</integer>
638 </dict>
639 <key>ID</key>
640 <integer>157</integer>
641 <key>Points</key>
642 <array>
643 <string>{128.99995528266325, 100.86539064220652}</string>
644 <string>{146.25198467903209, 100.63459866441386}</string>
645 </array>
646 <key>Style</key>
647 <dict>
648 <key>stroke</key>
649 <dict>
650 <key>HeadArrow</key>
651 <string>FilledArrow</string>
652 <key>HeadScale</key>
653 <real>0.5</real>
654 <key>Legacy</key>
655 <true/>
656 <key>LineType</key>
657 <integer>1</integer>
658 <key>TailArrow</key>
659 <string>0</string>
660 </dict>
661 </dict>
662 <key>Tail</key>
663 <dict>
664 <key>ID</key>
665 <integer>136</integer>
666 </dict>
667 </dict>
668 <dict>
669 <key>Bounds</key>
670 <string>{{72, 64.500005722045898}, {56.5, 73.499984741210938}}</string>
671 <key>Class</key>
672 <string>ShapedGraphic</string>
673 <key>ID</key>
674 <integer>136</integer>
675 <key>Shape</key>
676 <string>NoteShape</string>
677 <key>Style</key>
678 <dict>
679 <key>fill</key>
680 <dict>
681 <key>Color</key>
682 <dict>
683 <key>b</key>
684 <string>0.901961</string>
685 <key>g</key>
686 <string>0.901961</string>
687 <key>r</key>
688 <string>0.901961</string>
689 </dict>
690 </dict>
691 <key>shadow</key>
692 <dict>
693 <key>Draws</key>
694 <string>NO</string>
695 </dict>
696 </dict>
697 <key>Text</key>
698 <dict>
699 <key>Pad</key>
700 <integer>2</integer>
701 <key>Text</key>
702 <string>{\rtf1\ansi\ansicpg1252\cocoartf1265\cocoasubrtf210
703\cocoascreenfonts1{\fonttbl\f0\fswiss\fcharset0 Helvetica;}
704{\colortbl;\red255\green255\blue255;}
705\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc
706
707\f0\b\fs20 \cf0 source
708\fs24 \
709\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc
710
711\b0\fs18 \cf0 C or CIVL-C with MPI, CUDA, OpenMP, Pthreads}</string>
712 </dict>
713 </dict>
714 <dict>
715 <key>Bounds</key>
716 <string>{{217.75, 79.500017166137695}, {45.5, 43.499988555908203}}</string>
717 <key>Class</key>
718 <string>ShapedGraphic</string>
719 <key>FontInfo</key>
720 <dict>
721 <key>Font</key>
722 <string>Helvetica-Bold</string>
723 <key>Size</key>
724 <real>12</real>
725 </dict>
726 <key>ID</key>
727 <integer>135</integer>
728 <key>Shape</key>
729 <string>Rectangle</string>
730 <key>Style</key>
731 <dict>
732 <key>fill</key>
733 <dict>
734 <key>Color</key>
735 <dict>
736 <key>b</key>
737 <string>0.901961</string>
738 <key>g</key>
739 <string>0.901961</string>
740 <key>r</key>
741 <string>0.901961</string>
742 </dict>
743 </dict>
744 <key>shadow</key>
745 <dict>
746 <key>Draws</key>
747 <string>NO</string>
748 </dict>
749 </dict>
750 <key>Text</key>
751 <dict>
752 <key>Text</key>
753 <string>{\rtf1\ansi\ansicpg1252\cocoartf1265\cocoasubrtf210
754\cocoascreenfonts1{\fonttbl\f0\fswiss\fcharset0 Helvetica;}
755{\colortbl;\red255\green255\blue255;}
756\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc
757
758\f0\fs24 \cf0 ABC
759\b\fs20 AST }</string>
760 </dict>
761 </dict>
762 <dict>
763 <key>Bounds</key>
764 <string>{{146.75, 82.750017166137695}, {56.5, 35}}</string>
765 <key>Class</key>
766 <string>ShapedGraphic</string>
767 <key>ID</key>
768 <integer>156</integer>
769 <key>Shape</key>
770 <string>RoundRect</string>
771 <key>Style</key>
772 <dict>
773 <key>fill</key>
774 <dict>
775 <key>Color</key>
776 <dict>
777 <key>b</key>
778 <string>0.679018</string>
779 <key>g</key>
780 <string>0.909892</string>
781 <key>r</key>
782 <string>1</string>
783 </dict>
784 </dict>
785 <key>shadow</key>
786 <dict>
787 <key>Draws</key>
788 <string>NO</string>
789 </dict>
790 </dict>
791 <key>Text</key>
792 <dict>
793 <key>Text</key>
794 <string>{\rtf1\ansi\ansicpg1252\cocoartf1265\cocoasubrtf210
795\cocoascreenfonts1{\fonttbl\f0\fswiss\fcharset0 Helvetica;}
796{\colortbl;\red255\green255\blue255;}
797\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc
798
799\f0\fs24 \cf0 ABC\
800parser}</string>
801 </dict>
802 </dict>
803 <dict>
804 <key>Bounds</key>
805 <string>{{135.75, 64.000005722045898}, {134.5, 162}}</string>
806 <key>Class</key>
807 <string>ShapedGraphic</string>
808 <key>ID</key>
809 <integer>133</integer>
810 <key>Shape</key>
811 <string>Rectangle</string>
812 <key>Style</key>
813 <dict>
814 <key>fill</key>
815 <dict>
816 <key>Color</key>
817 <dict>
818 <key>b</key>
819 <string>0.901961</string>
820 <key>g</key>
821 <string>0.901961</string>
822 <key>r</key>
823 <string>0.901961</string>
824 </dict>
825 <key>Draws</key>
826 <string>NO</string>
827 </dict>
828 <key>shadow</key>
829 <dict>
830 <key>Draws</key>
831 <string>NO</string>
832 </dict>
833 </dict>
834 <key>Text</key>
835 <dict>
836 <key>Align</key>
837 <integer>0</integer>
838 <key>Pad</key>
839 <integer>2</integer>
840 <key>Text</key>
841 <string>{\rtf1\ansi\ansicpg1252\cocoartf1265\cocoasubrtf210
842\cocoascreenfonts1{\fonttbl\f0\fswiss\fcharset0 Helvetica-Light;}
843{\colortbl;\red255\green255\blue255;}
844\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural
845
846\f0\i\fs20 \cf0 Parser + Transformers}</string>
847 <key>VerticalPad</key>
848 <integer>1</integer>
849 </dict>
850 <key>TextPlacement</key>
851 <integer>0</integer>
852 <key>Wrap</key>
853 <string>NO</string>
854 </dict>
855 <dict>
856 <key>Bounds</key>
857 <string>{{339.25, 63.500011444091797}, {190, 162}}</string>
858 <key>Class</key>
859 <string>ShapedGraphic</string>
860 <key>ID</key>
861 <integer>132</integer>
862 <key>Shape</key>
863 <string>Rectangle</string>
864 <key>Style</key>
865 <dict>
866 <key>fill</key>
867 <dict>
868 <key>Color</key>
869 <dict>
870 <key>b</key>
871 <string>0.901961</string>
872 <key>g</key>
873 <string>0.901961</string>
874 <key>r</key>
875 <string>0.901961</string>
876 </dict>
877 <key>Draws</key>
878 <string>NO</string>
879 </dict>
880 <key>shadow</key>
881 <dict>
882 <key>Draws</key>
883 <string>NO</string>
884 </dict>
885 </dict>
886 <key>Text</key>
887 <dict>
888 <key>Align</key>
889 <integer>0</integer>
890 <key>Pad</key>
891 <integer>2</integer>
892 <key>Text</key>
893 <string>{\rtf1\ansi\ansicpg1252\cocoartf1265\cocoasubrtf210
894\cocoascreenfonts1{\fonttbl\f0\fswiss\fcharset0 Helvetica-Light;}
895{\colortbl;\red255\green255\blue255;}
896\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural
897
898\f0\i\fs20 \cf0 Model builder + Verifier}</string>
899 <key>VerticalPad</key>
900 <integer>3</integer>
901 </dict>
902 <key>TextPlacement</key>
903 <integer>2</integer>
904 <key>Wrap</key>
905 <string>NO</string>
906 </dict>
907 </array>
908 <key>GridInfo</key>
909 <dict/>
910 <key>GuidesLocked</key>
911 <string>NO</string>
912 <key>GuidesVisible</key>
913 <string>YES</string>
914 <key>HPages</key>
915 <integer>1</integer>
916 <key>ImageCounter</key>
917 <integer>1</integer>
918 <key>KeepToScale</key>
919 <false/>
920 <key>Layers</key>
921 <array>
922 <dict>
923 <key>Lock</key>
924 <string>NO</string>
925 <key>Name</key>
926 <string>Layer 1</string>
927 <key>Print</key>
928 <string>YES</string>
929 <key>View</key>
930 <string>YES</string>
931 </dict>
932 </array>
933 <key>LayoutInfo</key>
934 <dict>
935 <key>Animate</key>
936 <string>NO</string>
937 <key>circoMinDist</key>
938 <real>18</real>
939 <key>circoSeparation</key>
940 <real>0.0</real>
941 <key>layoutEngine</key>
942 <string>dot</string>
943 <key>neatoSeparation</key>
944 <real>0.0</real>
945 <key>twopiSeparation</key>
946 <real>0.0</real>
947 </dict>
948 <key>LinksVisible</key>
949 <string>NO</string>
950 <key>MagnetsVisible</key>
951 <string>NO</string>
952 <key>MasterSheets</key>
953 <array/>
954 <key>ModificationDate</key>
955 <string>2015-07-22 20:11:30 +0000</string>
956 <key>Modifier</key>
957 <string>Manchun Zheng</string>
958 <key>NotesVisible</key>
959 <string>NO</string>
960 <key>Orientation</key>
961 <integer>2</integer>
962 <key>OriginVisible</key>
963 <string>NO</string>
964 <key>PageBreaks</key>
965 <string>YES</string>
966 <key>PrintInfo</key>
967 <dict>
968 <key>NSBottomMargin</key>
969 <array>
970 <string>float</string>
971 <string>41</string>
972 </array>
973 <key>NSHorizonalPagination</key>
974 <array>
975 <string>coded</string>
976 <string>BAtzdHJlYW10eXBlZIHoA4QBQISEhAhOU051bWJlcgCEhAdOU1ZhbHVlAISECE5TT2JqZWN0AIWEASqEhAFxlwCG</string>
977 </array>
978 <key>NSLeftMargin</key>
979 <array>
980 <string>float</string>
981 <string>18</string>
982 </array>
983 <key>NSOrientation</key>
984 <array>
985 <string>coded</string>
986 <string>BAtzdHJlYW10eXBlZIHoA4QBQISEhAhOU051bWJlcgCEhAdOU1ZhbHVlAISECE5TT2JqZWN0AIWEASqEhAFxlwGG</string>
987 </array>
988 <key>NSPaperSize</key>
989 <array>
990 <string>size</string>
991 <string>{792, 612.00002479553223}</string>
992 </array>
993 <key>NSPrintReverseOrientation</key>
994 <array>
995 <string>int</string>
996 <string>0</string>
997 </array>
998 <key>NSRightMargin</key>
999 <array>
1000 <string>float</string>
1001 <string>18</string>
1002 </array>
1003 <key>NSTopMargin</key>
1004 <array>
1005 <string>float</string>
1006 <string>18</string>
1007 </array>
1008 </dict>
1009 <key>PrintOnePage</key>
1010 <false/>
1011 <key>ReadOnly</key>
1012 <string>NO</string>
1013 <key>RowAlign</key>
1014 <integer>1</integer>
1015 <key>RowSpacing</key>
1016 <real>36</real>
1017 <key>SheetTitle</key>
1018 <string>Canvas 1</string>
1019 <key>SmartAlignmentGuidesActive</key>
1020 <string>YES</string>
1021 <key>SmartDistanceGuidesActive</key>
1022 <string>YES</string>
1023 <key>UniqueID</key>
1024 <integer>1</integer>
1025 <key>UseEntirePage</key>
1026 <false/>
1027 <key>VPages</key>
1028 <integer>1</integer>
1029 <key>WindowInfo</key>
1030 <dict>
1031 <key>CurrentSheet</key>
1032 <integer>0</integer>
1033 <key>ExpandedCanvases</key>
1034 <array>
1035 <dict>
1036 <key>name</key>
1037 <string>Canvas 1</string>
1038 </dict>
1039 </array>
1040 <key>Frame</key>
1041 <string>{{787, 62}, {1789, 1247}}</string>
1042 <key>ListView</key>
1043 <true/>
1044 <key>OutlineWidth</key>
1045 <integer>142</integer>
1046 <key>RightSidebar</key>
1047 <true/>
1048 <key>ShowRuler</key>
1049 <true/>
1050 <key>Sidebar</key>
1051 <true/>
1052 <key>SidebarWidth</key>
1053 <integer>120</integer>
1054 <key>VisibleRegion</key>
1055 <string>{{0, 0}, {755.5, 554}}</string>
1056 <key>Zoom</key>
1057 <real>2</real>
1058 <key>ZoomValues</key>
1059 <array>
1060 <array>
1061 <string>Canvas 1</string>
1062 <real>2</real>
1063 <real>1</real>
1064 </array>
1065 </array>
1066 </dict>
1067</dict>
1068</plist>
Note: See TracBrowser for help on using the repository browser.