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

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

added figures for civl verify and civl compare.

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