source: CIVL/doc/graffle/civlOverview.graffle@ 6909f7d

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

minor correction

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

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