aboutsummaryrefslogtreecommitdiffstats
path: root/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/outputs/fam/models/1.gml
diff options
context:
space:
mode:
Diffstat (limited to 'Tests/ca.mcgill.ecse.dslreasoner.standalone.test/outputs/fam/models/1.gml')
-rw-r--r--Tests/ca.mcgill.ecse.dslreasoner.standalone.test/outputs/fam/models/1.gml3429
1 files changed, 3429 insertions, 0 deletions
diff --git a/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/outputs/fam/models/1.gml b/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/outputs/fam/models/1.gml
index b0a86a61..a40633d7 100644
--- a/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/outputs/fam/models/1.gml
+++ b/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/outputs/fam/models/1.gml
@@ -11696,3 +11696,3432 @@ graph
11696 ] 11696 ]
11697 ] 11697 ]
11698] 11698]
11699graph
11700[
11701 node
11702 [
11703 id 0
11704 graphics
11705 [
11706 w 226.60000000000002
11707 h 40
11708 type "rectangle"
11709 fill "#FFFFFF"
11710 fill2 "#FFFFFF"
11711 outline "#000000"
11712 ]
11713 LabelGraphics
11714 [
11715 text "Root literal FunctionType"
11716 outline "#000000"
11717 fill "#FFFFFF"
11718 fontSize 16
11719 fontName "Monospace"
11720 autoSizePolicy "node_width"
11721 anchor "t"
11722 borderDistance 0.0
11723 ]
11724 LabelGraphics
11725 [
11726 text "
11727 FunctionType enum
11728 "
11729 fontSize 14
11730 fontName "Consolas"
11731 alignment "left"
11732 anchor "tl"
11733 borderDistance 6
11734 ]
11735 ]
11736
11737 node
11738 [
11739 id 1
11740 graphics
11741 [
11742 w 297.0
11743 h 40
11744 type "rectangle"
11745 fill "#FFFFFF"
11746 fill2 "#FFFFFF"
11747 outline "#000000"
11748 ]
11749 LabelGraphics
11750 [
11751 text "Intermediate literal FunctionType"
11752 outline "#000000"
11753 fill "#FFFFFF"
11754 fontSize 16
11755 fontName "Monospace"
11756 autoSizePolicy "node_width"
11757 anchor "t"
11758 borderDistance 0.0
11759 ]
11760 LabelGraphics
11761 [
11762 text "
11763 FunctionType enum
11764 "
11765 fontSize 14
11766 fontName "Consolas"
11767 alignment "left"
11768 anchor "tl"
11769 borderDistance 6
11770 ]
11771 ]
11772
11773 node
11774 [
11775 id 2
11776 graphics
11777 [
11778 w 226.60000000000002
11779 h 40
11780 type "rectangle"
11781 fill "#FFFFFF"
11782 fill2 "#FFFFFF"
11783 outline "#000000"
11784 ]
11785 LabelGraphics
11786 [
11787 text "Leaf literal FunctionType"
11788 outline "#000000"
11789 fill "#FFFFFF"
11790 fontSize 16
11791 fontName "Monospace"
11792 autoSizePolicy "node_width"
11793 anchor "t"
11794 borderDistance 0.0
11795 ]
11796 LabelGraphics
11797 [
11798 text "
11799 FunctionType enum
11800 "
11801 fontSize 14
11802 fontName "Consolas"
11803 alignment "left"
11804 anchor "tl"
11805 borderDistance 6
11806 ]
11807 ]
11808
11809 node
11810 [
11811 id 3
11812 graphics
11813 [
11814 w 41.800000000000004
11815 h 26
11816 type "rectangle"
11817 fill "#FFFFFF"
11818 fill2 "#FFFFFF"
11819 outline "#000000"
11820 ]
11821 LabelGraphics
11822 [
11823 text "true"
11824 outline "#000000"
11825 fill "#FFFFFF"
11826 fontSize 16
11827 fontName "Monospace"
11828 autoSizePolicy "node_width"
11829 anchor "t"
11830 borderDistance 0.0
11831 ]
11832 LabelGraphics
11833 [
11834 text "
11835 "
11836 fontSize 14
11837 fontName "Consolas"
11838 alignment "left"
11839 anchor "tl"
11840 borderDistance 6
11841 ]
11842 ]
11843
11844 node
11845 [
11846 id 4
11847 graphics
11848 [
11849 w 50.6
11850 h 26
11851 type "rectangle"
11852 fill "#FFFFFF"
11853 fill2 "#FFFFFF"
11854 outline "#000000"
11855 ]
11856 LabelGraphics
11857 [
11858 text "false"
11859 outline "#000000"
11860 fill "#FFFFFF"
11861 fontSize 16
11862 fontName "Monospace"
11863 autoSizePolicy "node_width"
11864 anchor "t"
11865 borderDistance 0.0
11866 ]
11867 LabelGraphics
11868 [
11869 text "
11870 "
11871 fontSize 14
11872 fontName "Consolas"
11873 alignment "left"
11874 anchor "tl"
11875 borderDistance 6
11876 ]
11877 ]
11878
11879 node
11880 [
11881 id 5
11882 graphics
11883 [
11884 w 207.9
11885 h 40
11886 type "rectangle"
11887 fill "#FFFFFF"
11888 fill2 "#FFFFFF"
11889 outline "#000000"
11890 ]
11891 LabelGraphics
11892 [
11893 text "null"
11894 outline "#000000"
11895 fill "#FFFFFF"
11896 fontSize 16
11897 fontName "Monospace"
11898 autoSizePolicy "node_width"
11899 anchor "t"
11900 borderDistance 0.0
11901 ]
11902 LabelGraphics
11903 [
11904 text "
11905 FunctionalInterface class
11906 "
11907 fontSize 14
11908 fontName "Consolas"
11909 alignment "left"
11910 anchor "tl"
11911 borderDistance 6
11912 ]
11913 ]
11914
11915 node
11916 [
11917 id 6
11918 graphics
11919 [
11920 w 177.10000000000002
11921 h 54
11922 type "rectangle"
11923 fill "#FFFFFF"
11924 fill2 "#FFFFFF"
11925 outline "#000000"
11926 ]
11927 LabelGraphics
11928 [
11929 text "null"
11930 outline "#000000"
11931 fill "#FFFFFF"
11932 fontSize 16
11933 fontName "Monospace"
11934 autoSizePolicy "node_width"
11935 anchor "t"
11936 borderDistance 0.0
11937 ]
11938 LabelGraphics
11939 [
11940 text "
11941 FunctionalInput class
11942 FunctionalData class
11943 "
11944 fontSize 14
11945 fontName "Consolas"
11946 alignment "left"
11947 anchor "tl"
11948 borderDistance 6
11949 ]
11950 ]
11951
11952 node
11953 [
11954 id 7
11955 graphics
11956 [
11957 w 184.8
11958 h 54
11959 type "rectangle"
11960 fill "#FFFFFF"
11961 fill2 "#FFFFFF"
11962 outline "#000000"
11963 ]
11964 LabelGraphics
11965 [
11966 text "null"
11967 outline "#000000"
11968 fill "#FFFFFF"
11969 fontSize 16
11970 fontName "Monospace"
11971 autoSizePolicy "node_width"
11972 anchor "t"
11973 borderDistance 0.0
11974 ]
11975 LabelGraphics
11976 [
11977 text "
11978 FunctionalOutput class
11979 FunctionalData class
11980 "
11981 fontSize 14
11982 fontName "Consolas"
11983 alignment "left"
11984 anchor "tl"
11985 borderDistance 6
11986 ]
11987 ]
11988
11989 node
11990 [
11991 id 8
11992 graphics
11993 [
11994 w 184.8
11995 h 54
11996 type "rectangle"
11997 fill "#FFFFFF"
11998 fill2 "#FFFFFF"
11999 outline "#000000"
12000 ]
12001 LabelGraphics
12002 [
12003 text "null"
12004 outline "#000000"
12005 fill "#FFFFFF"
12006 fontSize 16
12007 fontName "Monospace"
12008 autoSizePolicy "node_width"
12009 anchor "t"
12010 borderDistance 0.0
12011 ]
12012 LabelGraphics
12013 [
12014 text "
12015 FunctionalOutput class
12016 FunctionalData class
12017 "
12018 fontSize 14
12019 fontName "Consolas"
12020 alignment "left"
12021 anchor "tl"
12022 borderDistance 6
12023 ]
12024 ]
12025
12026 node
12027 [
12028 id 9
12029 graphics
12030 [
12031 w 177.10000000000002
12032 h 40
12033 type "rectangle"
12034 fill "#FFFFFF"
12035 fill2 "#FFFFFF"
12036 outline "#000000"
12037 ]
12038 LabelGraphics
12039 [
12040 text "null"
12041 outline "#000000"
12042 fill "#FFFFFF"
12043 fontSize 16
12044 fontName "Monospace"
12045 autoSizePolicy "node_width"
12046 anchor "t"
12047 borderDistance 0.0
12048 ]
12049 LabelGraphics
12050 [
12051 text "
12052 InformationLink class
12053 "
12054 fontSize 14
12055 fontName "Consolas"
12056 alignment "left"
12057 anchor "tl"
12058 borderDistance 6
12059 ]
12060 ]
12061
12062 node
12063 [
12064 id 10
12065 graphics
12066 [
12067 w 161.70000000000002
12068 h 40
12069 type "rectangle"
12070 fill "#FFFFFF"
12071 fill2 "#FFFFFF"
12072 outline "#000000"
12073 ]
12074 LabelGraphics
12075 [
12076 text "null"
12077 outline "#000000"
12078 fill "#FFFFFF"
12079 fontSize 16
12080 fontName "Monospace"
12081 autoSizePolicy "node_width"
12082 anchor "t"
12083 borderDistance 0.0
12084 ]
12085 LabelGraphics
12086 [
12087 text "
12088 FAMTerminator class
12089 "
12090 fontSize 14
12091 fontName "Consolas"
12092 alignment "left"
12093 anchor "tl"
12094 borderDistance 6
12095 ]
12096 ]
12097
12098 node
12099 [
12100 id 11
12101 graphics
12102 [
12103 w 161.70000000000002
12104 h 40
12105 type "rectangle"
12106 fill "#FFFFFF"
12107 fill2 "#FFFFFF"
12108 outline "#000000"
12109 ]
12110 LabelGraphics
12111 [
12112 text "null"
12113 outline "#000000"
12114 fill "#FFFFFF"
12115 fontSize 16
12116 fontName "Monospace"
12117 autoSizePolicy "node_width"
12118 anchor "t"
12119 borderDistance 0.0
12120 ]
12121 LabelGraphics
12122 [
12123 text "
12124 FAMTerminator class
12125 "
12126 fontSize 14
12127 fontName "Consolas"
12128 alignment "left"
12129 anchor "tl"
12130 borderDistance 6
12131 ]
12132 ]
12133
12134 node
12135 [
12136 id 12
12137 graphics
12138 [
12139 w 112.2
12140 h 26
12141 type "rectangle"
12142 fill "#FFFFFF"
12143 fill2 "#FFFFFF"
12144 outline "#000000"
12145 ]
12146 LabelGraphics
12147 [
12148 text "New Integers"
12149 outline "#000000"
12150 fill "#FFFFFF"
12151 fontSize 16
12152 fontName "Monospace"
12153 autoSizePolicy "node_width"
12154 anchor "t"
12155 borderDistance 0.0
12156 ]
12157 LabelGraphics
12158 [
12159 text "
12160 "
12161 fontSize 14
12162 fontName "Consolas"
12163 alignment "left"
12164 anchor "tl"
12165 borderDistance 6
12166 ]
12167 ]
12168
12169 node
12170 [
12171 id 13
12172 graphics
12173 [
12174 w 85.80000000000001
12175 h 26
12176 type "rectangle"
12177 fill "#FFFFFF"
12178 fill2 "#FFFFFF"
12179 outline "#000000"
12180 ]
12181 LabelGraphics
12182 [
12183 text "New Reals"
12184 outline "#000000"
12185 fill "#FFFFFF"
12186 fontSize 16
12187 fontName "Monospace"
12188 autoSizePolicy "node_width"
12189 anchor "t"
12190 borderDistance 0.0
12191 ]
12192 LabelGraphics
12193 [
12194 text "
12195 "
12196 fontSize 14
12197 fontName "Consolas"
12198 alignment "left"
12199 anchor "tl"
12200 borderDistance 6
12201 ]
12202 ]
12203
12204 node
12205 [
12206 id 14
12207 graphics
12208 [
12209 w 103.4
12210 h 26
12211 type "rectangle"
12212 fill "#FFFFFF"
12213 fill2 "#FFFFFF"
12214 outline "#000000"
12215 ]
12216 LabelGraphics
12217 [
12218 text "New Strings"
12219 outline "#000000"
12220 fill "#FFFFFF"
12221 fontSize 16
12222 fontName "Monospace"
12223 autoSizePolicy "node_width"
12224 anchor "t"
12225 borderDistance 0.0
12226 ]
12227 LabelGraphics
12228 [
12229 text "
12230 "
12231 fontSize 14
12232 fontName "Consolas"
12233 alignment "left"
12234 anchor "tl"
12235 borderDistance 6
12236 ]
12237 ]
12238
12239 node
12240 [
12241 id 15
12242 graphics
12243 [
12244 w 103.4
12245 h 26
12246 type "rectangle"
12247 fill "#FFFFFF"
12248 fill2 "#FFFFFF"
12249 outline "#000000"
12250 ]
12251 LabelGraphics
12252 [
12253 text "New Objects"
12254 outline "#000000"
12255 fill "#FFFFFF"
12256 fontSize 16
12257 fontName "Monospace"
12258 autoSizePolicy "node_width"
12259 anchor "t"
12260 borderDistance 0.0
12261 ]
12262 LabelGraphics
12263 [
12264 text "
12265 "
12266 fontSize 14
12267 fontName "Consolas"
12268 alignment "left"
12269 anchor "tl"
12270 borderDistance 6
12271 ]
12272 ]
12273 edge
12274 [
12275 source 10
12276 target 8
12277 graphics
12278 [
12279 fill "#000000"
12280 targetArrow "standard"
12281 ]
12282 LabelGraphics
12283 [
12284 text "data reference FAMTerminator"
12285 fontSize 14
12286 fontName "Consolas"
12287 configuration "AutoFlippingLabel"
12288 model "six_pos"
12289 position "thead"
12290 ]
12291 ]
12292 edge
12293 [
12294 source 11
12295 target 7
12296 graphics
12297 [
12298 fill "#000000"
12299 targetArrow "standard"
12300 ]
12301 LabelGraphics
12302 [
12303 text "data reference FAMTerminator"
12304 fontSize 14
12305 fontName "Consolas"
12306 configuration "AutoFlippingLabel"
12307 model "six_pos"
12308 position "thead"
12309 ]
12310 ]
12311 edge
12312 [
12313 source 9
12314 target 8
12315 graphics
12316 [
12317 fill "#000000"
12318 targetArrow "standard"
12319 ]
12320 LabelGraphics
12321 [
12322 text "from reference InformationLink"
12323 fontSize 14
12324 fontName "Consolas"
12325 configuration "AutoFlippingLabel"
12326 model "six_pos"
12327 position "thead"
12328 ]
12329 ]
12330 edge
12331 [
12332 source 9
12333 target 6
12334 graphics
12335 [
12336 fill "#000000"
12337 targetArrow "standard"
12338 ]
12339 LabelGraphics
12340 [
12341 text "to reference InformationLink"
12342 fontSize 14
12343 fontName "Consolas"
12344 configuration "AutoFlippingLabel"
12345 model "six_pos"
12346 position "thead"
12347 ]
12348 ]
12349 edge
12350 [
12351 source 5
12352 target 6
12353 graphics
12354 [
12355 fill "#000000"
12356 width 3
12357 targetArrow "standard"
12358 ]
12359 LabelGraphics
12360 [
12361 text "data reference FunctionalInterface"
12362 fontSize 14
12363 fontName "Consolas"
12364 configuration "AutoFlippingLabel"
12365 model "six_pos"
12366 position "thead"
12367 ]
12368 ]
12369 edge
12370 [
12371 source 5
12372 target 7
12373 graphics
12374 [
12375 fill "#000000"
12376 width 3
12377 targetArrow "standard"
12378 ]
12379 LabelGraphics
12380 [
12381 text "data reference FunctionalInterface"
12382 fontSize 14
12383 fontName "Consolas"
12384 configuration "AutoFlippingLabel"
12385 model "six_pos"
12386 position "thead"
12387 ]
12388 ]
12389 edge
12390 [
12391 source 5
12392 target 8
12393 graphics
12394 [
12395 fill "#000000"
12396 width 3
12397 targetArrow "standard"
12398 ]
12399 LabelGraphics
12400 [
12401 text "data reference FunctionalInterface"
12402 fontSize 14
12403 fontName "Consolas"
12404 configuration "AutoFlippingLabel"
12405 model "six_pos"
12406 position "thead"
12407 ]
12408 ]
12409 edge
12410 [
12411 source 6
12412 target 9
12413 graphics
12414 [
12415 fill "#000000"
12416 targetArrow "standard"
12417 ]
12418 LabelGraphics
12419 [
12420 text "IncomingLinks reference FunctionalInput"
12421 fontSize 14
12422 fontName "Consolas"
12423 configuration "AutoFlippingLabel"
12424 model "six_pos"
12425 position "thead"
12426 ]
12427 ]
12428 edge
12429 [
12430 source 8
12431 target 9
12432 graphics
12433 [
12434 fill "#000000"
12435 width 3
12436 targetArrow "standard"
12437 ]
12438 LabelGraphics
12439 [
12440 text "outgoingLinks reference FunctionalOutput"
12441 fontSize 14
12442 fontName "Consolas"
12443 configuration "AutoFlippingLabel"
12444 model "six_pos"
12445 position "thead"
12446 ]
12447 ]
12448 edge
12449 [
12450 source 8
12451 target 10
12452 graphics
12453 [
12454 fill "#000000"
12455 width 3
12456 targetArrow "standard"
12457 ]
12458 LabelGraphics
12459 [
12460 text "terminator reference FunctionalData"
12461 fontSize 14
12462 fontName "Consolas"
12463 configuration "AutoFlippingLabel"
12464 model "six_pos"
12465 position "thead"
12466 ]
12467 ]
12468 edge
12469 [
12470 source 7
12471 target 11
12472 graphics
12473 [
12474 fill "#000000"
12475 width 3
12476 targetArrow "standard"
12477 ]
12478 LabelGraphics
12479 [
12480 text "terminator reference FunctionalData"
12481 fontSize 14
12482 fontName "Consolas"
12483 configuration "AutoFlippingLabel"
12484 model "six_pos"
12485 position "thead"
12486 ]
12487 ]
12488 edge
12489 [
12490 source 6
12491 target 5
12492 graphics
12493 [
12494 fill "#000000"
12495 targetArrow "standard"
12496 ]
12497 LabelGraphics
12498 [
12499 text "interface reference FunctionalData"
12500 fontSize 14
12501 fontName "Consolas"
12502 configuration "AutoFlippingLabel"
12503 model "six_pos"
12504 position "thead"
12505 ]
12506 ]
12507 edge
12508 [
12509 source 7
12510 target 5
12511 graphics
12512 [
12513 fill "#000000"
12514 targetArrow "standard"
12515 ]
12516 LabelGraphics
12517 [
12518 text "interface reference FunctionalData"
12519 fontSize 14
12520 fontName "Consolas"
12521 configuration "AutoFlippingLabel"
12522 model "six_pos"
12523 position "thead"
12524 ]
12525 ]
12526 edge
12527 [
12528 source 8
12529 target 5
12530 graphics
12531 [
12532 fill "#000000"
12533 targetArrow "standard"
12534 ]
12535 LabelGraphics
12536 [
12537 text "interface reference FunctionalData"
12538 fontSize 14
12539 fontName "Consolas"
12540 configuration "AutoFlippingLabel"
12541 model "six_pos"
12542 position "thead"
12543 ]
12544 ]
12545]
12546graph
12547[
12548 node
12549 [
12550 id 0
12551 graphics
12552 [
12553 w 226.60000000000002
12554 h 40
12555 type "rectangle"
12556 fill "#FFFFFF"
12557 fill2 "#FFFFFF"
12558 outline "#000000"
12559 ]
12560 LabelGraphics
12561 [
12562 text "Root literal FunctionType"
12563 outline "#000000"
12564 fill "#FFFFFF"
12565 fontSize 16
12566 fontName "Monospace"
12567 autoSizePolicy "node_width"
12568 anchor "t"
12569 borderDistance 0.0
12570 ]
12571 LabelGraphics
12572 [
12573 text "
12574 FunctionType enum
12575 "
12576 fontSize 14
12577 fontName "Consolas"
12578 alignment "left"
12579 anchor "tl"
12580 borderDistance 6
12581 ]
12582 ]
12583
12584 node
12585 [
12586 id 1
12587 graphics
12588 [
12589 w 297.0
12590 h 40
12591 type "rectangle"
12592 fill "#FFFFFF"
12593 fill2 "#FFFFFF"
12594 outline "#000000"
12595 ]
12596 LabelGraphics
12597 [
12598 text "Intermediate literal FunctionType"
12599 outline "#000000"
12600 fill "#FFFFFF"
12601 fontSize 16
12602 fontName "Monospace"
12603 autoSizePolicy "node_width"
12604 anchor "t"
12605 borderDistance 0.0
12606 ]
12607 LabelGraphics
12608 [
12609 text "
12610 FunctionType enum
12611 "
12612 fontSize 14
12613 fontName "Consolas"
12614 alignment "left"
12615 anchor "tl"
12616 borderDistance 6
12617 ]
12618 ]
12619
12620 node
12621 [
12622 id 2
12623 graphics
12624 [
12625 w 226.60000000000002
12626 h 40
12627 type "rectangle"
12628 fill "#FFFFFF"
12629 fill2 "#FFFFFF"
12630 outline "#000000"
12631 ]
12632 LabelGraphics
12633 [
12634 text "Leaf literal FunctionType"
12635 outline "#000000"
12636 fill "#FFFFFF"
12637 fontSize 16
12638 fontName "Monospace"
12639 autoSizePolicy "node_width"
12640 anchor "t"
12641 borderDistance 0.0
12642 ]
12643 LabelGraphics
12644 [
12645 text "
12646 FunctionType enum
12647 "
12648 fontSize 14
12649 fontName "Consolas"
12650 alignment "left"
12651 anchor "tl"
12652 borderDistance 6
12653 ]
12654 ]
12655
12656 node
12657 [
12658 id 3
12659 graphics
12660 [
12661 w 41.800000000000004
12662 h 26
12663 type "rectangle"
12664 fill "#FFFFFF"
12665 fill2 "#FFFFFF"
12666 outline "#000000"
12667 ]
12668 LabelGraphics
12669 [
12670 text "true"
12671 outline "#000000"
12672 fill "#FFFFFF"
12673 fontSize 16
12674 fontName "Monospace"
12675 autoSizePolicy "node_width"
12676 anchor "t"
12677 borderDistance 0.0
12678 ]
12679 LabelGraphics
12680 [
12681 text "
12682 "
12683 fontSize 14
12684 fontName "Consolas"
12685 alignment "left"
12686 anchor "tl"
12687 borderDistance 6
12688 ]
12689 ]
12690
12691 node
12692 [
12693 id 4
12694 graphics
12695 [
12696 w 50.6
12697 h 26
12698 type "rectangle"
12699 fill "#FFFFFF"
12700 fill2 "#FFFFFF"
12701 outline "#000000"
12702 ]
12703 LabelGraphics
12704 [
12705 text "false"
12706 outline "#000000"
12707 fill "#FFFFFF"
12708 fontSize 16
12709 fontName "Monospace"
12710 autoSizePolicy "node_width"
12711 anchor "t"
12712 borderDistance 0.0
12713 ]
12714 LabelGraphics
12715 [
12716 text "
12717 "
12718 fontSize 14
12719 fontName "Consolas"
12720 alignment "left"
12721 anchor "tl"
12722 borderDistance 6
12723 ]
12724 ]
12725
12726 node
12727 [
12728 id 5
12729 graphics
12730 [
12731 w 207.9
12732 h 40
12733 type "rectangle"
12734 fill "#FFFFFF"
12735 fill2 "#FFFFFF"
12736 outline "#000000"
12737 ]
12738 LabelGraphics
12739 [
12740 text "null"
12741 outline "#000000"
12742 fill "#FFFFFF"
12743 fontSize 16
12744 fontName "Monospace"
12745 autoSizePolicy "node_width"
12746 anchor "t"
12747 borderDistance 0.0
12748 ]
12749 LabelGraphics
12750 [
12751 text "
12752 FunctionalInterface class
12753 "
12754 fontSize 14
12755 fontName "Consolas"
12756 alignment "left"
12757 anchor "tl"
12758 borderDistance 6
12759 ]
12760 ]
12761
12762 node
12763 [
12764 id 6
12765 graphics
12766 [
12767 w 184.8
12768 h 54
12769 type "rectangle"
12770 fill "#FFFFFF"
12771 fill2 "#FFFFFF"
12772 outline "#000000"
12773 ]
12774 LabelGraphics
12775 [
12776 text "null"
12777 outline "#000000"
12778 fill "#FFFFFF"
12779 fontSize 16
12780 fontName "Monospace"
12781 autoSizePolicy "node_width"
12782 anchor "t"
12783 borderDistance 0.0
12784 ]
12785 LabelGraphics
12786 [
12787 text "
12788 FunctionalOutput class
12789 FunctionalData class
12790 "
12791 fontSize 14
12792 fontName "Consolas"
12793 alignment "left"
12794 anchor "tl"
12795 borderDistance 6
12796 ]
12797 ]
12798
12799 node
12800 [
12801 id 7
12802 graphics
12803 [
12804 w 184.8
12805 h 54
12806 type "rectangle"
12807 fill "#FFFFFF"
12808 fill2 "#FFFFFF"
12809 outline "#000000"
12810 ]
12811 LabelGraphics
12812 [
12813 text "null"
12814 outline "#000000"
12815 fill "#FFFFFF"
12816 fontSize 16
12817 fontName "Monospace"
12818 autoSizePolicy "node_width"
12819 anchor "t"
12820 borderDistance 0.0
12821 ]
12822 LabelGraphics
12823 [
12824 text "
12825 FunctionalOutput class
12826 FunctionalData class
12827 "
12828 fontSize 14
12829 fontName "Consolas"
12830 alignment "left"
12831 anchor "tl"
12832 borderDistance 6
12833 ]
12834 ]
12835
12836 node
12837 [
12838 id 8
12839 graphics
12840 [
12841 w 177.10000000000002
12842 h 40
12843 type "rectangle"
12844 fill "#FFFFFF"
12845 fill2 "#FFFFFF"
12846 outline "#000000"
12847 ]
12848 LabelGraphics
12849 [
12850 text "null"
12851 outline "#000000"
12852 fill "#FFFFFF"
12853 fontSize 16
12854 fontName "Monospace"
12855 autoSizePolicy "node_width"
12856 anchor "t"
12857 borderDistance 0.0
12858 ]
12859 LabelGraphics
12860 [
12861 text "
12862 InformationLink class
12863 "
12864 fontSize 14
12865 fontName "Consolas"
12866 alignment "left"
12867 anchor "tl"
12868 borderDistance 6
12869 ]
12870 ]
12871
12872 node
12873 [
12874 id 9
12875 graphics
12876 [
12877 w 177.10000000000002
12878 h 40
12879 type "rectangle"
12880 fill "#FFFFFF"
12881 fill2 "#FFFFFF"
12882 outline "#000000"
12883 ]
12884 LabelGraphics
12885 [
12886 text "null"
12887 outline "#000000"
12888 fill "#FFFFFF"
12889 fontSize 16
12890 fontName "Monospace"
12891 autoSizePolicy "node_width"
12892 anchor "t"
12893 borderDistance 0.0
12894 ]
12895 LabelGraphics
12896 [
12897 text "
12898 InformationLink class
12899 "
12900 fontSize 14
12901 fontName "Consolas"
12902 alignment "left"
12903 anchor "tl"
12904 borderDistance 6
12905 ]
12906 ]
12907
12908 node
12909 [
12910 id 10
12911 graphics
12912 [
12913 w 177.10000000000002
12914 h 54
12915 type "rectangle"
12916 fill "#FFFFFF"
12917 fill2 "#FFFFFF"
12918 outline "#000000"
12919 ]
12920 LabelGraphics
12921 [
12922 text "null"
12923 outline "#000000"
12924 fill "#FFFFFF"
12925 fontSize 16
12926 fontName "Monospace"
12927 autoSizePolicy "node_width"
12928 anchor "t"
12929 borderDistance 0.0
12930 ]
12931 LabelGraphics
12932 [
12933 text "
12934 FunctionalInput class
12935 FunctionalData class
12936 "
12937 fontSize 14
12938 fontName "Consolas"
12939 alignment "left"
12940 anchor "tl"
12941 borderDistance 6
12942 ]
12943 ]
12944
12945 node
12946 [
12947 id 11
12948 graphics
12949 [
12950 w 177.10000000000002
12951 h 40
12952 type "rectangle"
12953 fill "#FFFFFF"
12954 fill2 "#FFFFFF"
12955 outline "#000000"
12956 ]
12957 LabelGraphics
12958 [
12959 text "null"
12960 outline "#000000"
12961 fill "#FFFFFF"
12962 fontSize 16
12963 fontName "Monospace"
12964 autoSizePolicy "node_width"
12965 anchor "t"
12966 borderDistance 0.0
12967 ]
12968 LabelGraphics
12969 [
12970 text "
12971 InformationLink class
12972 "
12973 fontSize 14
12974 fontName "Consolas"
12975 alignment "left"
12976 anchor "tl"
12977 borderDistance 6
12978 ]
12979 ]
12980
12981 node
12982 [
12983 id 12
12984 graphics
12985 [
12986 w 112.2
12987 h 26
12988 type "rectangle"
12989 fill "#FFFFFF"
12990 fill2 "#FFFFFF"
12991 outline "#000000"
12992 ]
12993 LabelGraphics
12994 [
12995 text "New Integers"
12996 outline "#000000"
12997 fill "#FFFFFF"
12998 fontSize 16
12999 fontName "Monospace"
13000 autoSizePolicy "node_width"
13001 anchor "t"
13002 borderDistance 0.0
13003 ]
13004 LabelGraphics
13005 [
13006 text "
13007 "
13008 fontSize 14
13009 fontName "Consolas"
13010 alignment "left"
13011 anchor "tl"
13012 borderDistance 6
13013 ]
13014 ]
13015
13016 node
13017 [
13018 id 13
13019 graphics
13020 [
13021 w 85.80000000000001
13022 h 26
13023 type "rectangle"
13024 fill "#FFFFFF"
13025 fill2 "#FFFFFF"
13026 outline "#000000"
13027 ]
13028 LabelGraphics
13029 [
13030 text "New Reals"
13031 outline "#000000"
13032 fill "#FFFFFF"
13033 fontSize 16
13034 fontName "Monospace"
13035 autoSizePolicy "node_width"
13036 anchor "t"
13037 borderDistance 0.0
13038 ]
13039 LabelGraphics
13040 [
13041 text "
13042 "
13043 fontSize 14
13044 fontName "Consolas"
13045 alignment "left"
13046 anchor "tl"
13047 borderDistance 6
13048 ]
13049 ]
13050
13051 node
13052 [
13053 id 14
13054 graphics
13055 [
13056 w 103.4
13057 h 26
13058 type "rectangle"
13059 fill "#FFFFFF"
13060 fill2 "#FFFFFF"
13061 outline "#000000"
13062 ]
13063 LabelGraphics
13064 [
13065 text "New Strings"
13066 outline "#000000"
13067 fill "#FFFFFF"
13068 fontSize 16
13069 fontName "Monospace"
13070 autoSizePolicy "node_width"
13071 anchor "t"
13072 borderDistance 0.0
13073 ]
13074 LabelGraphics
13075 [
13076 text "
13077 "
13078 fontSize 14
13079 fontName "Consolas"
13080 alignment "left"
13081 anchor "tl"
13082 borderDistance 6
13083 ]
13084 ]
13085
13086 node
13087 [
13088 id 15
13089 graphics
13090 [
13091 w 103.4
13092 h 26
13093 type "rectangle"
13094 fill "#FFFFFF"
13095 fill2 "#FFFFFF"
13096 outline "#000000"
13097 ]
13098 LabelGraphics
13099 [
13100 text "New Objects"
13101 outline "#000000"
13102 fill "#FFFFFF"
13103 fontSize 16
13104 fontName "Monospace"
13105 autoSizePolicy "node_width"
13106 anchor "t"
13107 borderDistance 0.0
13108 ]
13109 LabelGraphics
13110 [
13111 text "
13112 "
13113 fontSize 14
13114 fontName "Consolas"
13115 alignment "left"
13116 anchor "tl"
13117 borderDistance 6
13118 ]
13119 ]
13120 edge
13121 [
13122 source 8
13123 target 7
13124 graphics
13125 [
13126 fill "#000000"
13127 targetArrow "standard"
13128 ]
13129 LabelGraphics
13130 [
13131 text "from reference InformationLink"
13132 fontSize 14
13133 fontName "Consolas"
13134 configuration "AutoFlippingLabel"
13135 model "six_pos"
13136 position "thead"
13137 ]
13138 ]
13139 edge
13140 [
13141 source 9
13142 target 7
13143 graphics
13144 [
13145 fill "#000000"
13146 targetArrow "standard"
13147 ]
13148 LabelGraphics
13149 [
13150 text "from reference InformationLink"
13151 fontSize 14
13152 fontName "Consolas"
13153 configuration "AutoFlippingLabel"
13154 model "six_pos"
13155 position "thead"
13156 ]
13157 ]
13158 edge
13159 [
13160 source 11
13161 target 7
13162 graphics
13163 [
13164 fill "#000000"
13165 targetArrow "standard"
13166 ]
13167 LabelGraphics
13168 [
13169 text "from reference InformationLink"
13170 fontSize 14
13171 fontName "Consolas"
13172 configuration "AutoFlippingLabel"
13173 model "six_pos"
13174 position "thead"
13175 ]
13176 ]
13177 edge
13178 [
13179 source 8
13180 target 10
13181 graphics
13182 [
13183 fill "#000000"
13184 targetArrow "standard"
13185 ]
13186 LabelGraphics
13187 [
13188 text "to reference InformationLink"
13189 fontSize 14
13190 fontName "Consolas"
13191 configuration "AutoFlippingLabel"
13192 model "six_pos"
13193 position "thead"
13194 ]
13195 ]
13196 edge
13197 [
13198 source 11
13199 target 10
13200 graphics
13201 [
13202 fill "#000000"
13203 targetArrow "standard"
13204 ]
13205 LabelGraphics
13206 [
13207 text "to reference InformationLink"
13208 fontSize 14
13209 fontName "Consolas"
13210 configuration "AutoFlippingLabel"
13211 model "six_pos"
13212 position "thead"
13213 ]
13214 ]
13215 edge
13216 [
13217 source 9
13218 target 10
13219 graphics
13220 [
13221 fill "#000000"
13222 targetArrow "standard"
13223 ]
13224 LabelGraphics
13225 [
13226 text "to reference InformationLink"
13227 fontSize 14
13228 fontName "Consolas"
13229 configuration "AutoFlippingLabel"
13230 model "six_pos"
13231 position "thead"
13232 ]
13233 ]
13234 edge
13235 [
13236 source 5
13237 target 6
13238 graphics
13239 [
13240 fill "#000000"
13241 width 3
13242 targetArrow "standard"
13243 ]
13244 LabelGraphics
13245 [
13246 text "data reference FunctionalInterface"
13247 fontSize 14
13248 fontName "Consolas"
13249 configuration "AutoFlippingLabel"
13250 model "six_pos"
13251 position "thead"
13252 ]
13253 ]
13254 edge
13255 [
13256 source 5
13257 target 7
13258 graphics
13259 [
13260 fill "#000000"
13261 width 3
13262 targetArrow "standard"
13263 ]
13264 LabelGraphics
13265 [
13266 text "data reference FunctionalInterface"
13267 fontSize 14
13268 fontName "Consolas"
13269 configuration "AutoFlippingLabel"
13270 model "six_pos"
13271 position "thead"
13272 ]
13273 ]
13274 edge
13275 [
13276 source 5
13277 target 10
13278 graphics
13279 [
13280 fill "#000000"
13281 width 3
13282 targetArrow "standard"
13283 ]
13284 LabelGraphics
13285 [
13286 text "data reference FunctionalInterface"
13287 fontSize 14
13288 fontName "Consolas"
13289 configuration "AutoFlippingLabel"
13290 model "six_pos"
13291 position "thead"
13292 ]
13293 ]
13294 edge
13295 [
13296 source 10
13297 target 8
13298 graphics
13299 [
13300 fill "#000000"
13301 targetArrow "standard"
13302 ]
13303 LabelGraphics
13304 [
13305 text "IncomingLinks reference FunctionalInput"
13306 fontSize 14
13307 fontName "Consolas"
13308 configuration "AutoFlippingLabel"
13309 model "six_pos"
13310 position "thead"
13311 ]
13312 ]
13313 edge
13314 [
13315 source 10
13316 target 11
13317 graphics
13318 [
13319 fill "#000000"
13320 targetArrow "standard"
13321 ]
13322 LabelGraphics
13323 [
13324 text "IncomingLinks reference FunctionalInput"
13325 fontSize 14
13326 fontName "Consolas"
13327 configuration "AutoFlippingLabel"
13328 model "six_pos"
13329 position "thead"
13330 ]
13331 ]
13332 edge
13333 [
13334 source 10
13335 target 9
13336 graphics
13337 [
13338 fill "#000000"
13339 targetArrow "standard"
13340 ]
13341 LabelGraphics
13342 [
13343 text "IncomingLinks reference FunctionalInput"
13344 fontSize 14
13345 fontName "Consolas"
13346 configuration "AutoFlippingLabel"
13347 model "six_pos"
13348 position "thead"
13349 ]
13350 ]
13351 edge
13352 [
13353 source 7
13354 target 8
13355 graphics
13356 [
13357 fill "#000000"
13358 width 3
13359 targetArrow "standard"
13360 ]
13361 LabelGraphics
13362 [
13363 text "outgoingLinks reference FunctionalOutput"
13364 fontSize 14
13365 fontName "Consolas"
13366 configuration "AutoFlippingLabel"
13367 model "six_pos"
13368 position "thead"
13369 ]
13370 ]
13371 edge
13372 [
13373 source 7
13374 target 9
13375 graphics
13376 [
13377 fill "#000000"
13378 width 3
13379 targetArrow "standard"
13380 ]
13381 LabelGraphics
13382 [
13383 text "outgoingLinks reference FunctionalOutput"
13384 fontSize 14
13385 fontName "Consolas"
13386 configuration "AutoFlippingLabel"
13387 model "six_pos"
13388 position "thead"
13389 ]
13390 ]
13391 edge
13392 [
13393 source 7
13394 target 11
13395 graphics
13396 [
13397 fill "#000000"
13398 width 3
13399 targetArrow "standard"
13400 ]
13401 LabelGraphics
13402 [
13403 text "outgoingLinks reference FunctionalOutput"
13404 fontSize 14
13405 fontName "Consolas"
13406 configuration "AutoFlippingLabel"
13407 model "six_pos"
13408 position "thead"
13409 ]
13410 ]
13411 edge
13412 [
13413 source 6
13414 target 5
13415 graphics
13416 [
13417 fill "#000000"
13418 targetArrow "standard"
13419 ]
13420 LabelGraphics
13421 [
13422 text "interface reference FunctionalData"
13423 fontSize 14
13424 fontName "Consolas"
13425 configuration "AutoFlippingLabel"
13426 model "six_pos"
13427 position "thead"
13428 ]
13429 ]
13430 edge
13431 [
13432 source 7
13433 target 5
13434 graphics
13435 [
13436 fill "#000000"
13437 targetArrow "standard"
13438 ]
13439 LabelGraphics
13440 [
13441 text "interface reference FunctionalData"
13442 fontSize 14
13443 fontName "Consolas"
13444 configuration "AutoFlippingLabel"
13445 model "six_pos"
13446 position "thead"
13447 ]
13448 ]
13449 edge
13450 [
13451 source 10
13452 target 5
13453 graphics
13454 [
13455 fill "#000000"
13456 targetArrow "standard"
13457 ]
13458 LabelGraphics
13459 [
13460 text "interface reference FunctionalData"
13461 fontSize 14
13462 fontName "Consolas"
13463 configuration "AutoFlippingLabel"
13464 model "six_pos"
13465 position "thead"
13466 ]
13467 ]
13468]
13469graph
13470[
13471 node
13472 [
13473 id 0
13474 graphics
13475 [
13476 w 226.60000000000002
13477 h 40
13478 type "rectangle"
13479 fill "#FFFFFF"
13480 fill2 "#FFFFFF"
13481 outline "#000000"
13482 ]
13483 LabelGraphics
13484 [
13485 text "Root literal FunctionType"
13486 outline "#000000"
13487 fill "#FFFFFF"
13488 fontSize 16
13489 fontName "Monospace"
13490 autoSizePolicy "node_width"
13491 anchor "t"
13492 borderDistance 0.0
13493 ]
13494 LabelGraphics
13495 [
13496 text "
13497 FunctionType enum
13498 "
13499 fontSize 14
13500 fontName "Consolas"
13501 alignment "left"
13502 anchor "tl"
13503 borderDistance 6
13504 ]
13505 ]
13506
13507 node
13508 [
13509 id 1
13510 graphics
13511 [
13512 w 297.0
13513 h 40
13514 type "rectangle"
13515 fill "#FFFFFF"
13516 fill2 "#FFFFFF"
13517 outline "#000000"
13518 ]
13519 LabelGraphics
13520 [
13521 text "Intermediate literal FunctionType"
13522 outline "#000000"
13523 fill "#FFFFFF"
13524 fontSize 16
13525 fontName "Monospace"
13526 autoSizePolicy "node_width"
13527 anchor "t"
13528 borderDistance 0.0
13529 ]
13530 LabelGraphics
13531 [
13532 text "
13533 FunctionType enum
13534 "
13535 fontSize 14
13536 fontName "Consolas"
13537 alignment "left"
13538 anchor "tl"
13539 borderDistance 6
13540 ]
13541 ]
13542
13543 node
13544 [
13545 id 2
13546 graphics
13547 [
13548 w 226.60000000000002
13549 h 40
13550 type "rectangle"
13551 fill "#FFFFFF"
13552 fill2 "#FFFFFF"
13553 outline "#000000"
13554 ]
13555 LabelGraphics
13556 [
13557 text "Leaf literal FunctionType"
13558 outline "#000000"
13559 fill "#FFFFFF"
13560 fontSize 16
13561 fontName "Monospace"
13562 autoSizePolicy "node_width"
13563 anchor "t"
13564 borderDistance 0.0
13565 ]
13566 LabelGraphics
13567 [
13568 text "
13569 FunctionType enum
13570 "
13571 fontSize 14
13572 fontName "Consolas"
13573 alignment "left"
13574 anchor "tl"
13575 borderDistance 6
13576 ]
13577 ]
13578
13579 node
13580 [
13581 id 3
13582 graphics
13583 [
13584 w 41.800000000000004
13585 h 26
13586 type "rectangle"
13587 fill "#FFFFFF"
13588 fill2 "#FFFFFF"
13589 outline "#000000"
13590 ]
13591 LabelGraphics
13592 [
13593 text "true"
13594 outline "#000000"
13595 fill "#FFFFFF"
13596 fontSize 16
13597 fontName "Monospace"
13598 autoSizePolicy "node_width"
13599 anchor "t"
13600 borderDistance 0.0
13601 ]
13602 LabelGraphics
13603 [
13604 text "
13605 "
13606 fontSize 14
13607 fontName "Consolas"
13608 alignment "left"
13609 anchor "tl"
13610 borderDistance 6
13611 ]
13612 ]
13613
13614 node
13615 [
13616 id 4
13617 graphics
13618 [
13619 w 50.6
13620 h 26
13621 type "rectangle"
13622 fill "#FFFFFF"
13623 fill2 "#FFFFFF"
13624 outline "#000000"
13625 ]
13626 LabelGraphics
13627 [
13628 text "false"
13629 outline "#000000"
13630 fill "#FFFFFF"
13631 fontSize 16
13632 fontName "Monospace"
13633 autoSizePolicy "node_width"
13634 anchor "t"
13635 borderDistance 0.0
13636 ]
13637 LabelGraphics
13638 [
13639 text "
13640 "
13641 fontSize 14
13642 fontName "Consolas"
13643 alignment "left"
13644 anchor "tl"
13645 borderDistance 6
13646 ]
13647 ]
13648
13649 node
13650 [
13651 id 5
13652 graphics
13653 [
13654 w 207.9
13655 h 40
13656 type "rectangle"
13657 fill "#FFFFFF"
13658 fill2 "#FFFFFF"
13659 outline "#000000"
13660 ]
13661 LabelGraphics
13662 [
13663 text "null"
13664 outline "#000000"
13665 fill "#FFFFFF"
13666 fontSize 16
13667 fontName "Monospace"
13668 autoSizePolicy "node_width"
13669 anchor "t"
13670 borderDistance 0.0
13671 ]
13672 LabelGraphics
13673 [
13674 text "
13675 FunctionalInterface class
13676 "
13677 fontSize 14
13678 fontName "Consolas"
13679 alignment "left"
13680 anchor "tl"
13681 borderDistance 6
13682 ]
13683 ]
13684
13685 node
13686 [
13687 id 6
13688 graphics
13689 [
13690 w 177.10000000000002
13691 h 54
13692 type "rectangle"
13693 fill "#FFFFFF"
13694 fill2 "#FFFFFF"
13695 outline "#000000"
13696 ]
13697 LabelGraphics
13698 [
13699 text "null"
13700 outline "#000000"
13701 fill "#FFFFFF"
13702 fontSize 16
13703 fontName "Monospace"
13704 autoSizePolicy "node_width"
13705 anchor "t"
13706 borderDistance 0.0
13707 ]
13708 LabelGraphics
13709 [
13710 text "
13711 FunctionalInput class
13712 FunctionalData class
13713 "
13714 fontSize 14
13715 fontName "Consolas"
13716 alignment "left"
13717 anchor "tl"
13718 borderDistance 6
13719 ]
13720 ]
13721
13722 node
13723 [
13724 id 7
13725 graphics
13726 [
13727 w 177.10000000000002
13728 h 54
13729 type "rectangle"
13730 fill "#FFFFFF"
13731 fill2 "#FFFFFF"
13732 outline "#000000"
13733 ]
13734 LabelGraphics
13735 [
13736 text "null"
13737 outline "#000000"
13738 fill "#FFFFFF"
13739 fontSize 16
13740 fontName "Monospace"
13741 autoSizePolicy "node_width"
13742 anchor "t"
13743 borderDistance 0.0
13744 ]
13745 LabelGraphics
13746 [
13747 text "
13748 FunctionalInput class
13749 FunctionalData class
13750 "
13751 fontSize 14
13752 fontName "Consolas"
13753 alignment "left"
13754 anchor "tl"
13755 borderDistance 6
13756 ]
13757 ]
13758
13759 node
13760 [
13761 id 8
13762 graphics
13763 [
13764 w 161.70000000000002
13765 h 40
13766 type "rectangle"
13767 fill "#FFFFFF"
13768 fill2 "#FFFFFF"
13769 outline "#000000"
13770 ]
13771 LabelGraphics
13772 [
13773 text "null"
13774 outline "#000000"
13775 fill "#FFFFFF"
13776 fontSize 16
13777 fontName "Monospace"
13778 autoSizePolicy "node_width"
13779 anchor "t"
13780 borderDistance 0.0
13781 ]
13782 LabelGraphics
13783 [
13784 text "
13785 FAMTerminator class
13786 "
13787 fontSize 14
13788 fontName "Consolas"
13789 alignment "left"
13790 anchor "tl"
13791 borderDistance 6
13792 ]
13793 ]
13794
13795 node
13796 [
13797 id 9
13798 graphics
13799 [
13800 w 177.10000000000002
13801 h 54
13802 type "rectangle"
13803 fill "#FFFFFF"
13804 fill2 "#FFFFFF"
13805 outline "#000000"
13806 ]
13807 LabelGraphics
13808 [
13809 text "null"
13810 outline "#000000"
13811 fill "#FFFFFF"
13812 fontSize 16
13813 fontName "Monospace"
13814 autoSizePolicy "node_width"
13815 anchor "t"
13816 borderDistance 0.0
13817 ]
13818 LabelGraphics
13819 [
13820 text "
13821 FunctionalInput class
13822 FunctionalData class
13823 "
13824 fontSize 14
13825 fontName "Consolas"
13826 alignment "left"
13827 anchor "tl"
13828 borderDistance 6
13829 ]
13830 ]
13831
13832 node
13833 [
13834 id 10
13835 graphics
13836 [
13837 w 177.10000000000002
13838 h 54
13839 type "rectangle"
13840 fill "#FFFFFF"
13841 fill2 "#FFFFFF"
13842 outline "#000000"
13843 ]
13844 LabelGraphics
13845 [
13846 text "null"
13847 outline "#000000"
13848 fill "#FFFFFF"
13849 fontSize 16
13850 fontName "Monospace"
13851 autoSizePolicy "node_width"
13852 anchor "t"
13853 borderDistance 0.0
13854 ]
13855 LabelGraphics
13856 [
13857 text "
13858 FunctionalInput class
13859 FunctionalData class
13860 "
13861 fontSize 14
13862 fontName "Consolas"
13863 alignment "left"
13864 anchor "tl"
13865 borderDistance 6
13866 ]
13867 ]
13868
13869 node
13870 [
13871 id 11
13872 graphics
13873 [
13874 w 184.8
13875 h 54
13876 type "rectangle"
13877 fill "#FFFFFF"
13878 fill2 "#FFFFFF"
13879 outline "#000000"
13880 ]
13881 LabelGraphics
13882 [
13883 text "null"
13884 outline "#000000"
13885 fill "#FFFFFF"
13886 fontSize 16
13887 fontName "Monospace"
13888 autoSizePolicy "node_width"
13889 anchor "t"
13890 borderDistance 0.0
13891 ]
13892 LabelGraphics
13893 [
13894 text "
13895 FunctionalOutput class
13896 FunctionalData class
13897 "
13898 fontSize 14
13899 fontName "Consolas"
13900 alignment "left"
13901 anchor "tl"
13902 borderDistance 6
13903 ]
13904 ]
13905
13906 node
13907 [
13908 id 12
13909 graphics
13910 [
13911 w 112.2
13912 h 26
13913 type "rectangle"
13914 fill "#FFFFFF"
13915 fill2 "#FFFFFF"
13916 outline "#000000"
13917 ]
13918 LabelGraphics
13919 [
13920 text "New Integers"
13921 outline "#000000"
13922 fill "#FFFFFF"
13923 fontSize 16
13924 fontName "Monospace"
13925 autoSizePolicy "node_width"
13926 anchor "t"
13927 borderDistance 0.0
13928 ]
13929 LabelGraphics
13930 [
13931 text "
13932 "
13933 fontSize 14
13934 fontName "Consolas"
13935 alignment "left"
13936 anchor "tl"
13937 borderDistance 6
13938 ]
13939 ]
13940
13941 node
13942 [
13943 id 13
13944 graphics
13945 [
13946 w 85.80000000000001
13947 h 26
13948 type "rectangle"
13949 fill "#FFFFFF"
13950 fill2 "#FFFFFF"
13951 outline "#000000"
13952 ]
13953 LabelGraphics
13954 [
13955 text "New Reals"
13956 outline "#000000"
13957 fill "#FFFFFF"
13958 fontSize 16
13959 fontName "Monospace"
13960 autoSizePolicy "node_width"
13961 anchor "t"
13962 borderDistance 0.0
13963 ]
13964 LabelGraphics
13965 [
13966 text "
13967 "
13968 fontSize 14
13969 fontName "Consolas"
13970 alignment "left"
13971 anchor "tl"
13972 borderDistance 6
13973 ]
13974 ]
13975
13976 node
13977 [
13978 id 14
13979 graphics
13980 [
13981 w 103.4
13982 h 26
13983 type "rectangle"
13984 fill "#FFFFFF"
13985 fill2 "#FFFFFF"
13986 outline "#000000"
13987 ]
13988 LabelGraphics
13989 [
13990 text "New Strings"
13991 outline "#000000"
13992 fill "#FFFFFF"
13993 fontSize 16
13994 fontName "Monospace"
13995 autoSizePolicy "node_width"
13996 anchor "t"
13997 borderDistance 0.0
13998 ]
13999 LabelGraphics
14000 [
14001 text "
14002 "
14003 fontSize 14
14004 fontName "Consolas"
14005 alignment "left"
14006 anchor "tl"
14007 borderDistance 6
14008 ]
14009 ]
14010
14011 node
14012 [
14013 id 15
14014 graphics
14015 [
14016 w 103.4
14017 h 26
14018 type "rectangle"
14019 fill "#FFFFFF"
14020 fill2 "#FFFFFF"
14021 outline "#000000"
14022 ]
14023 LabelGraphics
14024 [
14025 text "New Objects"
14026 outline "#000000"
14027 fill "#FFFFFF"
14028 fontSize 16
14029 fontName "Monospace"
14030 autoSizePolicy "node_width"
14031 anchor "t"
14032 borderDistance 0.0
14033 ]
14034 LabelGraphics
14035 [
14036 text "
14037 "
14038 fontSize 14
14039 fontName "Consolas"
14040 alignment "left"
14041 anchor "tl"
14042 borderDistance 6
14043 ]
14044 ]
14045 edge
14046 [
14047 source 8
14048 target 6
14049 graphics
14050 [
14051 fill "#000000"
14052 targetArrow "standard"
14053 ]
14054 LabelGraphics
14055 [
14056 text "data reference FAMTerminator"
14057 fontSize 14
14058 fontName "Consolas"
14059 configuration "AutoFlippingLabel"
14060 model "six_pos"
14061 position "thead"
14062 ]
14063 ]
14064 edge
14065 [
14066 source 5
14067 target 6
14068 graphics
14069 [
14070 fill "#000000"
14071 width 3
14072 targetArrow "standard"
14073 ]
14074 LabelGraphics
14075 [
14076 text "data reference FunctionalInterface"
14077 fontSize 14
14078 fontName "Consolas"
14079 configuration "AutoFlippingLabel"
14080 model "six_pos"
14081 position "thead"
14082 ]
14083 ]
14084 edge
14085 [
14086 source 5
14087 target 7
14088 graphics
14089 [
14090 fill "#000000"
14091 width 3
14092 targetArrow "standard"
14093 ]
14094 LabelGraphics
14095 [
14096 text "data reference FunctionalInterface"
14097 fontSize 14
14098 fontName "Consolas"
14099 configuration "AutoFlippingLabel"
14100 model "six_pos"
14101 position "thead"
14102 ]
14103 ]
14104 edge
14105 [
14106 source 5
14107 target 9
14108 graphics
14109 [
14110 fill "#000000"
14111 width 3
14112 targetArrow "standard"
14113 ]
14114 LabelGraphics
14115 [
14116 text "data reference FunctionalInterface"
14117 fontSize 14
14118 fontName "Consolas"
14119 configuration "AutoFlippingLabel"
14120 model "six_pos"
14121 position "thead"
14122 ]
14123 ]
14124 edge
14125 [
14126 source 5
14127 target 10
14128 graphics
14129 [
14130 fill "#000000"
14131 width 3
14132 targetArrow "standard"
14133 ]
14134 LabelGraphics
14135 [
14136 text "data reference FunctionalInterface"
14137 fontSize 14
14138 fontName "Consolas"
14139 configuration "AutoFlippingLabel"
14140 model "six_pos"
14141 position "thead"
14142 ]
14143 ]
14144 edge
14145 [
14146 source 5
14147 target 11
14148 graphics
14149 [
14150 fill "#000000"
14151 width 3
14152 targetArrow "standard"
14153 ]
14154 LabelGraphics
14155 [
14156 text "data reference FunctionalInterface"
14157 fontSize 14
14158 fontName "Consolas"
14159 configuration "AutoFlippingLabel"
14160 model "six_pos"
14161 position "thead"
14162 ]
14163 ]
14164 edge
14165 [
14166 source 6
14167 target 8
14168 graphics
14169 [
14170 fill "#000000"
14171 width 3
14172 targetArrow "standard"
14173 ]
14174 LabelGraphics
14175 [
14176 text "terminator reference FunctionalData"
14177 fontSize 14
14178 fontName "Consolas"
14179 configuration "AutoFlippingLabel"
14180 model "six_pos"
14181 position "thead"
14182 ]
14183 ]
14184 edge
14185 [
14186 source 6
14187 target 5
14188 graphics
14189 [
14190 fill "#000000"
14191 targetArrow "standard"
14192 ]
14193 LabelGraphics
14194 [
14195 text "interface reference FunctionalData"
14196 fontSize 14
14197 fontName "Consolas"
14198 configuration "AutoFlippingLabel"
14199 model "six_pos"
14200 position "thead"
14201 ]
14202 ]
14203 edge
14204 [
14205 source 7
14206 target 5
14207 graphics
14208 [
14209 fill "#000000"
14210 targetArrow "standard"
14211 ]
14212 LabelGraphics
14213 [
14214 text "interface reference FunctionalData"
14215 fontSize 14
14216 fontName "Consolas"
14217 configuration "AutoFlippingLabel"
14218 model "six_pos"
14219 position "thead"
14220 ]
14221 ]
14222 edge
14223 [
14224 source 9
14225 target 5
14226 graphics
14227 [
14228 fill "#000000"
14229 targetArrow "standard"
14230 ]
14231 LabelGraphics
14232 [
14233 text "interface reference FunctionalData"
14234 fontSize 14
14235 fontName "Consolas"
14236 configuration "AutoFlippingLabel"
14237 model "six_pos"
14238 position "thead"
14239 ]
14240 ]
14241 edge
14242 [
14243 source 10
14244 target 5
14245 graphics
14246 [
14247 fill "#000000"
14248 targetArrow "standard"
14249 ]
14250 LabelGraphics
14251 [
14252 text "interface reference FunctionalData"
14253 fontSize 14
14254 fontName "Consolas"
14255 configuration "AutoFlippingLabel"
14256 model "six_pos"
14257 position "thead"
14258 ]
14259 ]
14260 edge
14261 [
14262 source 11
14263 target 5
14264 graphics
14265 [
14266 fill "#000000"
14267 targetArrow "standard"
14268 ]
14269 LabelGraphics
14270 [
14271 text "interface reference FunctionalData"
14272 fontSize 14
14273 fontName "Consolas"
14274 configuration "AutoFlippingLabel"
14275 model "six_pos"
14276 position "thead"
14277 ]
14278 ]
14279]
14280graph
14281[
14282 node
14283 [
14284 id 0
14285 graphics
14286 [
14287 w 226.60000000000002
14288 h 40
14289 type "rectangle"
14290 fill "#FFFFFF"
14291 fill2 "#FFFFFF"
14292 outline "#000000"
14293 ]
14294 LabelGraphics
14295 [
14296 text "Root literal FunctionType"
14297 outline "#000000"
14298 fill "#FFFFFF"
14299 fontSize 16
14300 fontName "Monospace"
14301 autoSizePolicy "node_width"
14302 anchor "t"
14303 borderDistance 0.0
14304 ]
14305 LabelGraphics
14306 [
14307 text "
14308 FunctionType enum
14309 "
14310 fontSize 14
14311 fontName "Consolas"
14312 alignment "left"
14313 anchor "tl"
14314 borderDistance 6
14315 ]
14316 ]
14317
14318 node
14319 [
14320 id 1
14321 graphics
14322 [
14323 w 297.0
14324 h 40
14325 type "rectangle"
14326 fill "#FFFFFF"
14327 fill2 "#FFFFFF"
14328 outline "#000000"
14329 ]
14330 LabelGraphics
14331 [
14332 text "Intermediate literal FunctionType"
14333 outline "#000000"
14334 fill "#FFFFFF"
14335 fontSize 16
14336 fontName "Monospace"
14337 autoSizePolicy "node_width"
14338 anchor "t"
14339 borderDistance 0.0
14340 ]
14341 LabelGraphics
14342 [
14343 text "
14344 FunctionType enum
14345 "
14346 fontSize 14
14347 fontName "Consolas"
14348 alignment "left"
14349 anchor "tl"
14350 borderDistance 6
14351 ]
14352 ]
14353
14354 node
14355 [
14356 id 2
14357 graphics
14358 [
14359 w 226.60000000000002
14360 h 40
14361 type "rectangle"
14362 fill "#FFFFFF"
14363 fill2 "#FFFFFF"
14364 outline "#000000"
14365 ]
14366 LabelGraphics
14367 [
14368 text "Leaf literal FunctionType"
14369 outline "#000000"
14370 fill "#FFFFFF"
14371 fontSize 16
14372 fontName "Monospace"
14373 autoSizePolicy "node_width"
14374 anchor "t"
14375 borderDistance 0.0
14376 ]
14377 LabelGraphics
14378 [
14379 text "
14380 FunctionType enum
14381 "
14382 fontSize 14
14383 fontName "Consolas"
14384 alignment "left"
14385 anchor "tl"
14386 borderDistance 6
14387 ]
14388 ]
14389
14390 node
14391 [
14392 id 3
14393 graphics
14394 [
14395 w 41.800000000000004
14396 h 26
14397 type "rectangle"
14398 fill "#FFFFFF"
14399 fill2 "#FFFFFF"
14400 outline "#000000"
14401 ]
14402 LabelGraphics
14403 [
14404 text "true"
14405 outline "#000000"
14406 fill "#FFFFFF"
14407 fontSize 16
14408 fontName "Monospace"
14409 autoSizePolicy "node_width"
14410 anchor "t"
14411 borderDistance 0.0
14412 ]
14413 LabelGraphics
14414 [
14415 text "
14416 "
14417 fontSize 14
14418 fontName "Consolas"
14419 alignment "left"
14420 anchor "tl"
14421 borderDistance 6
14422 ]
14423 ]
14424
14425 node
14426 [
14427 id 4
14428 graphics
14429 [
14430 w 50.6
14431 h 26
14432 type "rectangle"
14433 fill "#FFFFFF"
14434 fill2 "#FFFFFF"
14435 outline "#000000"
14436 ]
14437 LabelGraphics
14438 [
14439 text "false"
14440 outline "#000000"
14441 fill "#FFFFFF"
14442 fontSize 16
14443 fontName "Monospace"
14444 autoSizePolicy "node_width"
14445 anchor "t"
14446 borderDistance 0.0
14447 ]
14448 LabelGraphics
14449 [
14450 text "
14451 "
14452 fontSize 14
14453 fontName "Consolas"
14454 alignment "left"
14455 anchor "tl"
14456 borderDistance 6
14457 ]
14458 ]
14459
14460 node
14461 [
14462 id 5
14463 graphics
14464 [
14465 w 207.9
14466 h 40
14467 type "rectangle"
14468 fill "#FFFFFF"
14469 fill2 "#FFFFFF"
14470 outline "#000000"
14471 ]
14472 LabelGraphics
14473 [
14474 text "null"
14475 outline "#000000"
14476 fill "#FFFFFF"
14477 fontSize 16
14478 fontName "Monospace"
14479 autoSizePolicy "node_width"
14480 anchor "t"
14481 borderDistance 0.0
14482 ]
14483 LabelGraphics
14484 [
14485 text "
14486 FunctionalInterface class
14487 "
14488 fontSize 14
14489 fontName "Consolas"
14490 alignment "left"
14491 anchor "tl"
14492 borderDistance 6
14493 ]
14494 ]
14495
14496 node
14497 [
14498 id 6
14499 graphics
14500 [
14501 w 177.10000000000002
14502 h 54
14503 type "rectangle"
14504 fill "#FFFFFF"
14505 fill2 "#FFFFFF"
14506 outline "#000000"
14507 ]
14508 LabelGraphics
14509 [
14510 text "null"
14511 outline "#000000"
14512 fill "#FFFFFF"
14513 fontSize 16
14514 fontName "Monospace"
14515 autoSizePolicy "node_width"
14516 anchor "t"
14517 borderDistance 0.0
14518 ]
14519 LabelGraphics
14520 [
14521 text "
14522 FunctionalInput class
14523 FunctionalData class
14524 "
14525 fontSize 14
14526 fontName "Consolas"
14527 alignment "left"
14528 anchor "tl"
14529 borderDistance 6
14530 ]
14531 ]
14532
14533 node
14534 [
14535 id 7
14536 graphics
14537 [
14538 w 161.70000000000002
14539 h 40
14540 type "rectangle"
14541 fill "#FFFFFF"
14542 fill2 "#FFFFFF"
14543 outline "#000000"
14544 ]
14545 LabelGraphics
14546 [
14547 text "null"
14548 outline "#000000"
14549 fill "#FFFFFF"
14550 fontSize 16
14551 fontName "Monospace"
14552 autoSizePolicy "node_width"
14553 anchor "t"
14554 borderDistance 0.0
14555 ]
14556 LabelGraphics
14557 [
14558 text "
14559 FAMTerminator class
14560 "
14561 fontSize 14
14562 fontName "Consolas"
14563 alignment "left"
14564 anchor "tl"
14565 borderDistance 6
14566 ]
14567 ]
14568
14569 node
14570 [
14571 id 8
14572 graphics
14573 [
14574 w 177.10000000000002
14575 h 54
14576 type "rectangle"
14577 fill "#FFFFFF"
14578 fill2 "#FFFFFF"
14579 outline "#000000"
14580 ]
14581 LabelGraphics
14582 [
14583 text "null"
14584 outline "#000000"
14585 fill "#FFFFFF"
14586 fontSize 16
14587 fontName "Monospace"
14588 autoSizePolicy "node_width"
14589 anchor "t"
14590 borderDistance 0.0
14591 ]
14592 LabelGraphics
14593 [
14594 text "
14595 FunctionalInput class
14596 FunctionalData class
14597 "
14598 fontSize 14
14599 fontName "Consolas"
14600 alignment "left"
14601 anchor "tl"
14602 borderDistance 6
14603 ]
14604 ]
14605
14606 node
14607 [
14608 id 9
14609 graphics
14610 [
14611 w 184.8
14612 h 54
14613 type "rectangle"
14614 fill "#FFFFFF"
14615 fill2 "#FFFFFF"
14616 outline "#000000"
14617 ]
14618 LabelGraphics
14619 [
14620 text "null"
14621 outline "#000000"
14622 fill "#FFFFFF"
14623 fontSize 16
14624 fontName "Monospace"
14625 autoSizePolicy "node_width"
14626 anchor "t"
14627 borderDistance 0.0
14628 ]
14629 LabelGraphics
14630 [
14631 text "
14632 FunctionalOutput class
14633 FunctionalData class
14634 "
14635 fontSize 14
14636 fontName "Consolas"
14637 alignment "left"
14638 anchor "tl"
14639 borderDistance 6
14640 ]
14641 ]
14642
14643 node
14644 [
14645 id 10
14646 graphics
14647 [
14648 w 177.10000000000002
14649 h 40
14650 type "rectangle"
14651 fill "#FFFFFF"
14652 fill2 "#FFFFFF"
14653 outline "#000000"
14654 ]
14655 LabelGraphics
14656 [
14657 text "null"
14658 outline "#000000"
14659 fill "#FFFFFF"
14660 fontSize 16
14661 fontName "Monospace"
14662 autoSizePolicy "node_width"
14663 anchor "t"
14664 borderDistance 0.0
14665 ]
14666 LabelGraphics
14667 [
14668 text "
14669 InformationLink class
14670 "
14671 fontSize 14
14672 fontName "Consolas"
14673 alignment "left"
14674 anchor "tl"
14675 borderDistance 6
14676 ]
14677 ]
14678
14679 node
14680 [
14681 id 11
14682 graphics
14683 [
14684 w 184.8
14685 h 54
14686 type "rectangle"
14687 fill "#FFFFFF"
14688 fill2 "#FFFFFF"
14689 outline "#000000"
14690 ]
14691 LabelGraphics
14692 [
14693 text "null"
14694 outline "#000000"
14695 fill "#FFFFFF"
14696 fontSize 16
14697 fontName "Monospace"
14698 autoSizePolicy "node_width"
14699 anchor "t"
14700 borderDistance 0.0
14701 ]
14702 LabelGraphics
14703 [
14704 text "
14705 FunctionalOutput class
14706 FunctionalData class
14707 "
14708 fontSize 14
14709 fontName "Consolas"
14710 alignment "left"
14711 anchor "tl"
14712 borderDistance 6
14713 ]
14714 ]
14715
14716 node
14717 [
14718 id 12
14719 graphics
14720 [
14721 w 112.2
14722 h 26
14723 type "rectangle"
14724 fill "#FFFFFF"
14725 fill2 "#FFFFFF"
14726 outline "#000000"
14727 ]
14728 LabelGraphics
14729 [
14730 text "New Integers"
14731 outline "#000000"
14732 fill "#FFFFFF"
14733 fontSize 16
14734 fontName "Monospace"
14735 autoSizePolicy "node_width"
14736 anchor "t"
14737 borderDistance 0.0
14738 ]
14739 LabelGraphics
14740 [
14741 text "
14742 "
14743 fontSize 14
14744 fontName "Consolas"
14745 alignment "left"
14746 anchor "tl"
14747 borderDistance 6
14748 ]
14749 ]
14750
14751 node
14752 [
14753 id 13
14754 graphics
14755 [
14756 w 85.80000000000001
14757 h 26
14758 type "rectangle"
14759 fill "#FFFFFF"
14760 fill2 "#FFFFFF"
14761 outline "#000000"
14762 ]
14763 LabelGraphics
14764 [
14765 text "New Reals"
14766 outline "#000000"
14767 fill "#FFFFFF"
14768 fontSize 16
14769 fontName "Monospace"
14770 autoSizePolicy "node_width"
14771 anchor "t"
14772 borderDistance 0.0
14773 ]
14774 LabelGraphics
14775 [
14776 text "
14777 "
14778 fontSize 14
14779 fontName "Consolas"
14780 alignment "left"
14781 anchor "tl"
14782 borderDistance 6
14783 ]
14784 ]
14785
14786 node
14787 [
14788 id 14
14789 graphics
14790 [
14791 w 103.4
14792 h 26
14793 type "rectangle"
14794 fill "#FFFFFF"
14795 fill2 "#FFFFFF"
14796 outline "#000000"
14797 ]
14798 LabelGraphics
14799 [
14800 text "New Strings"
14801 outline "#000000"
14802 fill "#FFFFFF"
14803 fontSize 16
14804 fontName "Monospace"
14805 autoSizePolicy "node_width"
14806 anchor "t"
14807 borderDistance 0.0
14808 ]
14809 LabelGraphics
14810 [
14811 text "
14812 "
14813 fontSize 14
14814 fontName "Consolas"
14815 alignment "left"
14816 anchor "tl"
14817 borderDistance 6
14818 ]
14819 ]
14820
14821 node
14822 [
14823 id 15
14824 graphics
14825 [
14826 w 103.4
14827 h 26
14828 type "rectangle"
14829 fill "#FFFFFF"
14830 fill2 "#FFFFFF"
14831 outline "#000000"
14832 ]
14833 LabelGraphics
14834 [
14835 text "New Objects"
14836 outline "#000000"
14837 fill "#FFFFFF"
14838 fontSize 16
14839 fontName "Monospace"
14840 autoSizePolicy "node_width"
14841 anchor "t"
14842 borderDistance 0.0
14843 ]
14844 LabelGraphics
14845 [
14846 text "
14847 "
14848 fontSize 14
14849 fontName "Consolas"
14850 alignment "left"
14851 anchor "tl"
14852 borderDistance 6
14853 ]
14854 ]
14855 edge
14856 [
14857 source 7
14858 target 6
14859 graphics
14860 [
14861 fill "#000000"
14862 targetArrow "standard"
14863 ]
14864 LabelGraphics
14865 [
14866 text "data reference FAMTerminator"
14867 fontSize 14
14868 fontName "Consolas"
14869 configuration "AutoFlippingLabel"
14870 model "six_pos"
14871 position "thead"
14872 ]
14873 ]
14874 edge
14875 [
14876 source 10
14877 target 9
14878 graphics
14879 [
14880 fill "#000000"
14881 targetArrow "standard"
14882 ]
14883 LabelGraphics
14884 [
14885 text "from reference InformationLink"
14886 fontSize 14
14887 fontName "Consolas"
14888 configuration "AutoFlippingLabel"
14889 model "six_pos"
14890 position "thead"
14891 ]
14892 ]
14893 edge
14894 [
14895 source 10
14896 target 8
14897 graphics
14898 [
14899 fill "#000000"
14900 targetArrow "standard"
14901 ]
14902 LabelGraphics
14903 [
14904 text "to reference InformationLink"
14905 fontSize 14
14906 fontName "Consolas"
14907 configuration "AutoFlippingLabel"
14908 model "six_pos"
14909 position "thead"
14910 ]
14911 ]
14912 edge
14913 [
14914 source 5
14915 target 6
14916 graphics
14917 [
14918 fill "#000000"
14919 width 3
14920 targetArrow "standard"
14921 ]
14922 LabelGraphics
14923 [
14924 text "data reference FunctionalInterface"
14925 fontSize 14
14926 fontName "Consolas"
14927 configuration "AutoFlippingLabel"
14928 model "six_pos"
14929 position "thead"
14930 ]
14931 ]
14932 edge
14933 [
14934 source 5
14935 target 8
14936 graphics
14937 [
14938 fill "#000000"
14939 width 3
14940 targetArrow "standard"
14941 ]
14942 LabelGraphics
14943 [
14944 text "data reference FunctionalInterface"
14945 fontSize 14
14946 fontName "Consolas"
14947 configuration "AutoFlippingLabel"
14948 model "six_pos"
14949 position "thead"
14950 ]
14951 ]
14952 edge
14953 [
14954 source 5
14955 target 9
14956 graphics
14957 [
14958 fill "#000000"
14959 width 3
14960 targetArrow "standard"
14961 ]
14962 LabelGraphics
14963 [
14964 text "data reference FunctionalInterface"
14965 fontSize 14
14966 fontName "Consolas"
14967 configuration "AutoFlippingLabel"
14968 model "six_pos"
14969 position "thead"
14970 ]
14971 ]
14972 edge
14973 [
14974 source 5
14975 target 11
14976 graphics
14977 [
14978 fill "#000000"
14979 width 3
14980 targetArrow "standard"
14981 ]
14982 LabelGraphics
14983 [
14984 text "data reference FunctionalInterface"
14985 fontSize 14
14986 fontName "Consolas"
14987 configuration "AutoFlippingLabel"
14988 model "six_pos"
14989 position "thead"
14990 ]
14991 ]
14992 edge
14993 [
14994 source 8
14995 target 10
14996 graphics
14997 [
14998 fill "#000000"
14999 targetArrow "standard"
15000 ]
15001 LabelGraphics
15002 [
15003 text "IncomingLinks reference FunctionalInput"
15004 fontSize 14
15005 fontName "Consolas"
15006 configuration "AutoFlippingLabel"
15007 model "six_pos"
15008 position "thead"
15009 ]
15010 ]
15011 edge
15012 [
15013 source 9
15014 target 10
15015 graphics
15016 [
15017 fill "#000000"
15018 width 3
15019 targetArrow "standard"
15020 ]
15021 LabelGraphics
15022 [
15023 text "outgoingLinks reference FunctionalOutput"
15024 fontSize 14
15025 fontName "Consolas"
15026 configuration "AutoFlippingLabel"
15027 model "six_pos"
15028 position "thead"
15029 ]
15030 ]
15031 edge
15032 [
15033 source 6
15034 target 7
15035 graphics
15036 [
15037 fill "#000000"
15038 width 3
15039 targetArrow "standard"
15040 ]
15041 LabelGraphics
15042 [
15043 text "terminator reference FunctionalData"
15044 fontSize 14
15045 fontName "Consolas"
15046 configuration "AutoFlippingLabel"
15047 model "six_pos"
15048 position "thead"
15049 ]
15050 ]
15051 edge
15052 [
15053 source 6
15054 target 5
15055 graphics
15056 [
15057 fill "#000000"
15058 targetArrow "standard"
15059 ]
15060 LabelGraphics
15061 [
15062 text "interface reference FunctionalData"
15063 fontSize 14
15064 fontName "Consolas"
15065 configuration "AutoFlippingLabel"
15066 model "six_pos"
15067 position "thead"
15068 ]
15069 ]
15070 edge
15071 [
15072 source 8
15073 target 5
15074 graphics
15075 [
15076 fill "#000000"
15077 targetArrow "standard"
15078 ]
15079 LabelGraphics
15080 [
15081 text "interface reference FunctionalData"
15082 fontSize 14
15083 fontName "Consolas"
15084 configuration "AutoFlippingLabel"
15085 model "six_pos"
15086 position "thead"
15087 ]
15088 ]
15089 edge
15090 [
15091 source 9
15092 target 5
15093 graphics
15094 [
15095 fill "#000000"
15096 targetArrow "standard"
15097 ]
15098 LabelGraphics
15099 [
15100 text "interface reference FunctionalData"
15101 fontSize 14
15102 fontName "Consolas"
15103 configuration "AutoFlippingLabel"
15104 model "six_pos"
15105 position "thead"
15106 ]
15107 ]
15108 edge
15109 [
15110 source 11
15111 target 5
15112 graphics
15113 [
15114 fill "#000000"
15115 targetArrow "standard"
15116 ]
15117 LabelGraphics
15118 [
15119 text "interface reference FunctionalData"
15120 fontSize 14
15121 fontName "Consolas"
15122 configuration "AutoFlippingLabel"
15123 model "six_pos"
15124 position "thead"
15125 ]
15126 ]
15127]
generated by cgit v1.2.3-54-g00ecf (git 2.45.2) at 2024-06-17 19:08:18 +0000