repos / INblobs / headblob
summary | shortlog | log | tree | annotate | headblob | filehistory
plain
/ examples /
examples/add from Calculus for interacction nets.INblobs
1 <Document
2 ><Network Width="15.0" Height="9.0"
3 ><Info
4 ><unit/></Info
5 ><Nodes
6 ><Node id="N1"
7 ><Position X="3.4131250000000004" Y="1.6933333333333336"
8 /><Name
9 ><![CDATA[Node 1]]></Name
10 ><LabelAbove
11 >True</LabelAbove
12 ><Shape
13 ><![CDATA[Add]]></Shape
14 ><Info
15 ><list-int/></Info></Node
16 ><Node id="N2"
17 ><Position X="2.3018750000000003" Y="3.65125"
18 /><Name
19 ><![CDATA[Node 2]]></Name
20 ><LabelAbove
21 >True</LabelAbove
22 ><Shape
23 ><![CDATA[S]]></Shape
24 ><Info
25 ><list-int/></Info></Node
26 ><Node id="N3"
27 ><Position X="2.328333333333333" Y="5.767916666666668"
28 /><Name
29 ><![CDATA[Node 3]]></Name
30 ><LabelAbove
31 >True</LabelAbove
32 ><Shape
33 ><![CDATA[Z]]></Shape
34 ><Info
35 ><list-int/></Info></Node
36 ><Node id="N4"
37 ><Position X="5.185833333333334" Y="3.466041666666667"
38 /><Name
39 ><![CDATA[Node 4]]></Name
40 ><LabelAbove
41 >True</LabelAbove
42 ><Shape
43 ><![CDATA[Z]]></Shape
44 ><Info
45 ><list-int/></Info></Node
46 ><Node id="N5"
47 ><Position X="1.9579166666666667" Y="0.4233333333333334"
48 /><Name
49 ><![CDATA[Node 5]]></Name
50 ><LabelAbove
51 >True</LabelAbove
52 ><Shape
53 ><![CDATA[interface]]></Shape
54 ><Info
55 ><list-int/></Info></Node></Nodes
56 ><Edges
57 ><Edge id="E1"
58 ><From
59 >1</From
60 ><PortFrom
61 ><![CDATA[down]]></PortFrom
62 ><To
63 >2</To
64 ><PortTo
65 ><![CDATA[up]]></PortTo
66 ><Via
67 /><Info
68 ><list-int/></Info></Edge
69 ><Edge id="E2"
70 ><From
71 >5</From
72 ><PortFrom
73 ><![CDATA[interface]]></PortFrom
74 ><To
75 >1</To
76 ><PortTo
77 ><![CDATA[left]]></PortTo
78 ><Via
79 /><Info
80 ><list-int/></Info></Edge
81 ><Edge id="E3"
82 ><From
83 >1</From
84 ><PortFrom
85 ><![CDATA[right]]></PortFrom
86 ><To
87 >4</To
88 ><PortTo
89 ><![CDATA[up]]></PortTo
90 ><Via
91 /><Info
92 ><list-int/></Info></Edge
93 ><Edge id="E4"
94 ><From
95 >2</From
96 ><PortFrom
97 ><![CDATA[down]]></PortFrom
98 ><To
99 >3</To
100 ><PortTo
101 ><![CDATA[up]]></PortTo
102 ><Via
103 /><Info
104 ><list-int/></Info></Edge></Edges></Network
105 ><Palette
106 ><Symbol
107 ><ShapeName
108 ><![CDATA[interface]]></ShapeName
109 ><Shape
110 ><Circle
111 ><ShapeStyle
112 ><int value="2"
113 /><RGB R="255" G="255" B="255"
114 /><RGB R="255" G="255" B="255"/></ShapeStyle
115 ><double value="0.25"/></Circle></Shape
116 ><Ports
117 ><Principals
118 ><Port
119 ><string
120 ><![CDATA[interface]]></string
121 ><Position X="0.0" Y="0.25"/></Port></Principals
122 ><Auxiliaries/></Ports
123 ><Info
124 ><maybe-list-int
125 ><list-int/></maybe-list-int></Info></Symbol
126 ><Symbol
127 ><ShapeName
128 ><![CDATA[Add]]></ShapeName
129 ><Shape
130 ><Composite
131 ><list-Shape
132 ><Circle
133 ><ShapeStyle
134 ><int value="2"
135 /><RGB R="250" G="0" B="0"
136 /><RGB R="255" G="255" B="255"/></ShapeStyle
137 ><double value="0.5"/></Circle
138 ><Lines
139 ><ShapeStyle
140 ><int value="2"
141 /><RGB R="250" G="0" B="0"
142 /><RGB R="128" G="128" B="128"/></ShapeStyle
143 ><list-DoublePoint
144 ><Position X="-0.25" Y="0.25"
145 /><Position X="0.0" Y="-0.35"
146 /><Position X="0.25" Y="0.25"/></list-DoublePoint></Lines
147 ><Lines
148 ><ShapeStyle
149 ><int value="2"
150 /><RGB R="250" G="0" B="0"
151 /><RGB R="128" G="128" B="128"/></ShapeStyle
152 ><list-DoublePoint
153 ><Position X="-0.2" Y="0.1"
154 /><Position X="0.2"
155 Y="0.1"/></list-DoublePoint></Lines></list-Shape></Composite></Shape
156 ><Ports
157 ><Principals
158 ><Port
159 ><string
160 ><![CDATA[down]]></string
161 ><Position X="0.0" Y="0.5"/></Port></Principals
162 ><Auxiliaries
163 ><Port
164 ><string
165 ><![CDATA[left]]></string
166 ><Position X="-0.5" Y="0.0"/></Port
167 ><Port
168 ><string
169 ><![CDATA[right]]></string
170 ><Position X="0.5" Y="0.0"/></Port></Auxiliaries></Ports
171 ><Info
172 ><maybe-list-int
173 ><list-int/></maybe-list-int></Info></Symbol
174 ><Symbol
175 ><ShapeName
176 ><![CDATA[Z]]></ShapeName
177 ><Shape
178 ><Composite
179 ><list-Shape
180 ><Circle
181 ><ShapeStyle
182 ><int value="2"
183 /><RGB R="250" G="0" B="0"
184 /><RGB R="255" G="255" B="255"/></ShapeStyle
185 ><double value="0.5"/></Circle
186 ><Lines
187 ><ShapeStyle
188 ><int value="2"
189 /><RGB R="250" G="0" B="0"
190 /><RGB R="128" G="128" B="128"/></ShapeStyle
191 ><list-DoublePoint
192 ><Position X="-0.25" Y="-0.25"
193 /><Position X="0.25" Y="-0.25"
194 /><Position X="-0.25" Y="0.25"
195 /><Position X="0.25" Y="0.25"/></list-DoublePoint></Lines
196 ><Lines
197 ><ShapeStyle
198 ><int value="2"
199 /><RGB R="250" G="0" B="0"
200 /><RGB R="128" G="128" B="128"/></ShapeStyle
201 ><list-DoublePoint
202 ><Position X="-0.15" Y="0.0"
203 /><Position X="0.15"
204 Y="0.0"/></list-DoublePoint></Lines></list-Shape></Composite></Shape
205 ><Ports
206 ><Principals
207 ><Port
208 ><string
209 ><![CDATA[up]]></string
210 ><Position X="0.0" Y="-0.5"/></Port></Principals
211 ><Auxiliaries/></Ports
212 ><Info
213 ><maybe-list-int
214 ><list-int/></maybe-list-int></Info></Symbol
215 ><Symbol
216 ><ShapeName
217 ><![CDATA[S]]></ShapeName
218 ><Shape
219 ><Composite
220 ><list-Shape
221 ><Circle
222 ><ShapeStyle
223 ><int value="2"
224 /><RGB R="250" G="0" B="0"
225 /><RGB R="255" G="255" B="255"/></ShapeStyle
226 ><double value="0.5"/></Circle
227 ><Lines
228 ><ShapeStyle
229 ><int value="2"
230 /><RGB R="250" G="0" B="0"
231 /><RGB R="128" G="128" B="128"/></ShapeStyle
232 ><list-DoublePoint
233 ><Position X="0.25" Y="-0.25"
234 /><Position X="-0.25" Y="-0.25"
235 /><Position X="-0.25" Y="0.0"
236 /><Position X="0.25" Y="0.0"
237 /><Position X="0.25" Y="0.25"
238 /><Position X="-0.25"
239 Y="0.25"/></list-DoublePoint></Lines></list-Shape></Composite></Shape
240 ><Ports
241 ><Principals
242 ><Port
243 ><string
244 ><![CDATA[up]]></string
245 ><Position X="0.0" Y="-0.5"/></Port></Principals
246 ><Auxiliaries
247 ><Port
248 ><string
249 ><![CDATA[down]]></string
250 ><Position X="0.0" Y="0.5"/></Port></Auxiliaries></Ports
251 ><Info
252 ><maybe-list-int
253 ><list-int/></maybe-list-int></Info></Symbol></Palette
254 ><Rules
255 ><INRule
256 ><Name
257 ><![CDATA[add of succ = succ of add]]></Name
258 ><LHS
259 ><Network Width="15.0" Height="9.0"
260 ><Info
261 ><unit/></Info
262 ><Nodes
263 ><Node id="N1"
264 ><Position X="1.6560416666666666" Y="1.8412499999999998"
265 /><Name
266 ><![CDATA[Node 1]]></Name
267 ><LabelAbove
268 >True</LabelAbove
269 ><Shape
270 ><![CDATA[Add]]></Shape
271 ><Info
272 ><list-int/></Info></Node
273 ><Node id="N2"
274 ><Position X="1.232708333333333" Y="3.6560416666666664"
275 /><Name
276 ><![CDATA[Node 2]]></Name
277 ><LabelAbove
278 >True</LabelAbove
279 ><Shape
280 ><![CDATA[S]]></Shape
281 ><Info
282 ><list-int/></Info></Node
283 ><Node id="N3"
284 ><Position X="0.5" Y="0.5"
285 /><Name
286 ><![CDATA[Node 3]]></Name
287 ><LabelAbove
288 >True</LabelAbove
289 ><Shape
290 ><![CDATA[interface]]></Shape
291 ><Info
292 ><list-int/></Info></Node
293 ><Node id="N4"
294 ><Position X="4.1987499999999995" Y="4.892083333333334"
295 /><Name
296 ><![CDATA[Node 4]]></Name
297 ><LabelAbove
298 >True</LabelAbove
299 ><Shape
300 ><![CDATA[interface]]></Shape
301 ><Info
302 ><list-int/></Info></Node
303 ><Node id="N5"
304 ><Position X="0.7645833333333334" Y="4.997291666666667"
305 /><Name
306 ><![CDATA[Node 5]]></Name
307 ><LabelAbove
308 >True</LabelAbove
309 ><Shape
310 ><![CDATA[interface]]></Shape
311 ><Info
312 ><list-int/></Info></Node></Nodes
313 ><Edges
314 ><Edge id="E1"
315 ><From
316 >1</From
317 ><PortFrom
318 ><![CDATA[down]]></PortFrom
319 ><To
320 >2</To
321 ><PortTo
322 ><![CDATA[up]]></PortTo
323 ><Via
324 /><Info
325 ><list-int/></Info></Edge
326 ><Edge id="E2"
327 ><From
328 >1</From
329 ><PortFrom
330 ><![CDATA[right]]></PortFrom
331 ><To
332 >4</To
333 ><PortTo
334 ><![CDATA[interface]]></PortTo
335 ><Via
336 /><Info
337 ><list-int/></Info></Edge
338 ><Edge id="E3"
339 ><From
340 >1</From
341 ><PortFrom
342 ><![CDATA[left]]></PortFrom
343 ><To
344 >3</To
345 ><PortTo
346 ><![CDATA[interface]]></PortTo
347 ><Via
348 /><Info
349 ><list-int/></Info></Edge
350 ><Edge id="E4"
351 ><From
352 >2</From
353 ><PortFrom
354 ><![CDATA[down]]></PortFrom
355 ><To
356 >5</To
357 ><PortTo
358 ><![CDATA[interface]]></PortTo
359 ><Via
360 /><Info
361 ><list-int/></Info></Edge></Edges></Network></LHS
362 ><RHS
363 ><Network Width="15.0" Height="9.0"
364 ><Info
365 ><unit/></Info
366 ><Nodes
367 ><Node id="N3"
368 ><Position X="0.5" Y="0.5"
369 /><Name
370 ><![CDATA[Node 3]]></Name
371 ><LabelAbove
372 >True</LabelAbove
373 ><Shape
374 ><![CDATA[interface]]></Shape
375 ><Info
376 ><list-int/></Info></Node
377 ><Node id="N4"
378 ><Position X="4.1987499999999995" Y="4.892083333333334"
379 /><Name
380 ><![CDATA[Node 4]]></Name
381 ><LabelAbove
382 >True</LabelAbove
383 ><Shape
384 ><![CDATA[interface]]></Shape
385 ><Info
386 ><list-int/></Info></Node
387 ><Node id="N5"
388 ><Position X="0.7645833333333334" Y="4.997291666666667"
389 /><Name
390 ><![CDATA[Node 5]]></Name
391 ><LabelAbove
392 >True</LabelAbove
393 ><Shape
394 ><![CDATA[interface]]></Shape
395 ><Info
396 ><list-int/></Info></Node
397 ><Node id="N6"
398 ><Position X="1.825625" Y="1.7462500000000003"
399 /><Name
400 ><![CDATA[Node 6]]></Name
401 ><LabelAbove
402 >True</LabelAbove
403 ><Shape
404 ><![CDATA[S]]></Shape
405 ><Info
406 ><list-int/></Info></Node
407 ><Node id="N7"
408 ><Position X="2.3283333333333336" Y="4.365625000000001"
409 /><Name
410 ><![CDATA[Node 7]]></Name
411 ><LabelAbove
412 >True</LabelAbove
413 ><Shape
414 ><![CDATA[Add]]></Shape
415 ><Info
416 ><list-int/></Info></Node></Nodes
417 ><Edges
418 ><Edge id="E1"
419 ><From
420 >7</From
421 ><PortFrom
422 ><![CDATA[left]]></PortFrom
423 ><To
424 >6</To
425 ><PortTo
426 ><![CDATA[down]]></PortTo
427 ><Via
428 /><Info
429 ><list-int/></Info></Edge
430 ><Edge id="E2"
431 ><From
432 >7</From
433 ><PortFrom
434 ><![CDATA[down]]></PortFrom
435 ><To
436 >5</To
437 ><PortTo
438 ><![CDATA[interface]]></PortTo
439 ><Via
440 /><Info
441 ><list-int/></Info></Edge
442 ><Edge id="E3"
443 ><From
444 >7</From
445 ><PortFrom
446 ><![CDATA[right]]></PortFrom
447 ><To
448 >4</To
449 ><PortTo
450 ><![CDATA[interface]]></PortTo
451 ><Via
452 /><Info
453 ><list-int/></Info></Edge
454 ><Edge id="E4"
455 ><From
456 >3</From
457 ><PortFrom
458 ><![CDATA[interface]]></PortFrom
459 ><To
460 >6</To
461 ><PortTo
462 ><![CDATA[up]]></PortTo
463 ><Via
464 /><Info
465 ><list-int/></Info></Edge></Edges></Network></RHS
466 ><Mapping
467 ><MappingElement lhs="3" rhs="3"
468 /><MappingElement lhs="4" rhs="4"
469 /><MappingElement lhs="5" rhs="5"/></Mapping></INRule
470 ><INRule
471 ><Name
472 ><![CDATA[add of zero]]></Name
473 ><LHS
474 ><Network Width="15.0" Height="9.0"
475 ><Info
476 ><unit/></Info
477 ><Nodes
478 ><Node id="N1"
479 ><Position X="2.0" Y="2.0"
480 /><Name
481 ><![CDATA[Node 1]]></Name
482 ><LabelAbove
483 >True</LabelAbove
484 ><Shape
485 ><![CDATA[Add]]></Shape
486 ><Info
487 ><list-int/></Info></Node
488 ><Node id="N2"
489 ><Position X="2.0" Y="4.0"
490 /><Name
491 ><![CDATA[Node 2]]></Name
492 ><LabelAbove
493 >True</LabelAbove
494 ><Shape
495 ><![CDATA[Z]]></Shape
496 ><Info
497 ><list-int/></Info></Node
498 ><Node id="N3"
499 ><Position X="0.3941666666666666" Y="0.5264583333333334"
500 /><Name
501 ><![CDATA[Node 3]]></Name
502 ><LabelAbove
503 >True</LabelAbove
504 ><Shape
505 ><![CDATA[interface]]></Shape
506 ><Info
507 ><list-int/></Info></Node
508 ><Node id="N4"
509 ><Position X="4.727916666666667" Y="4.177708333333334"
510 /><Name
511 ><![CDATA[Node 4]]></Name
512 ><LabelAbove
513 >True</LabelAbove
514 ><Shape
515 ><![CDATA[interface]]></Shape
516 ><Info
517 ><list-int/></Info></Node></Nodes
518 ><Edges
519 ><Edge id="E1"
520 ><From
521 >1</From
522 ><PortFrom
523 ><![CDATA[down]]></PortFrom
524 ><To
525 >2</To
526 ><PortTo
527 ><![CDATA[up]]></PortTo
528 ><Via
529 /><Info
530 ><list-int/></Info></Edge
531 ><Edge id="E2"
532 ><From
533 >1</From
534 ><PortFrom
535 ><![CDATA[right]]></PortFrom
536 ><To
537 >4</To
538 ><PortTo
539 ><![CDATA[interface]]></PortTo
540 ><Via
541 /><Info
542 ><list-int/></Info></Edge
543 ><Edge id="E3"
544 ><From
545 >1</From
546 ><PortFrom
547 ><![CDATA[left]]></PortFrom
548 ><To
549 >3</To
550 ><PortTo
551 ><![CDATA[interface]]></PortTo
552 ><Via
553 /><Info
554 ><list-int/></Info></Edge></Edges></Network></LHS
555 ><RHS
556 ><Network Width="15.0" Height="9.0"
557 ><Info
558 ><unit/></Info
559 ><Nodes
560 ><Node id="N3"
561 ><Position X="0.3941666666666666" Y="0.5264583333333334"
562 /><Name
563 ><![CDATA[Node 3]]></Name
564 ><LabelAbove
565 >True</LabelAbove
566 ><Shape
567 ><![CDATA[interface]]></Shape
568 ><Info
569 ><list-int/></Info></Node
570 ><Node id="N4"
571 ><Position X="4.727916666666667" Y="4.177708333333334"
572 /><Name
573 ><![CDATA[Node 4]]></Name
574 ><LabelAbove
575 >True</LabelAbove
576 ><Shape
577 ><![CDATA[interface]]></Shape
578 ><Info
579 ><list-int/></Info></Node></Nodes
580 ><Edges
581 ><Edge id="E1"
582 ><From
583 >3</From
584 ><PortFrom
585 ><![CDATA[interface]]></PortFrom
586 ><To
587 >4</To
588 ><PortTo
589 ><![CDATA[interface]]></PortTo
590 ><Via
591 /><Info
592 ><list-int/></Info></Edge></Edges></Network></RHS
593 ><Mapping
594 ><MappingElement lhs="3" rhs="3"
595 /><MappingElement lhs="4"
596 rhs="4"/></Mapping></INRule></Rules></Document>
Crece desde el pueblo el futuro / crece desde el pie