source: CIVL/doc/graffle/civlUsesRelationSimple.graffle@ f6ce0eb

1.23 2.0 main test-branch
Last change on this file since f6ce0eb was 411e0b8, checked in by Manchun Zheng <zmanchun@…>, 12 years ago

cleaned up usage cycle; improved javadocs; improved error message in mpi.cvl.

git-svn-id: ​svn://vsl.cis.udel.edu/civl/trunk@1051 fb995dde-84ed-4084-dfe6-e5aef3e2452c
  • Property mode set to 100644
File size: 29.4 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>138.33.0.157554</string>
11 </array>
12 <key>AutoAdjust</key>
13 <true/>
14 <key>BackgroundGraphic</key>
15 <dict>
16 <key>Bounds</key>
17 <string>{{0, 0}, {576, 733}}</string>
18 <key>Class</key>
19 <string>SolidGraphic</string>
20 <key>FontInfo</key>
21 <dict>
22 <key>Font</key>
23 <string>LucidaGrande</string>
24 <key>Size</key>
25 <real>14</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>CanvasOrigin</key>
44 <string>{0, 0}</string>
45 <key>ColumnAlign</key>
46 <integer>1</integer>
47 <key>ColumnSpacing</key>
48 <real>36</real>
49 <key>CreationDate</key>
50 <string>2013-11-12 22:44:52 +0000</string>
51 <key>Creator</key>
52 <string>Tim Zirkel</string>
53 <key>DisplayScale</key>
54 <string>1 0/72 in = 1.0000 in</string>
55 <key>GraphDocumentVersion</key>
56 <integer>8</integer>
57 <key>GraphicsList</key>
58 <array>
59 <dict>
60 <key>Class</key>
61 <string>LineGraphic</string>
62 <key>Head</key>
63 <dict>
64 <key>ID</key>
65 <integer>14</integer>
66 </dict>
67 <key>ID</key>
68 <integer>110</integer>
69 <key>Points</key>
70 <array>
71 <string>{243, 463}</string>
72 <string>{243, 494.5}</string>
73 </array>
74 <key>Style</key>
75 <dict>
76 <key>stroke</key>
77 <dict>
78 <key>HeadArrow</key>
79 <string>FilledArrow</string>
80 <key>LineType</key>
81 <integer>1</integer>
82 <key>TailArrow</key>
83 <string>0</string>
84 <key>Width</key>
85 <real>0.5</real>
86 </dict>
87 </dict>
88 <key>Tail</key>
89 <dict>
90 <key>ID</key>
91 <integer>72</integer>
92 </dict>
93 </dict>
94 <dict>
95 <key>Class</key>
96 <string>LineGraphic</string>
97 <key>Head</key>
98 <dict>
99 <key>ID</key>
100 <integer>72</integer>
101 </dict>
102 <key>ID</key>
103 <integer>109</integer>
104 <key>Points</key>
105 <array>
106 <string>{243, 409.5}</string>
107 <string>{243, 444}</string>
108 </array>
109 <key>Style</key>
110 <dict>
111 <key>stroke</key>
112 <dict>
113 <key>HeadArrow</key>
114 <string>FilledArrow</string>
115 <key>LineType</key>
116 <integer>1</integer>
117 <key>TailArrow</key>
118 <string>0</string>
119 <key>Width</key>
120 <real>0.5</real>
121 </dict>
122 </dict>
123 <key>Tail</key>
124 <dict>
125 <key>ID</key>
126 <integer>73</integer>
127 </dict>
128 </dict>
129 <dict>
130 <key>Class</key>
131 <string>LineGraphic</string>
132 <key>Head</key>
133 <dict>
134 <key>ID</key>
135 <integer>73</integer>
136 </dict>
137 <key>ID</key>
138 <integer>81</integer>
139 <key>Points</key>
140 <array>
141 <string>{243, 351.5}</string>
142 <string>{243, 390.5}</string>
143 </array>
144 <key>Style</key>
145 <dict>
146 <key>stroke</key>
147 <dict>
148 <key>HeadArrow</key>
149 <string>FilledArrow</string>
150 <key>LineType</key>
151 <integer>1</integer>
152 <key>TailArrow</key>
153 <string>0</string>
154 <key>Width</key>
155 <real>0.5</real>
156 </dict>
157 </dict>
158 <key>Tail</key>
159 <dict>
160 <key>ID</key>
161 <integer>15</integer>
162 </dict>
163 </dict>
164 <dict>
165 <key>Bounds</key>
166 <string>{{207, 444.5}, {72, 18}}</string>
167 <key>Class</key>
168 <string>ShapedGraphic</string>
169 <key>ID</key>
170 <integer>72</integer>
171 <key>Shape</key>
172 <string>Rectangle</string>
173 <key>Style</key>
174 <dict>
175 <key>shadow</key>
176 <dict>
177 <key>Draws</key>
178 <string>NO</string>
179 </dict>
180 <key>stroke</key>
181 <dict>
182 <key>CornerRadius</key>
183 <real>9</real>
184 </dict>
185 </dict>
186 <key>Text</key>
187 <dict>
188 <key>Text</key>
189 <string>{\rtf1\ansi\ansicpg1252\cocoartf1265\cocoasubrtf190
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 log}</string>
195 </dict>
196 </dict>
197 <dict>
198 <key>Class</key>
199 <string>LineGraphic</string>
200 <key>Head</key>
201 <dict>
202 <key>ID</key>
203 <integer>6</integer>
204 </dict>
205 <key>ID</key>
206 <integer>108</integer>
207 <key>Points</key>
208 <array>
209 <string>{283.70218, 135.45518}</string>
210 <string>{247.29779, 215.54482}</string>
211 </array>
212 <key>Style</key>
213 <dict>
214 <key>stroke</key>
215 <dict>
216 <key>HeadArrow</key>
217 <string>FilledArrow</string>
218 <key>LineType</key>
219 <integer>1</integer>
220 <key>TailArrow</key>
221 <string>0</string>
222 <key>Width</key>
223 <real>0.5</real>
224 </dict>
225 </dict>
226 <key>Tail</key>
227 <dict>
228 <key>ID</key>
229 <integer>12</integer>
230 </dict>
231 </dict>
232 <dict>
233 <key>Class</key>
234 <string>LineGraphic</string>
235 <key>Head</key>
236 <dict>
237 <key>ID</key>
238 <integer>95</integer>
239 </dict>
240 <key>ID</key>
241 <integer>97</integer>
242 <key>Points</key>
243 <array>
244 <string>{291.35434, 135.47131}</string>
245 <string>{437.64117, 548.52875}</string>
246 </array>
247 <key>Style</key>
248 <dict>
249 <key>stroke</key>
250 <dict>
251 <key>HeadArrow</key>
252 <string>FilledArrow</string>
253 <key>LineType</key>
254 <integer>1</integer>
255 <key>TailArrow</key>
256 <string>0</string>
257 <key>Width</key>
258 <real>0.5</real>
259 </dict>
260 </dict>
261 <key>Tail</key>
262 <dict>
263 <key>ID</key>
264 <integer>12</integer>
265 </dict>
266 </dict>
267 <dict>
268 <key>Class</key>
269 <string>LineGraphic</string>
270 <key>Head</key>
271 <dict>
272 <key>ID</key>
273 <integer>23</integer>
274 </dict>
275 <key>ID</key>
276 <integer>96</integer>
277 <key>Points</key>
278 <array>
279 <string>{422.53894, 567.22345}</string>
280 <string>{351.38004, 602.77576}</string>
281 </array>
282 <key>Style</key>
283 <dict>
284 <key>stroke</key>
285 <dict>
286 <key>HeadArrow</key>
287 <string>FilledArrow</string>
288 <key>LineType</key>
289 <integer>1</integer>
290 <key>Pattern</key>
291 <integer>1</integer>
292 <key>TailArrow</key>
293 <string>0</string>
294 <key>Width</key>
295 <real>0.5</real>
296 </dict>
297 </dict>
298 <key>Tail</key>
299 <dict>
300 <key>ID</key>
301 <integer>95</integer>
302 </dict>
303 </dict>
304 <dict>
305 <key>Bounds</key>
306 <string>{{405, 549}, {72, 18}}</string>
307 <key>Class</key>
308 <string>ShapedGraphic</string>
309 <key>ID</key>
310 <integer>95</integer>
311 <key>Shape</key>
312 <string>Rectangle</string>
313 <key>Style</key>
314 <dict>
315 <key>shadow</key>
316 <dict>
317 <key>Draws</key>
318 <string>NO</string>
319 </dict>
320 <key>stroke</key>
321 <dict>
322 <key>CornerRadius</key>
323 <real>9</real>
324 </dict>
325 </dict>
326 <key>Text</key>
327 <dict>
328 <key>Text</key>
329 <string>{\rtf1\ansi\ansicpg1252\cocoartf1265\cocoasubrtf190
330\cocoascreenfonts1{\fonttbl\f0\fswiss\fcharset0 Helvetica;}
331{\colortbl;\red255\green255\blue255;}
332\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc
333
334\f0\fs24 \cf0 transform}</string>
335 </dict>
336 </dict>
337 <dict>
338 <key>Class</key>
339 <string>LineGraphic</string>
340 <key>Head</key>
341 <dict>
342 <key>ID</key>
343 <integer>93</integer>
344 </dict>
345 <key>ID</key>
346 <integer>94</integer>
347 <key>Points</key>
348 <array>
349 <string>{272.57318, 135.25728}</string>
350 <string>{168.44374, 197.74294}</string>
351 </array>
352 <key>Style</key>
353 <dict>
354 <key>stroke</key>
355 <dict>
356 <key>HeadArrow</key>
357 <string>FilledArrow</string>
358 <key>LineType</key>
359 <integer>1</integer>
360 <key>TailArrow</key>
361 <string>0</string>
362 <key>Width</key>
363 <real>0.5</real>
364 </dict>
365 </dict>
366 <key>Tail</key>
367 <dict>
368 <key>ID</key>
369 <integer>12</integer>
370 </dict>
371 </dict>
372 <dict>
373 <key>Bounds</key>
374 <string>{{117, 198}, {72, 18}}</string>
375 <key>Class</key>
376 <string>ShapedGraphic</string>
377 <key>ID</key>
378 <integer>93</integer>
379 <key>Shape</key>
380 <string>Rectangle</string>
381 <key>Style</key>
382 <dict>
383 <key>shadow</key>
384 <dict>
385 <key>Draws</key>
386 <string>NO</string>
387 </dict>
388 <key>stroke</key>
389 <dict>
390 <key>CornerRadius</key>
391 <real>9</real>
392 </dict>
393 </dict>
394 <key>Text</key>
395 <dict>
396 <key>Text</key>
397 <string>{\rtf1\ansi\ansicpg1252\cocoartf1265\cocoasubrtf190
398\cocoascreenfonts1{\fonttbl\f0\fswiss\fcharset0 Helvetica;}
399{\colortbl;\red255\green255\blue255;}
400\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc
401
402\f0\fs24 \cf0 gui}</string>
403 </dict>
404 </dict>
405 <dict>
406 <key>Class</key>
407 <string>LineGraphic</string>
408 <key>Head</key>
409 <dict>
410 <key>ID</key>
411 <integer>12</integer>
412 </dict>
413 <key>ID</key>
414 <integer>92</integer>
415 <key>Points</key>
416 <array>
417 <string>{288.00156, 81.5}</string>
418 <string>{288.00723, 116.5}</string>
419 </array>
420 <key>Style</key>
421 <dict>
422 <key>stroke</key>
423 <dict>
424 <key>HeadArrow</key>
425 <string>FilledArrow</string>
426 <key>LineType</key>
427 <integer>1</integer>
428 <key>TailArrow</key>
429 <string>0</string>
430 <key>Width</key>
431 <real>0.5</real>
432 </dict>
433 </dict>
434 <key>Tail</key>
435 <dict>
436 <key>ID</key>
437 <integer>80</integer>
438 </dict>
439 </dict>
440 <dict>
441 <key>Class</key>
442 <string>LineGraphic</string>
443 <key>Head</key>
444 <dict>
445 <key>ID</key>
446 <integer>13</integer>
447 </dict>
448 <key>ID</key>
449 <integer>91</integer>
450 <key>Points</key>
451 <array>
452 <string>{243.00041, 234.5}</string>
453 <string>{243.00237, 278.5}</string>
454 </array>
455 <key>Style</key>
456 <dict>
457 <key>stroke</key>
458 <dict>
459 <key>HeadArrow</key>
460 <string>FilledArrow</string>
461 <key>LineType</key>
462 <integer>1</integer>
463 <key>TailArrow</key>
464 <string>0</string>
465 <key>Width</key>
466 <real>0.5</real>
467 </dict>
468 </dict>
469 <key>Tail</key>
470 <dict>
471 <key>ID</key>
472 <integer>6</integer>
473 </dict>
474 </dict>
475 <dict>
476 <key>Class</key>
477 <string>LineGraphic</string>
478 <key>Head</key>
479 <dict>
480 <key>ID</key>
481 <integer>88</integer>
482 </dict>
483 <key>ID</key>
484 <integer>90</integer>
485 <key>Points</key>
486 <array>
487 <string>{243.0002, 567.5}</string>
488 <string>{243.00092, 602.5}</string>
489 </array>
490 <key>Style</key>
491 <dict>
492 <key>stroke</key>
493 <dict>
494 <key>HeadArrow</key>
495 <string>FilledArrow</string>
496 <key>LineType</key>
497 <integer>1</integer>
498 <key>TailArrow</key>
499 <string>0</string>
500 <key>Width</key>
501 <real>0.5</real>
502 </dict>
503 </dict>
504 <key>Tail</key>
505 <dict>
506 <key>ID</key>
507 <integer>16</integer>
508 </dict>
509 </dict>
510 <dict>
511 <key>Class</key>
512 <string>LineGraphic</string>
513 <key>Head</key>
514 <dict>
515 <key>ID</key>
516 <integer>87</integer>
517 </dict>
518 <key>ID</key>
519 <integer>89</integer>
520 <key>Points</key>
521 <array>
522 <string>{227.5714, 567.25726}</string>
523 <string>{168.42953, 602.74274}</string>
524 </array>
525 <key>Style</key>
526 <dict>
527 <key>stroke</key>
528 <dict>
529 <key>HeadArrow</key>
530 <string>FilledArrow</string>
531 <key>LineType</key>
532 <integer>1</integer>
533 <key>TailArrow</key>
534 <string>0</string>
535 <key>Width</key>
536 <real>0.5</real>
537 </dict>
538 </dict>
539 <key>Tail</key>
540 <dict>
541 <key>ID</key>
542 <integer>16</integer>
543 </dict>
544 </dict>
545 <dict>
546 <key>Bounds</key>
547 <string>{{207, 603}, {72, 18}}</string>
548 <key>Class</key>
549 <string>ShapedGraphic</string>
550 <key>ID</key>
551 <integer>88</integer>
552 <key>Shape</key>
553 <string>Rectangle</string>
554 <key>Style</key>
555 <dict>
556 <key>shadow</key>
557 <dict>
558 <key>Draws</key>
559 <string>NO</string>
560 </dict>
561 <key>stroke</key>
562 <dict>
563 <key>CornerRadius</key>
564 <real>9</real>
565 </dict>
566 </dict>
567 <key>Text</key>
568 <dict>
569 <key>Text</key>
570 <string>{\rtf1\ansi\ansicpg1252\cocoartf1265\cocoasubrtf190
571\cocoascreenfonts1{\fonttbl\f0\fswiss\fcharset0 Helvetica;}
572{\colortbl;\red255\green255\blue255;}
573\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc
574
575\f0\fs24 \cf0 config}</string>
576 </dict>
577 </dict>
578 <dict>
579 <key>Bounds</key>
580 <string>{{117.00001, 603}, {72, 18}}</string>
581 <key>Class</key>
582 <string>ShapedGraphic</string>
583 <key>ID</key>
584 <integer>87</integer>
585 <key>Shape</key>
586 <string>Rectangle</string>
587 <key>Style</key>
588 <dict>
589 <key>shadow</key>
590 <dict>
591 <key>Draws</key>
592 <string>NO</string>
593 </dict>
594 <key>stroke</key>
595 <dict>
596 <key>CornerRadius</key>
597 <real>9</real>
598 </dict>
599 </dict>
600 <key>Text</key>
601 <dict>
602 <key>Text</key>
603 <string>{\rtf1\ansi\ansicpg1252\cocoartf1265\cocoasubrtf190
604\cocoascreenfonts1{\fonttbl\f0\fswiss\fcharset0 Helvetica;}
605{\colortbl;\red255\green255\blue255;}
606\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc
607
608\f0\fs24 \cf0 util}</string>
609 </dict>
610 </dict>
611 <dict>
612 <key>Class</key>
613 <string>LineGraphic</string>
614 <key>Head</key>
615 <dict>
616 <key>ID</key>
617 <integer>13</integer>
618 </dict>
619 <key>ID</key>
620 <integer>85</integer>
621 <key>Points</key>
622 <array>
623 <string>{163.37398, 216.33446}</string>
624 <string>{232.64607, 278.66519}</string>
625 </array>
626 <key>Style</key>
627 <dict>
628 <key>stroke</key>
629 <dict>
630 <key>HeadArrow</key>
631 <string>FilledArrow</string>
632 <key>LineType</key>
633 <integer>1</integer>
634 <key>TailArrow</key>
635 <string>0</string>
636 <key>Width</key>
637 <real>0.5</real>
638 </dict>
639 </dict>
640 <key>Tail</key>
641 <dict>
642 <key>ID</key>
643 <integer>93</integer>
644 </dict>
645 </dict>
646 <dict>
647 <key>Bounds</key>
648 <string>{{251.99998, 63}, {72, 18}}</string>
649 <key>Class</key>
650 <string>ShapedGraphic</string>
651 <key>ID</key>
652 <integer>80</integer>
653 <key>Shape</key>
654 <string>Rectangle</string>
655 <key>Style</key>
656 <dict>
657 <key>shadow</key>
658 <dict>
659 <key>Draws</key>
660 <string>NO</string>
661 </dict>
662 <key>stroke</key>
663 <dict>
664 <key>CornerRadius</key>
665 <real>9</real>
666 </dict>
667 </dict>
668 <key>Text</key>
669 <dict>
670 <key>Text</key>
671 <string>{\rtf1\ansi\ansicpg1252\cocoartf1265\cocoasubrtf190
672\cocoascreenfonts1{\fonttbl\f0\fswiss\fcharset0 Helvetica;}
673{\colortbl;\red255\green255\blue255;}
674\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc
675
676\f0\fs24 \cf0 library}</string>
677 </dict>
678 </dict>
679 <dict>
680 <key>Class</key>
681 <string>LineGraphic</string>
682 <key>Head</key>
683 <dict>
684 <key>ID</key>
685 <integer>22</integer>
686 </dict>
687 <key>ID</key>
688 <integer>76</integer>
689 <key>Points</key>
690 <array>
691 <string>{333.07306, 621.5}</string>
692 <string>{333.34216, 656.50031}</string>
693 </array>
694 <key>Style</key>
695 <dict>
696 <key>stroke</key>
697 <dict>
698 <key>HeadArrow</key>
699 <string>FilledArrow</string>
700 <key>LineType</key>
701 <integer>1</integer>
702 <key>Pattern</key>
703 <integer>1</integer>
704 <key>TailArrow</key>
705 <string>0</string>
706 <key>Width</key>
707 <real>0.5</real>
708 </dict>
709 </dict>
710 <key>Tail</key>
711 <dict>
712 <key>ID</key>
713 <integer>23</integer>
714 </dict>
715 </dict>
716 <dict>
717 <key>Bounds</key>
718 <string>{{207, 391}, {72, 18}}</string>
719 <key>Class</key>
720 <string>ShapedGraphic</string>
721 <key>ID</key>
722 <integer>73</integer>
723 <key>Shape</key>
724 <string>Rectangle</string>
725 <key>Style</key>
726 <dict>
727 <key>shadow</key>
728 <dict>
729 <key>Draws</key>
730 <string>NO</string>
731 </dict>
732 <key>stroke</key>
733 <dict>
734 <key>CornerRadius</key>
735 <real>9</real>
736 </dict>
737 </dict>
738 <key>Text</key>
739 <dict>
740 <key>Text</key>
741 <string>{\rtf1\ansi\ansicpg1252\cocoartf1265\cocoasubrtf190
742\cocoascreenfonts1{\fonttbl\f0\fswiss\fcharset0 Helvetica;}
743{\colortbl;\red255\green255\blue255;}
744\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc
745
746\f0\fs24 \cf0 dynamic}</string>
747 </dict>
748 </dict>
749 <dict>
750 <key>Class</key>
751 <string>LineGraphic</string>
752 <key>Head</key>
753 <dict>
754 <key>ID</key>
755 <integer>68</integer>
756 </dict>
757 <key>ID</key>
758 <integer>69</integer>
759 <key>Points</key>
760 <array>
761 <string>{243.00075, 621.5}</string>
762 <string>{243.00349, 656.5}</string>
763 </array>
764 <key>Style</key>
765 <dict>
766 <key>stroke</key>
767 <dict>
768 <key>HeadArrow</key>
769 <string>FilledArrow</string>
770 <key>LineType</key>
771 <integer>1</integer>
772 <key>Pattern</key>
773 <integer>1</integer>
774 <key>TailArrow</key>
775 <string>0</string>
776 <key>Width</key>
777 <real>0.5</real>
778 </dict>
779 </dict>
780 <key>Tail</key>
781 <dict>
782 <key>ID</key>
783 <integer>88</integer>
784 </dict>
785 </dict>
786 <dict>
787 <key>Bounds</key>
788 <string>{{207, 657}, {72, 18}}</string>
789 <key>Class</key>
790 <string>ShapedGraphic</string>
791 <key>ID</key>
792 <integer>68</integer>
793 <key>Shape</key>
794 <string>Rectangle</string>
795 <key>Style</key>
796 <dict>
797 <key>shadow</key>
798 <dict>
799 <key>Draws</key>
800 <string>NO</string>
801 </dict>
802 <key>stroke</key>
803 <dict>
804 <key>CornerRadius</key>
805 <real>9</real>
806 </dict>
807 </dict>
808 <key>Text</key>
809 <dict>
810 <key>Text</key>
811 <string>{\rtf1\ansi\ansicpg1252\cocoartf1265\cocoasubrtf190
812\cocoascreenfonts1{\fonttbl\f0\fswiss\fcharset0 Helvetica;}
813{\colortbl;\red255\green255\blue255;}
814\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc
815
816\f0\fs24 \cf0 GMC}</string>
817 </dict>
818 </dict>
819 <dict>
820 <key>Class</key>
821 <string>LineGraphic</string>
822 <key>Head</key>
823 <dict>
824 <key>ID</key>
825 <integer>23</integer>
826 </dict>
827 <key>ID</key>
828 <integer>66</integer>
829 <key>Points</key>
830 <array>
831 <string>{258.42892, 567.25726}</string>
832 <string>{317.57208, 602.74274}</string>
833 </array>
834 <key>Style</key>
835 <dict>
836 <key>stroke</key>
837 <dict>
838 <key>HeadArrow</key>
839 <string>FilledArrow</string>
840 <key>LineType</key>
841 <integer>1</integer>
842 <key>Pattern</key>
843 <integer>1</integer>
844 <key>TailArrow</key>
845 <string>0</string>
846 <key>Width</key>
847 <real>0.5</real>
848 </dict>
849 </dict>
850 <key>Tail</key>
851 <dict>
852 <key>ID</key>
853 <integer>16</integer>
854 </dict>
855 </dict>
856 <dict>
857 <key>Class</key>
858 <string>LineGraphic</string>
859 <key>Head</key>
860 <dict>
861 <key>ID</key>
862 <integer>16</integer>
863 </dict>
864 <key>ID</key>
865 <integer>53</integer>
866 <key>Points</key>
867 <array>
868 <string>{243.00114, 513.5}</string>
869 <string>{243.00534, 548.5}</string>
870 </array>
871 <key>Style</key>
872 <dict>
873 <key>stroke</key>
874 <dict>
875 <key>HeadArrow</key>
876 <string>FilledArrow</string>
877 <key>LineType</key>
878 <integer>1</integer>
879 <key>TailArrow</key>
880 <string>0</string>
881 <key>Width</key>
882 <real>0.5</real>
883 </dict>
884 </dict>
885 <key>Tail</key>
886 <dict>
887 <key>ID</key>
888 <integer>14</integer>
889 </dict>
890 </dict>
891 <dict>
892 <key>Class</key>
893 <string>LineGraphic</string>
894 <key>Head</key>
895 <dict>
896 <key>ID</key>
897 <integer>15</integer>
898 </dict>
899 <key>ID</key>
900 <integer>48</integer>
901 <key>Points</key>
902 <array>
903 <string>{243.00133, 297.5}</string>
904 <string>{243.0062, 332.5}</string>
905 </array>
906 <key>Style</key>
907 <dict>
908 <key>stroke</key>
909 <dict>
910 <key>HeadArrow</key>
911 <string>FilledArrow</string>
912 <key>LineType</key>
913 <integer>1</integer>
914 <key>TailArrow</key>
915 <string>0</string>
916 <key>Width</key>
917 <real>0.5</real>
918 </dict>
919 </dict>
920 <key>Tail</key>
921 <dict>
922 <key>ID</key>
923 <integer>13</integer>
924 </dict>
925 </dict>
926 <dict>
927 <key>Bounds</key>
928 <string>{{297, 603}, {72, 18}}</string>
929 <key>Class</key>
930 <string>ShapedGraphic</string>
931 <key>ID</key>
932 <integer>23</integer>
933 <key>Shape</key>
934 <string>Rectangle</string>
935 <key>Style</key>
936 <dict>
937 <key>shadow</key>
938 <dict>
939 <key>Draws</key>
940 <string>NO</string>
941 </dict>
942 <key>stroke</key>
943 <dict>
944 <key>CornerRadius</key>
945 <real>9</real>
946 </dict>
947 </dict>
948 <key>Text</key>
949 <dict>
950 <key>Text</key>
951 <string>{\rtf1\ansi\ansicpg1252\cocoartf1265\cocoasubrtf190
952\cocoascreenfonts1{\fonttbl\f0\fswiss\fcharset0 Helvetica;}
953{\colortbl;\red255\green255\blue255;}
954\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc
955
956\f0\fs24 \cf0 ABC}</string>
957 </dict>
958 </dict>
959 <dict>
960 <key>Bounds</key>
961 <string>{{297, 657}, {72, 18}}</string>
962 <key>Class</key>
963 <string>ShapedGraphic</string>
964 <key>ID</key>
965 <integer>22</integer>
966 <key>Shape</key>
967 <string>Rectangle</string>
968 <key>Style</key>
969 <dict>
970 <key>shadow</key>
971 <dict>
972 <key>Draws</key>
973 <string>NO</string>
974 </dict>
975 <key>stroke</key>
976 <dict>
977 <key>CornerRadius</key>
978 <real>9</real>
979 </dict>
980 </dict>
981 <key>Text</key>
982 <dict>
983 <key>Text</key>
984 <string>{\rtf1\ansi\ansicpg1252\cocoartf1265\cocoasubrtf190
985\cocoascreenfonts1{\fonttbl\f0\fswiss\fcharset0 Helvetica;}
986{\colortbl;\red255\green255\blue255;}
987\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc
988
989\f0\fs24 \cf0 SARL}</string>
990 </dict>
991 </dict>
992 <dict>
993 <key>Bounds</key>
994 <string>{{207, 549}, {72, 18}}</string>
995 <key>Class</key>
996 <string>ShapedGraphic</string>
997 <key>ID</key>
998 <integer>16</integer>
999 <key>Shape</key>
1000 <string>Rectangle</string>
1001 <key>Style</key>
1002 <dict>
1003 <key>shadow</key>
1004 <dict>
1005 <key>Draws</key>
1006 <string>NO</string>
1007 </dict>
1008 <key>stroke</key>
1009 <dict>
1010 <key>CornerRadius</key>
1011 <real>9</real>
1012 </dict>
1013 </dict>
1014 <key>Text</key>
1015 <dict>
1016 <key>Text</key>
1017 <string>{\rtf1\ansi\ansicpg1252\cocoartf1265\cocoasubrtf190
1018\cocoascreenfonts1{\fonttbl\f0\fswiss\fcharset0 Helvetica;}
1019{\colortbl;\red255\green255\blue255;}
1020\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc
1021
1022\f0\fs24 \cf0 model}</string>
1023 </dict>
1024 </dict>
1025 <dict>
1026 <key>Bounds</key>
1027 <string>{{207, 333}, {72, 18}}</string>
1028 <key>Class</key>
1029 <string>ShapedGraphic</string>
1030 <key>ID</key>
1031 <integer>15</integer>
1032 <key>Shape</key>
1033 <string>Rectangle</string>
1034 <key>Style</key>
1035 <dict>
1036 <key>shadow</key>
1037 <dict>
1038 <key>Draws</key>
1039 <string>NO</string>
1040 </dict>
1041 <key>stroke</key>
1042 <dict>
1043 <key>CornerRadius</key>
1044 <real>9</real>
1045 </dict>
1046 </dict>
1047 <key>Text</key>
1048 <dict>
1049 <key>Text</key>
1050 <string>{\rtf1\ansi\ansicpg1252\cocoartf1265\cocoasubrtf190
1051\cocoascreenfonts1{\fonttbl\f0\fswiss\fcharset0 Helvetica;}
1052{\colortbl;\red255\green255\blue255;}
1053\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc
1054
1055\f0\fs24 \cf0 semantics}</string>
1056 </dict>
1057 </dict>
1058 <dict>
1059 <key>Bounds</key>
1060 <string>{{207, 495}, {72, 18}}</string>
1061 <key>Class</key>
1062 <string>ShapedGraphic</string>
1063 <key>ID</key>
1064 <integer>14</integer>
1065 <key>Shape</key>
1066 <string>Rectangle</string>
1067 <key>Style</key>
1068 <dict>
1069 <key>shadow</key>
1070 <dict>
1071 <key>Draws</key>
1072 <string>NO</string>
1073 </dict>
1074 <key>stroke</key>
1075 <dict>
1076 <key>CornerRadius</key>
1077 <real>9</real>
1078 </dict>
1079 </dict>
1080 <key>Text</key>
1081 <dict>
1082 <key>Text</key>
1083 <string>{\rtf1\ansi\ansicpg1252\cocoartf1265\cocoasubrtf190
1084\cocoascreenfonts1{\fonttbl\f0\fswiss\fcharset0 Helvetica;}
1085{\colortbl;\red255\green255\blue255;}
1086\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc
1087
1088\f0\fs24 \cf0 state}</string>
1089 </dict>
1090 </dict>
1091 <dict>
1092 <key>Bounds</key>
1093 <string>{{207, 279}, {72, 18}}</string>
1094 <key>Class</key>
1095 <string>ShapedGraphic</string>
1096 <key>ID</key>
1097 <integer>13</integer>
1098 <key>Shape</key>
1099 <string>Rectangle</string>
1100 <key>Style</key>
1101 <dict>
1102 <key>shadow</key>
1103 <dict>
1104 <key>Draws</key>
1105 <string>NO</string>
1106 </dict>
1107 <key>stroke</key>
1108 <dict>
1109 <key>CornerRadius</key>
1110 <real>9</real>
1111 </dict>
1112 </dict>
1113 <key>Text</key>
1114 <dict>
1115 <key>Text</key>
1116 <string>{\rtf1\ansi\ansicpg1252\cocoartf1265\cocoasubrtf190
1117\cocoascreenfonts1{\fonttbl\f0\fswiss\fcharset0 Helvetica;}
1118{\colortbl;\red255\green255\blue255;}
1119\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc
1120
1121\f0\fs24 \cf0 kripke}</string>
1122 </dict>
1123 </dict>
1124 <dict>
1125 <key>Bounds</key>
1126 <string>{{251.99998, 117}, {72, 18}}</string>
1127 <key>Class</key>
1128 <string>ShapedGraphic</string>
1129 <key>ID</key>
1130 <integer>12</integer>
1131 <key>Shape</key>
1132 <string>Rectangle</string>
1133 <key>Style</key>
1134 <dict>
1135 <key>shadow</key>
1136 <dict>
1137 <key>Draws</key>
1138 <string>NO</string>
1139 </dict>
1140 <key>stroke</key>
1141 <dict>
1142 <key>CornerRadius</key>
1143 <real>9</real>
1144 </dict>
1145 </dict>
1146 <key>Text</key>
1147 <dict>
1148 <key>Text</key>
1149 <string>{\rtf1\ansi\ansicpg1252\cocoartf1265\cocoasubrtf190
1150\cocoascreenfonts1{\fonttbl\f0\fswiss\fcharset0 Helvetica;}
1151{\colortbl;\red255\green255\blue255;}
1152\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc
1153
1154\f0\fs24 \cf0 run}</string>
1155 </dict>
1156 </dict>
1157 <dict>
1158 <key>Bounds</key>
1159 <string>{{207, 216}, {72, 18}}</string>
1160 <key>Class</key>
1161 <string>ShapedGraphic</string>
1162 <key>ID</key>
1163 <integer>6</integer>
1164 <key>Shape</key>
1165 <string>Rectangle</string>
1166 <key>Style</key>
1167 <dict>
1168 <key>shadow</key>
1169 <dict>
1170 <key>Draws</key>
1171 <string>NO</string>
1172 </dict>
1173 <key>stroke</key>
1174 <dict>
1175 <key>CornerRadius</key>
1176 <real>9</real>
1177 </dict>
1178 </dict>
1179 <key>Text</key>
1180 <dict>
1181 <key>Text</key>
1182 <string>{\rtf1\ansi\ansicpg1252\cocoartf1265\cocoasubrtf190
1183\cocoascreenfonts1{\fonttbl\f0\fswiss\fcharset0 Helvetica;}
1184{\colortbl;\red255\green255\blue255;}
1185\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc
1186
1187\f0\fs24 \cf0 predicate}</string>
1188 </dict>
1189 </dict>
1190 </array>
1191 <key>GridInfo</key>
1192 <dict>
1193 <key>ShowsGrid</key>
1194 <string>YES</string>
1195 <key>SnapsToGrid</key>
1196 <string>YES</string>
1197 </dict>
1198 <key>GuidesLocked</key>
1199 <string>NO</string>
1200 <key>GuidesVisible</key>
1201 <string>YES</string>
1202 <key>HPages</key>
1203 <integer>1</integer>
1204 <key>ImageCounter</key>
1205 <integer>1</integer>
1206 <key>KeepToScale</key>
1207 <false/>
1208 <key>Layers</key>
1209 <array>
1210 <dict>
1211 <key>Lock</key>
1212 <string>NO</string>
1213 <key>Name</key>
1214 <string>Layer 1</string>
1215 <key>Print</key>
1216 <string>YES</string>
1217 <key>View</key>
1218 <string>YES</string>
1219 </dict>
1220 </array>
1221 <key>LayoutInfo</key>
1222 <dict>
1223 <key>Animate</key>
1224 <string>NO</string>
1225 <key>RankInfo</key>
1226 <dict>
1227 <key>Same</key>
1228 <array>
1229 <array>
1230 <integer>22</integer>
1231 <integer>23</integer>
1232 </array>
1233 </array>
1234 </dict>
1235 <key>circoMinDist</key>
1236 <real>18</real>
1237 <key>circoSeparation</key>
1238 <real>0.0</real>
1239 <key>layoutEngine</key>
1240 <string>dot</string>
1241 <key>neatoSeparation</key>
1242 <real>0.0</real>
1243 <key>twopiSeparation</key>
1244 <real>0.0</real>
1245 </dict>
1246 <key>LinksVisible</key>
1247 <string>NO</string>
1248 <key>MagnetsVisible</key>
1249 <string>NO</string>
1250 <key>MasterSheets</key>
1251 <array/>
1252 <key>ModificationDate</key>
1253 <string>2014-05-22 18:48:39 +0000</string>
1254 <key>Modifier</key>
1255 <string>Manchun Zheng</string>
1256 <key>NotesVisible</key>
1257 <string>NO</string>
1258 <key>Orientation</key>
1259 <integer>2</integer>
1260 <key>OriginVisible</key>
1261 <string>NO</string>
1262 <key>PageBreaks</key>
1263 <string>YES</string>
1264 <key>PrintInfo</key>
1265 <dict>
1266 <key>NSBottomMargin</key>
1267 <array>
1268 <string>float</string>
1269 <string>41</string>
1270 </array>
1271 <key>NSHorizonalPagination</key>
1272 <array>
1273 <string>int</string>
1274 <string>0</string>
1275 </array>
1276 <key>NSLeftMargin</key>
1277 <array>
1278 <string>float</string>
1279 <string>18</string>
1280 </array>
1281 <key>NSPaperSize</key>
1282 <array>
1283 <string>coded</string>
1284 <string>BAtzdHJlYW10eXBlZIHoA4QBQISEhAdOU1ZhbHVlAISECE5TT2JqZWN0AIWEASqEhAx7X05TU2l6ZT1mZn2WgWQCgRgDhg==</string>
1285 </array>
1286 <key>NSPrintReverseOrientation</key>
1287 <array>
1288 <string>int</string>
1289 <string>0</string>
1290 </array>
1291 <key>NSRightMargin</key>
1292 <array>
1293 <string>float</string>
1294 <string>18</string>
1295 </array>
1296 <key>NSTopMargin</key>
1297 <array>
1298 <string>float</string>
1299 <string>18</string>
1300 </array>
1301 </dict>
1302 <key>PrintOnePage</key>
1303 <false/>
1304 <key>ReadOnly</key>
1305 <string>NO</string>
1306 <key>RowAlign</key>
1307 <integer>1</integer>
1308 <key>RowSpacing</key>
1309 <real>36</real>
1310 <key>SheetTitle</key>
1311 <string>Canvas 1</string>
1312 <key>SmartAlignmentGuidesActive</key>
1313 <string>YES</string>
1314 <key>SmartDistanceGuidesActive</key>
1315 <string>YES</string>
1316 <key>UniqueID</key>
1317 <integer>1</integer>
1318 <key>UseEntirePage</key>
1319 <false/>
1320 <key>VPages</key>
1321 <integer>1</integer>
1322 <key>WindowInfo</key>
1323 <dict>
1324 <key>CurrentSheet</key>
1325 <integer>0</integer>
1326 <key>ExpandedCanvases</key>
1327 <array>
1328 <dict>
1329 <key>name</key>
1330 <string>Canvas 1</string>
1331 </dict>
1332 </array>
1333 <key>Frame</key>
1334 <string>{{-457, 88}, {1574, 1330}}</string>
1335 <key>ListView</key>
1336 <true/>
1337 <key>OutlineWidth</key>
1338 <integer>142</integer>
1339 <key>RightSidebar</key>
1340 <false/>
1341 <key>ShowRuler</key>
1342 <true/>
1343 <key>Sidebar</key>
1344 <true/>
1345 <key>SidebarWidth</key>
1346 <integer>120</integer>
1347 <key>VisibleRegion</key>
1348 <string>{{-68, 50}, {712.5, 587.5}}</string>
1349 <key>Zoom</key>
1350 <real>2</real>
1351 <key>ZoomValues</key>
1352 <array>
1353 <array>
1354 <string>Canvas 1</string>
1355 <real>2</real>
1356 <real>2.5</real>
1357 </array>
1358 </array>
1359 </dict>
1360 <key>saveQuickLookFiles</key>
1361 <string>YES</string>
1362</dict>
1363</plist>
Note: See TracBrowser for help on using the repository browser.