2154 lines
110 KiB
Vue
2154 lines
110 KiB
Vue
<!-- Tufts VUE 3.3.0 concept-map (Graph-notes-copy2.vue) 2016-11-16 -->
|
|
<!-- Tufts VUE: http://vue.tufts.edu/ -->
|
|
<!-- Do Not Remove: VUE mapping @version(1.1) jar:file:/nix/store/miyaz9by4k195j53sbl6mgyky60xqjf1-vue-3.3.0/share/vue/vue.jar!/tufts/vue/resources/lw_mapping_1_1.xml -->
|
|
<!-- Do Not Remove: Saved date Wed Nov 16 18:43:16 CET 2016 by georges on platform Linux 4.4.26 in JVM 1.8.0_76-00 -->
|
|
<!-- Do Not Remove: Saving version @(#)VUE: built October 8 2015 at 1724 by tomadm on Linux 2.6.32-504.23.4.el6.x86_64 i386 JVM 1.7.0_21-b11(bits=32) -->
|
|
<?xml version="1.0" encoding="US-ASCII"?>
|
|
<LW-MAP xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
|
|
xsi:noNamespaceSchemaLocation="none" ID="0"
|
|
label="Graph-notes-copy2.vue" created="1479309847604" x="0.0"
|
|
y="0.0" width="1.4E-45" height="1.4E-45" strokeWidth="0.0" autoSized="false">
|
|
<resource referenceCreated="1479318196226" size="112702"
|
|
spec="/home/georges/phc/racket-packages/phc-graph/Graph-notes-copy2.vue"
|
|
type="1" xsi:type="URLResource">
|
|
<title>Graph-notes-copy2.vue</title>
|
|
<property key="File" value="/home/georges/phc/racket-packages/phc-graph/Graph-notes-copy2.vue"/>
|
|
</resource>
|
|
<fillColor>#FFFFFF</fillColor>
|
|
<strokeColor>#404040</strokeColor>
|
|
<textColor>#000000</textColor>
|
|
<font>SansSerif-plain-14</font>
|
|
<URIString>http://vue.tufts.edu/rdf/resource/6dbf6af7c0a80026548592b8dffca40a</URIString>
|
|
<child ID="6" label="Graph" layerID="1" created="1479309863303"
|
|
x="1370.5449" y="544.5457" width="51.0" height="23.0"
|
|
strokeWidth="1.0" autoSized="true" xsi:type="node">
|
|
<fillColor>#F2AE45</fillColor>
|
|
<strokeColor>#776D6D</strokeColor>
|
|
<textColor>#000000</textColor>
|
|
<font>SansSerif-plain-12</font>
|
|
<URIString>http://vue.tufts.edu/rdf/resource/6dbf6afcc0a80026548592b833e3a781</URIString>
|
|
<shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
|
|
</child>
|
|
<child ID="7" label="Auto-generation of mappings" layerID="1"
|
|
created="1479309887096" x="1542.3673" y="532.9207" width="231.0"
|
|
height="46.25" strokeWidth="1.0" autoSized="true" xsi:type="node">
|
|
<fillColor>#8AEE95</fillColor>
|
|
<strokeColor>#776D6D</strokeColor>
|
|
<textColor>#000000</textColor>
|
|
<font>SansSerif-plain-12</font>
|
|
<URIString>http://vue.tufts.edu/rdf/resource/6dbf6afec0a80026548592b88abb8384</URIString>
|
|
<child ID="9" label="As a wrapper?" created="1479309895903"
|
|
x="34.0" y="23.0" width="105.0" height="23.0"
|
|
strokeWidth="1.0" autoSized="true" xsi:type="node">
|
|
<fillColor>#F2AE45</fillColor>
|
|
<strokeColor>#776D6D</strokeColor>
|
|
<textColor>#000000</textColor>
|
|
<font>SansSerif-plain-12</font>
|
|
<URIString>http://vue.tufts.edu/rdf/resource/6dbf6b00c0a80026548592b8a0766ac6</URIString>
|
|
<shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
|
|
</child>
|
|
<shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
|
|
</child>
|
|
<child ID="8" layerID="1" created="1479309887097" x="1421.0449"
|
|
y="555.5457" width="121.82239" height="1.0" strokeWidth="1.0"
|
|
autoSized="false" controlCount="0" arrowState="2" xsi:type="link">
|
|
<strokeColor>#404040</strokeColor>
|
|
<textColor>#404040</textColor>
|
|
<font>SansSerif-plain-11</font>
|
|
<URIString>http://vue.tufts.edu/rdf/resource/6dbf6affc0a80026548592b80b4ee7cc</URIString>
|
|
<point1 x="1421.5449" y="556.0457"/>
|
|
<point2 x="1542.3673" y="556.0457"/>
|
|
<ID1 xsi:type="node">6</ID1>
|
|
<ID2 xsi:type="node">7</ID2>
|
|
</child>
|
|
<child ID="11" label="Structural equality" layerID="1"
|
|
created="1479309904736" x="1331.5449" y="679.30304"
|
|
width="129.0" height="23.0" strokeWidth="1.0" autoSized="true" xsi:type="node">
|
|
<fillColor>#8AEE95</fillColor>
|
|
<strokeColor>#776D6D</strokeColor>
|
|
<textColor>#000000</textColor>
|
|
<font>SansSerif-plain-12</font>
|
|
<URIString>http://vue.tufts.edu/rdf/resource/6dbf6b03c0a80026548592b81914701e</URIString>
|
|
<shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
|
|
</child>
|
|
<child ID="12" layerID="1" created="1479309904738" x="1395.5449"
|
|
y="567.0457" width="1.0" height="112.757324" strokeWidth="1.0"
|
|
autoSized="false" controlCount="0" arrowState="2" xsi:type="link">
|
|
<strokeColor>#404040</strokeColor>
|
|
<textColor>#404040</textColor>
|
|
<font>SansSerif-plain-11</font>
|
|
<URIString>http://vue.tufts.edu/rdf/resource/6dbf6b04c0a80026548592b8c27d0837</URIString>
|
|
<point1 x="1396.0449" y="567.5457"/>
|
|
<point2 x="1396.0449" y="679.30304"/>
|
|
<ID1 xsi:type="node">6</ID1>
|
|
<ID2 xsi:type="node">11</ID2>
|
|
</child>
|
|
<child ID="13" label="Invariants" layerID="1"
|
|
created="1479309905789" x="1195.0447" y="544.5457" width="75.0"
|
|
height="23.0" strokeWidth="1.0" autoSized="true" xsi:type="node">
|
|
<fillColor>#8AEE95</fillColor>
|
|
<strokeColor>#776D6D</strokeColor>
|
|
<textColor>#000000</textColor>
|
|
<font>SansSerif-plain-12</font>
|
|
<URIString>http://vue.tufts.edu/rdf/resource/6dbf6b05c0a80026548592b80343782b</URIString>
|
|
<shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
|
|
</child>
|
|
<child ID="14" layerID="1" created="1479309905791" x="1269.5447"
|
|
y="555.5457" width="101.500244" height="1.0" strokeWidth="1.0"
|
|
autoSized="false" controlCount="0" arrowState="2" xsi:type="link">
|
|
<strokeColor>#404040</strokeColor>
|
|
<textColor>#404040</textColor>
|
|
<font>SansSerif-plain-11</font>
|
|
<URIString>http://vue.tufts.edu/rdf/resource/6dbf6b06c0a80026548592b870fb7c6a</URIString>
|
|
<point1 x="1370.5449" y="556.0457"/>
|
|
<point2 x="1270.0447" y="556.0457"/>
|
|
<ID1 xsi:type="node">6</ID1>
|
|
<ID2 xsi:type="node">13</ID2>
|
|
</child>
|
|
<child ID="15" label="Other" layerID="1" created="1479309906604"
|
|
x="1372.0449" y="409.30307" width="48.0" height="23.0"
|
|
strokeWidth="1.0" autoSized="true" xsi:type="node">
|
|
<fillColor>#F2AE45</fillColor>
|
|
<strokeColor>#776D6D</strokeColor>
|
|
<textColor>#000000</textColor>
|
|
<font>SansSerif-plain-12</font>
|
|
<URIString>http://vue.tufts.edu/rdf/resource/6dbf6b07c0a80026548592b8f5e19e10</URIString>
|
|
<shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
|
|
</child>
|
|
<child ID="16" layerID="1" created="1479309906606" x="1395.5449"
|
|
y="431.80304" width="1.0" height="113.242645" strokeWidth="1.0"
|
|
autoSized="false" controlCount="0" arrowState="2" xsi:type="link">
|
|
<strokeColor>#404040</strokeColor>
|
|
<textColor>#404040</textColor>
|
|
<font>SansSerif-plain-11</font>
|
|
<URIString>http://vue.tufts.edu/rdf/resource/6dbf6b08c0a80026548592b840ee8fa0</URIString>
|
|
<point1 x="1396.0449" y="544.5457"/>
|
|
<point2 x="1396.0449" y="432.30307"/>
|
|
<ID1 xsi:type="node">6</ID1>
|
|
<ID2 xsi:type="node">15</ID2>
|
|
</child>
|
|
<child ID="17" label="Scope" layerID="1" created="1479309922342"
|
|
x="888.125" y="402.36423" width="52.0" height="23.0"
|
|
strokeWidth="1.0" autoSized="true" xsi:type="node">
|
|
<fillColor>#F2AE45</fillColor>
|
|
<strokeColor>#776D6D</strokeColor>
|
|
<textColor>#000000</textColor>
|
|
<font>SansSerif-plain-12</font>
|
|
<URIString>http://vue.tufts.edu/rdf/resource/6dbf6b09c0a80026548592b8217a1807</URIString>
|
|
<shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
|
|
</child>
|
|
<child ID="18" layerID="1" created="1479309922344" x="935.15173"
|
|
y="422.97638" width="272.13837" height="122.069305"
|
|
strokeWidth="1.0" autoSized="false" controlCount="0"
|
|
arrowState="2" xsi:type="link">
|
|
<strokeColor>#404040</strokeColor>
|
|
<textColor>#404040</textColor>
|
|
<font>SansSerif-plain-11</font>
|
|
<URIString>http://vue.tufts.edu/rdf/resource/6dbf6b09c0a80026548592b8dfab693e</URIString>
|
|
<point1 x="1206.7902" y="544.5457"/>
|
|
<point2 x="935.6518" y="423.4764"/>
|
|
<ID1 xsi:type="node">13</ID1>
|
|
<ID2 xsi:type="node">17</ID2>
|
|
</child>
|
|
<child ID="19" label="Verification time" layerID="1"
|
|
created="1479309923132" x="862.125" y="534.5457" width="116.0"
|
|
height="23.0" strokeWidth="1.0" autoSized="true" xsi:type="node">
|
|
<fillColor>#F2AE45</fillColor>
|
|
<strokeColor>#776D6D</strokeColor>
|
|
<textColor>#000000</textColor>
|
|
<font>SansSerif-plain-12</font>
|
|
<URIString>http://vue.tufts.edu/rdf/resource/6dbf6b0ac0a80026548592b87ee8d14b</URIString>
|
|
<shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
|
|
</child>
|
|
<child ID="20" label="nn" layerID="1" created="1479309923134"
|
|
x="977.55347" y="544.3727" width="217.99121" height="14.0"
|
|
strokeWidth="1.0" autoSized="false" controlCount="0"
|
|
arrowState="2" xsi:type="link">
|
|
<strokeColor>#404040</strokeColor>
|
|
<textColor>#404040</textColor>
|
|
<font>SansSerif-plain-11</font>
|
|
<URIString>http://vue.tufts.edu/rdf/resource/6dbf6b11c0a80026548592b89f9e9272</URIString>
|
|
<point1 x="1195.0447" y="554.8454"/>
|
|
<point2 x="978.05347" y="547.8999"/>
|
|
<ID1 xsi:type="node">13</ID1>
|
|
<ID2 xsi:type="node">19</ID2>
|
|
</child>
|
|
<child ID="21" label="Specification" layerID="1"
|
|
created="1479309923917" x="870.625" y="682.8775" width="94.0"
|
|
height="23.0" strokeWidth="1.0" autoSized="true" xsi:type="node">
|
|
<fillColor>#F2AE45</fillColor>
|
|
<strokeColor>#776D6D</strokeColor>
|
|
<textColor>#000000</textColor>
|
|
<font>SansSerif-plain-12</font>
|
|
<URIString>http://vue.tufts.edu/rdf/resource/6dbf6b12c0a80026548592b83be06baa</URIString>
|
|
<shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
|
|
</child>
|
|
<child ID="22" layerID="1" created="1479309923919" x="943.3053"
|
|
y="567.0457" width="263.55908" height="116.33179"
|
|
strokeWidth="1.0" autoSized="false" controlCount="0"
|
|
arrowState="2" xsi:type="link">
|
|
<strokeColor>#404040</strokeColor>
|
|
<textColor>#404040</textColor>
|
|
<font>SansSerif-plain-11</font>
|
|
<URIString>http://vue.tufts.edu/rdf/resource/6dbf6b13c0a80026548592b8f03d2a45</URIString>
|
|
<point1 x="1206.3644" y="567.5457"/>
|
|
<point2 x="943.8053" y="682.8775"/>
|
|
<ID1 xsi:type="node">13</ID1>
|
|
<ID2 xsi:type="node">21</ID2>
|
|
</child>
|
|
<child ID="23" label="Coloring" layerID="1" created="1479309940842"
|
|
x="1363.5449" y="327.30307" width="65.0" height="23.0"
|
|
strokeWidth="1.0" autoSized="true" xsi:type="node">
|
|
<fillColor>#8AEE95</fillColor>
|
|
<strokeColor>#776D6D</strokeColor>
|
|
<textColor>#000000</textColor>
|
|
<font>SansSerif-plain-12</font>
|
|
<URIString>http://vue.tufts.edu/rdf/resource/6dbf6b14c0a80026548592b8bc35fbb9</URIString>
|
|
<shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
|
|
</child>
|
|
<child ID="24" layerID="1" created="1479309940844" x="1395.5449"
|
|
y="349.80307" width="1.0" height="60.0" strokeWidth="1.0"
|
|
autoSized="false" controlCount="0" arrowState="2" xsi:type="link">
|
|
<strokeColor>#404040</strokeColor>
|
|
<textColor>#404040</textColor>
|
|
<font>SansSerif-plain-11</font>
|
|
<URIString>http://vue.tufts.edu/rdf/resource/6dbf6b14c0a80026548592b87410806e</URIString>
|
|
<point1 x="1396.0449" y="409.30307"/>
|
|
<point2 x="1396.0449" y="350.30307"/>
|
|
<ID1 xsi:type="node">15</ID1>
|
|
<ID2 xsi:type="node">23</ID2>
|
|
</child>
|
|
<child ID="25" label="Coalesce nodes which are equal?" layerID="1"
|
|
created="1479310031080" x="1279.0449" y="895.30304"
|
|
width="234.0" height="23.0" strokeWidth="1.0" autoSized="true" xsi:type="node">
|
|
<fillColor>#F2AE45</fillColor>
|
|
<strokeColor>#776D6D</strokeColor>
|
|
<textColor>#000000</textColor>
|
|
<font>SansSerif-plain-12</font>
|
|
<URIString>http://vue.tufts.edu/rdf/resource/6dc1a307c0a80026548592b8c2af76c4</URIString>
|
|
<shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
|
|
</child>
|
|
<child ID="26" layerID="1" created="1479310031081" x="1395.5449"
|
|
y="701.80304" width="1.0" height="194.0" strokeWidth="1.0"
|
|
autoSized="false" controlCount="0" arrowState="2" xsi:type="link">
|
|
<strokeColor>#404040</strokeColor>
|
|
<textColor>#404040</textColor>
|
|
<font>SansSerif-plain-11</font>
|
|
<URIString>http://vue.tufts.edu/rdf/resource/6dc1a307c0a80026548592b8a04c0bf0</URIString>
|
|
<point1 x="1396.0449" y="702.30304"/>
|
|
<point2 x="1396.0449" y="895.30304"/>
|
|
<ID1 xsi:type="node">11</ID1>
|
|
<ID2 xsi:type="node">25</ID2>
|
|
</child>
|
|
<child ID="27" label="Hash consing" layerID="1"
|
|
created="1479310041195" x="1133.1572" y="1014.7637"
|
|
width="100.0" height="23.0" strokeWidth="1.0" autoSized="true" xsi:type="node">
|
|
<fillColor>#F2AE45</fillColor>
|
|
<strokeColor>#776D6D</strokeColor>
|
|
<textColor>#000000</textColor>
|
|
<font>SansSerif-plain-12</font>
|
|
<URIString>http://vue.tufts.edu/rdf/resource/6dc1a308c0a80026548592b8ff6b1596</URIString>
|
|
<shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
|
|
</child>
|
|
<child ID="28" layerID="1" created="1479310041197" x="1203.1511"
|
|
y="917.803" width="172.90002" height="97.46063"
|
|
strokeWidth="1.0" autoSized="false" controlCount="0"
|
|
arrowState="2" xsi:type="link">
|
|
<strokeColor>#404040</strokeColor>
|
|
<textColor>#404040</textColor>
|
|
<font>SansSerif-plain-11</font>
|
|
<URIString>http://vue.tufts.edu/rdf/resource/6dc1a308c0a80026548592b8be3bbbf2</URIString>
|
|
<point1 x="1375.551" y="918.30304"/>
|
|
<point2 x="1203.651" y="1014.7637"/>
|
|
<ID1 xsi:type="node">25</ID1>
|
|
<ID2 xsi:type="node">27</ID2>
|
|
</child>
|
|
<child ID="29"
|
|
label="= deterministic finite automaton minimization
(when there are no unordered sets)"
|
|
layerID="1" created="1479310064475" x="1051.3567" y="1141.0577"
|
|
width="302.0" height="38.0" strokeWidth="1.0" autoSized="true" xsi:type="node">
|
|
<fillColor>#F2AE45</fillColor>
|
|
<strokeColor>#776D6D</strokeColor>
|
|
<textColor>#000000</textColor>
|
|
<font>SansSerif-plain-12</font>
|
|
<URIString>http://vue.tufts.edu/rdf/resource/6dc1a309c0a80026548592b84e893214</URIString>
|
|
<shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
|
|
</child>
|
|
<child ID="33" label="=" layerID="1" created="1479310109124"
|
|
x="1297.7559" y="1027.0216" width="22.0" height="23.0"
|
|
strokeWidth="1.0" autoSized="true" xsi:type="node">
|
|
<fillColor>#F2AE45</fillColor>
|
|
<strokeColor>#776D6D</strokeColor>
|
|
<textColor>#000000</textColor>
|
|
<font>SansSerif-plain-12</font>
|
|
<URIString>http://vue.tufts.edu/rdf/resource/6dc1a30ac0a80026548592b8ea42a1af</URIString>
|
|
<shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
|
|
</child>
|
|
<child ID="34" layerID="1" created="1479310109126" x="1314.6741"
|
|
y="917.803" width="74.24988" height="111.53345"
|
|
strokeWidth="1.0" autoSized="false" controlCount="0"
|
|
arrowState="2" xsi:type="link">
|
|
<strokeColor>#404040</strokeColor>
|
|
<textColor>#404040</textColor>
|
|
<font>SansSerif-plain-11</font>
|
|
<URIString>http://vue.tufts.edu/rdf/resource/6dc1a30ac0a80026548592b87117f4c4</URIString>
|
|
<point1 x="1388.4241" y="918.303"/>
|
|
<point2 x="1315.1742" y="1028.8364"/>
|
|
<ID1 xsi:type="node">25</ID1>
|
|
<ID2 xsi:type="node">33</ID2>
|
|
</child>
|
|
<child ID="35" layerID="1" created="1479310112683" x="1218.4905"
|
|
y="1046.8333" width="83.05139" height="94.72449"
|
|
strokeWidth="1.0" autoSized="false" controlCount="0"
|
|
arrowState="2" xsi:type="link">
|
|
<strokeColor>#404040</strokeColor>
|
|
<textColor>#404040</textColor>
|
|
<font>SansSerif-plain-11</font>
|
|
<URIString>http://vue.tufts.edu/rdf/resource/6dc1a30bc0a80026548592b83098fe4a</URIString>
|
|
<point1 x="1301.0417" y="1047.3333"/>
|
|
<point2 x="1218.9904" y="1141.0577"/>
|
|
<ID1 xsi:type="node">33</ID1>
|
|
<ID2 xsi:type="node">29</ID2>
|
|
</child>
|
|
<child ID="36"
|
|
label="= deterministic finite automaton minimization
(when there are unordered sets)"
|
|
layerID="1" created="1479310130202" x="1377.7128" y="1139.0991"
|
|
width="302.0" height="38.0" strokeWidth="1.0" autoSized="true" xsi:type="node">
|
|
<fillColor>#F2AE45</fillColor>
|
|
<strokeColor>#776D6D</strokeColor>
|
|
<textColor>#000000</textColor>
|
|
<font>SansSerif-plain-12</font>
|
|
<URIString>http://vue.tufts.edu/rdf/resource/6dc1a30bc0a80026548592b8e12add9f</URIString>
|
|
<shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
|
|
</child>
|
|
<child ID="37" layerID="1" created="1479310130203" x="1318.3906"
|
|
y="1043.5312" width="175.87244" height="96.06787"
|
|
strokeWidth="1.0" autoSized="false" controlCount="0"
|
|
arrowState="2" xsi:type="link">
|
|
<strokeColor>#404040</strokeColor>
|
|
<textColor>#404040</textColor>
|
|
<font>SansSerif-plain-11</font>
|
|
<URIString>http://vue.tufts.edu/rdf/resource/6dc1a30cc0a80026548592b879e5ac96</URIString>
|
|
<point1 x="1318.8907" y="1044.0312"/>
|
|
<point2 x="1493.7632" y="1139.0991"/>
|
|
<ID1 xsi:type="node">33</ID1>
|
|
<ID2 xsi:type="node">36</ID2>
|
|
</child>
|
|
<child ID="42"
|
|
label="Cache all calls to equal? while grouping nodes"
|
|
layerID="1" created="1479310644302" x="1362.7698" y="1029.8263"
|
|
width="315.0" height="23.0" strokeWidth="1.0" autoSized="true" xsi:type="node">
|
|
<fillColor>#F2AE45</fillColor>
|
|
<strokeColor>#776D6D</strokeColor>
|
|
<textColor>#000000</textColor>
|
|
<font>SansSerif-plain-12</font>
|
|
<URIString>http://vue.tufts.edu/rdf/resource/6dc99799c0a80026548592b87d2d4299</URIString>
|
|
<shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
|
|
</child>
|
|
<child ID="43" layerID="1" created="1479310644303" x="1406.1646"
|
|
y="917.803" width="103.985596" height="112.52338"
|
|
strokeWidth="1.0" autoSized="false" controlCount="0"
|
|
arrowState="2" xsi:type="link">
|
|
<strokeColor>#404040</strokeColor>
|
|
<textColor>#404040</textColor>
|
|
<font>SansSerif-plain-11</font>
|
|
<URIString>http://vue.tufts.edu/rdf/resource/6dc99799c0a80026548592b80979537c</URIString>
|
|
<point1 x="1406.6646" y="918.30304"/>
|
|
<point2 x="1509.6501" y="1029.8264"/>
|
|
<ID1 xsi:type="node">25</ID1>
|
|
<ID2 xsi:type="node">42</ID2>
|
|
</child>
|
|
<child ID="44"
|
|
label="Allows fast comparison of nodes within the same graph"
|
|
layerID="1" created="1479310691911" x="1539.634" y="991.3014"
|
|
width="373.0" height="23.0" strokeWidth="1.0" autoSized="true" xsi:type="node">
|
|
<fillColor>#F2AE45</fillColor>
|
|
<strokeColor>#776D6D</strokeColor>
|
|
<textColor>#000000</textColor>
|
|
<font>SansSerif-plain-12</font>
|
|
<URIString>http://vue.tufts.edu/rdf/resource/6dcae10dc0a80026548592b847b6398e</URIString>
|
|
<shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
|
|
</child>
|
|
<child ID="45" layerID="1" created="1479310691912" x="1435.0875"
|
|
y="917.8031" width="252.0039" height="73.99835"
|
|
strokeWidth="1.0" autoSized="false" controlCount="0"
|
|
arrowState="2" xsi:type="link">
|
|
<strokeColor>#404040</strokeColor>
|
|
<textColor>#404040</textColor>
|
|
<font>SansSerif-plain-11</font>
|
|
<URIString>http://vue.tufts.edu/rdf/resource/6dcae10dc0a80026548592b8f409d90b</URIString>
|
|
<point1 x="1435.5875" y="918.30304"/>
|
|
<point2 x="1686.5914" y="991.3014"/>
|
|
<ID1 xsi:type="node">25</ID1>
|
|
<ID2 xsi:type="node">44</ID2>
|
|
</child>
|
|
<child ID="68" label="Type policy" layerID="1"
|
|
created="1479311229819" x="395.39288" y="229.19116" width="82.0"
|
|
height="23.0" strokeWidth="1.0" autoSized="true" xsi:type="node">
|
|
<fillColor>#F2AE45</fillColor>
|
|
<strokeColor>#776D6D</strokeColor>
|
|
<textColor>#000000</textColor>
|
|
<font>SansSerif-plain-12</font>
|
|
<URIString>http://vue.tufts.edu/rdf/resource/6dd89bd2c0a80026548592b8d3f60760</URIString>
|
|
<shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
|
|
</child>
|
|
<child ID="90" label="Macro policy" layerID="1"
|
|
created="1479311433081" x="-389.97388" y="-73.299225"
|
|
width="92.0" height="23.0" strokeWidth="1.0" autoSized="true" xsi:type="node">
|
|
<fillColor>#F2AE45</fillColor>
|
|
<strokeColor>#776D6D</strokeColor>
|
|
<textColor>#000000</textColor>
|
|
<font>SansSerif-plain-12</font>
|
|
<URIString>http://vue.tufts.edu/rdf/resource/6dd89bd4c0a80026548592b8697d13c4</URIString>
|
|
<shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
|
|
</child>
|
|
<child ID="103" label="/!\ May interfere with each other"
|
|
layerID="1" created="1479311599825" x="-205.96884"
|
|
y="-212.25525" width="221.0" height="23.0" strokeWidth="3.0"
|
|
autoSized="true" xsi:type="node">
|
|
<fillColor>#FEFEC9</fillColor>
|
|
<strokeColor>#EA2218</strokeColor>
|
|
<textColor>#000000</textColor>
|
|
<font>SansSerif-plain-12</font>
|
|
<URIString>http://vue.tufts.edu/rdf/resource/6dd89bd5c0a80026548592b8ddb5b6c7</URIString>
|
|
<shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
|
|
</child>
|
|
<child ID="104" layerID="1" created="1479311599826" x="-323.90762"
|
|
y="-189.75525" width="208.3725" height="116.956024"
|
|
strokeWidth="1.0" autoSized="false" controlCount="0"
|
|
arrowState="2" xsi:type="link">
|
|
<strokeColor>#404040</strokeColor>
|
|
<textColor>#404040</textColor>
|
|
<font>SansSerif-plain-11</font>
|
|
<URIString>http://vue.tufts.edu/rdf/resource/6dd89bd5c0a80026548592b81da96232</URIString>
|
|
<point1 x="-323.40762" y="-73.299225"/>
|
|
<point2 x="-116.03512" y="-189.25525"/>
|
|
<ID1 xsi:type="node">90</ID1>
|
|
<ID2 xsi:type="node">103</ID2>
|
|
</child>
|
|
<child ID="105" label="May alter a mapping's inputs" layerID="1"
|
|
created="1479311627089" x="-134.56888" y="-119.67706"
|
|
width="198.0" height="23.0" strokeWidth="1.0" autoSized="true" xsi:type="node">
|
|
<fillColor>#F2AE45</fillColor>
|
|
<strokeColor>#776D6D</strokeColor>
|
|
<textColor>#000000</textColor>
|
|
<font>SansSerif-plain-12</font>
|
|
<URIString>http://vue.tufts.edu/rdf/resource/6dd89bd6c0a80026548592b853276e56</URIString>
|
|
<shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
|
|
</child>
|
|
<child ID="106" layerID="1" created="1479311627089" x="-300.1209"
|
|
y="-97.17706" width="188.57895" height="29.208054"
|
|
strokeWidth="1.0" autoSized="false" controlCount="0"
|
|
arrowState="2" xsi:type="link">
|
|
<strokeColor>#404040</strokeColor>
|
|
<textColor>#404040</textColor>
|
|
<font>SansSerif-plain-11</font>
|
|
<URIString>http://vue.tufts.edu/rdf/resource/6dd89bd6c0a80026548592b89262c338</URIString>
|
|
<point1 x="-299.6209" y="-68.46901"/>
|
|
<point2 x="-112.041954" y="-96.67706"/>
|
|
<ID1 xsi:type="node">90</ID1>
|
|
<ID2 xsi:type="node">105</ID2>
|
|
</child>
|
|
<child ID="107"
|
|
label="May wrap or check or alter a mapping's outputs"
|
|
layerID="1" created="1479311633861" x="-222.12064"
|
|
y="-67.143234" width="322.0" height="23.0" strokeWidth="1.0"
|
|
autoSized="true" xsi:type="node">
|
|
<fillColor>#F2AE45</fillColor>
|
|
<strokeColor>#776D6D</strokeColor>
|
|
<textColor>#000000</textColor>
|
|
<font>SansSerif-plain-12</font>
|
|
<URIString>http://vue.tufts.edu/rdf/resource/6dd89bd6c0a80026548592b8c817c8d9</URIString>
|
|
<shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
|
|
</child>
|
|
<child ID="108" layerID="1" created="1479311633863" x="-298.47388"
|
|
y="-61.298088" width="77.25604" height="2.6596298"
|
|
strokeWidth="1.0" autoSized="false" controlCount="0"
|
|
arrowState="2" xsi:type="link">
|
|
<strokeColor>#404040</strokeColor>
|
|
<textColor>#404040</textColor>
|
|
<font>SansSerif-plain-11</font>
|
|
<URIString>http://vue.tufts.edu/rdf/resource/6dd89bd6c0a80026548592b88ac312bd</URIString>
|
|
<point1 x="-297.97388" y="-60.798088"/>
|
|
<point2 x="-221.71783" y="-59.13846"/>
|
|
<ID1 xsi:type="node">90</ID1>
|
|
<ID2 xsi:type="node">107</ID2>
|
|
</child>
|
|
<child ID="109" label="Wrap with ann" layerID="1"
|
|
created="1479311725257" x="179.63742" y="-87.783356"
|
|
width="102.0" height="23.0" strokeWidth="1.0" autoSized="true" xsi:type="node">
|
|
<fillColor>#F2AE45</fillColor>
|
|
<strokeColor>#776D6D</strokeColor>
|
|
<textColor>#000000</textColor>
|
|
<font>SansSerif-plain-12</font>
|
|
<URIString>http://vue.tufts.edu/rdf/resource/6dda878ec0a80026548592b8416c8f4f</URIString>
|
|
<shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
|
|
</child>
|
|
<child ID="110" layerID="1" created="1479311725259" x="92.37849"
|
|
y="-73.20509" width="88.17851" height="7.167351"
|
|
strokeWidth="1.0" autoSized="false" controlCount="0"
|
|
arrowState="2" xsi:type="link">
|
|
<strokeColor>#000000</strokeColor>
|
|
<textColor>#404040</textColor>
|
|
<font>SansSerif-plain-11</font>
|
|
<URIString>http://vue.tufts.edu/rdf/resource/6dda878ec0a80026548592b8d9e1112c</URIString>
|
|
<point1 x="92.87848" y="-66.53774"/>
|
|
<point2 x="180.05699" y="-72.70509"/>
|
|
<ID1 xsi:type="node">107</ID1>
|
|
<ID2 xsi:type="node">109</ID2>
|
|
</child>
|
|
<child ID="134" label="Enforcement on the transform or creation"
|
|
layerID="1" created="1479312135902" x="513.5795" y="700.1646"
|
|
width="284.0" height="23.0" strokeWidth="1.0" autoSized="true" xsi:type="node">
|
|
<fillColor>#F2AE45</fillColor>
|
|
<strokeColor>#000000</strokeColor>
|
|
<textColor>#000000</textColor>
|
|
<font>SansSerif-plain-12</font>
|
|
<URIString>http://vue.tufts.edu/rdf/resource/6de44031c0a80026548592b83703e1b4</URIString>
|
|
<shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
|
|
</child>
|
|
<child ID="135" label=" " layerID="1" created="1479312135902"
|
|
x="387.89288" y="700.1646" width="97.0" height="23.0"
|
|
strokeWidth="1.0" autoSized="false" xsi:type="node">
|
|
<fillColor>#C1F780</fillColor>
|
|
<strokeColor>#D0D0D0</strokeColor>
|
|
<textColor>#000000</textColor>
|
|
<font>SansSerif-plain-12</font>
|
|
<URIString>http://vue.tufts.edu/rdf/resource/6de44031c0a80026548592b885daa51d</URIString>
|
|
<shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
|
|
</child>
|
|
<child ID="136" label=" " layerID="1" created="1479312135902"
|
|
x="267.07953" y="700.1646" width="97.0" height="23.0"
|
|
strokeWidth="1.0" autoSized="false" xsi:type="node">
|
|
<fillColor>#FFFFFF</fillColor>
|
|
<strokeColor>#D0D0D0</strokeColor>
|
|
<textColor>#000000</textColor>
|
|
<font>SansSerif-plain-12</font>
|
|
<URIString>http://vue.tufts.edu/rdf/resource/6de44031c0a80026548592b88d7a52cf</URIString>
|
|
<shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
|
|
</child>
|
|
<child ID="137" label=" " layerID="1" created="1479312135902"
|
|
x="140.07953" y="700.1646" width="97.0" height="23.0"
|
|
strokeWidth="1.0" autoSized="false" xsi:type="node">
|
|
<fillColor>#FFFFFF</fillColor>
|
|
<strokeColor>#D0D0D0</strokeColor>
|
|
<textColor>#000000</textColor>
|
|
<font>SansSerif-plain-12</font>
|
|
<URIString>http://vue.tufts.edu/rdf/resource/6de44031c0a80026548592b8fe262430</URIString>
|
|
<shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
|
|
</child>
|
|
<child ID="138" label=" " layerID="1" created="1479312135902"
|
|
x="-10.920471" y="699.3646" width="97.0" height="23.0"
|
|
strokeWidth="1.0" autoSized="false" xsi:type="node">
|
|
<fillColor>#C1F780</fillColor>
|
|
<strokeColor>#D0D0D0</strokeColor>
|
|
<textColor>#000000</textColor>
|
|
<font>SansSerif-plain-12</font>
|
|
<URIString>http://vue.tufts.edu/rdf/resource/6de44031c0a80026548592b8ba0f1bbc</URIString>
|
|
<shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
|
|
</child>
|
|
<child ID="139" label=" " layerID="1" created="1479312135902"
|
|
x="-174.5517" y="700.96466" width="97.0" height="23.0"
|
|
strokeWidth="1.0" autoSized="false" xsi:type="node">
|
|
<fillColor>#C1F780</fillColor>
|
|
<strokeColor>#D0D0D0</strokeColor>
|
|
<textColor>#000000</textColor>
|
|
<font>SansSerif-plain-12</font>
|
|
<URIString>http://vue.tufts.edu/rdf/resource/6de44032c0a80026548592b8ce56fcb8</URIString>
|
|
<shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
|
|
</child>
|
|
<child ID="140" label=" " layerID="1" created="1479312135902"
|
|
x="-543.1742" y="702.5647" width="97.0" height="23.0"
|
|
strokeWidth="1.0" autoSized="false" xsi:type="node">
|
|
<fillColor>#C1F780</fillColor>
|
|
<strokeColor>#D0D0D0</strokeColor>
|
|
<textColor>#000000</textColor>
|
|
<font>SansSerif-plain-12</font>
|
|
<URIString>http://vue.tufts.edu/rdf/resource/6de44032c0a80026548592b84c0668a9</URIString>
|
|
<shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
|
|
</child>
|
|
<child ID="142" label=" " layerID="1" created="1479312150155"
|
|
x="-674.41174" y="702.5647" width="97.0" height="23.0"
|
|
strokeWidth="1.0" autoSized="false" xsi:type="node">
|
|
<fillColor>#C1F780</fillColor>
|
|
<strokeColor>#D0D0D0</strokeColor>
|
|
<textColor>#000000</textColor>
|
|
<font>SansSerif-plain-12</font>
|
|
<URIString>http://vue.tufts.edu/rdf/resource/6de44032c0a80026548592b844ae0a4b</URIString>
|
|
<shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
|
|
</child>
|
|
<child ID="143" label="Invariants on the graph / node" layerID="1"
|
|
created="1479312150155" x="513.5795" y="661.1646" width="210.0"
|
|
height="23.0" strokeWidth="1.0" autoSized="true" xsi:type="node">
|
|
<fillColor>#F2AE45</fillColor>
|
|
<strokeColor>#000000</strokeColor>
|
|
<textColor>#000000</textColor>
|
|
<font>SansSerif-plain-12</font>
|
|
<URIString>http://vue.tufts.edu/rdf/resource/6de44032c0a80026548592b8746d8906</URIString>
|
|
<shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
|
|
</child>
|
|
<child ID="144" label=" " layerID="1" created="1479312150155"
|
|
x="387.89288" y="661.1646" width="97.0" height="23.0"
|
|
strokeWidth="1.0" autoSized="false" xsi:type="node">
|
|
<fillColor>#C1F780</fillColor>
|
|
<strokeColor>#D0D0D0</strokeColor>
|
|
<textColor>#000000</textColor>
|
|
<font>SansSerif-plain-12</font>
|
|
<URIString>http://vue.tufts.edu/rdf/resource/6de44032c0a80026548592b8eab64176</URIString>
|
|
<shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
|
|
</child>
|
|
<child ID="145" label=" " layerID="1" created="1479312150155"
|
|
x="267.07953" y="661.1646" width="97.0" height="23.0"
|
|
strokeWidth="1.0" autoSized="false" xsi:type="node">
|
|
<fillColor>#FFFFFF</fillColor>
|
|
<strokeColor>#D0D0D0</strokeColor>
|
|
<textColor>#000000</textColor>
|
|
<font>SansSerif-plain-12</font>
|
|
<URIString>http://vue.tufts.edu/rdf/resource/6de44032c0a80026548592b8e2b0179a</URIString>
|
|
<shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
|
|
</child>
|
|
<child ID="146" label=" " layerID="1" created="1479312150155"
|
|
x="140.07953" y="661.1646" width="97.0" height="23.0"
|
|
strokeWidth="1.0" autoSized="false" xsi:type="node">
|
|
<fillColor>#FFFFFF</fillColor>
|
|
<strokeColor>#D0D0D0</strokeColor>
|
|
<textColor>#000000</textColor>
|
|
<font>SansSerif-plain-12</font>
|
|
<URIString>http://vue.tufts.edu/rdf/resource/6de44032c0a80026548592b8f1e9514a</URIString>
|
|
<shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
|
|
</child>
|
|
<child ID="147" label=" " layerID="1" created="1479312150155"
|
|
x="-10.920471" y="660.3646" width="97.0" height="23.0"
|
|
strokeWidth="1.0" autoSized="false" xsi:type="node">
|
|
<fillColor>#FFFFFF</fillColor>
|
|
<strokeColor>#D0D0D0</strokeColor>
|
|
<textColor>#000000</textColor>
|
|
<font>SansSerif-plain-12</font>
|
|
<URIString>http://vue.tufts.edu/rdf/resource/6de44032c0a80026548592b8726ffcc1</URIString>
|
|
<shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
|
|
</child>
|
|
<child ID="148" label=" " layerID="1" created="1479312150155"
|
|
x="-174.5517" y="661.96466" width="97.0" height="23.0"
|
|
strokeWidth="1.0" autoSized="false" xsi:type="node">
|
|
<fillColor>#C1F780</fillColor>
|
|
<strokeColor>#D0D0D0</strokeColor>
|
|
<textColor>#000000</textColor>
|
|
<font>SansSerif-plain-12</font>
|
|
<URIString>http://vue.tufts.edu/rdf/resource/6de44033c0a80026548592b8ff3e3904</URIString>
|
|
<shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
|
|
</child>
|
|
<child ID="150" label=" " layerID="1" created="1479312155692"
|
|
x="-543.1742" y="663.5647" width="97.0" height="23.0"
|
|
strokeWidth="1.0" autoSized="false" xsi:type="node">
|
|
<fillColor>#FFFFFF</fillColor>
|
|
<strokeColor>#D0D0D0</strokeColor>
|
|
<textColor>#000000</textColor>
|
|
<font>SansSerif-plain-12</font>
|
|
<URIString>http://vue.tufts.edu/rdf/resource/6de44033c0a80026548592b8e43cd085</URIString>
|
|
<shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
|
|
</child>
|
|
<child ID="151" label=" " layerID="1" created="1479312155692"
|
|
x="-674.41174" y="663.5647" width="97.0" height="23.0"
|
|
strokeWidth="1.0" autoSized="false" xsi:type="node">
|
|
<fillColor>#C1F780</fillColor>
|
|
<strokeColor>#D0D0D0</strokeColor>
|
|
<textColor>#000000</textColor>
|
|
<font>SansSerif-plain-12</font>
|
|
<URIString>http://vue.tufts.edu/rdf/resource/6de44033c0a80026548592b80a95f30b</URIString>
|
|
<shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
|
|
</child>
|
|
<child ID="152" label="Compile-time" layerID="1"
|
|
created="1479312155692" x="513.5795" y="593.27094" width="97.0"
|
|
height="23.0" strokeWidth="1.0" autoSized="false" xsi:type="node">
|
|
<fillColor>#F2AE45</fillColor>
|
|
<strokeColor>#000000</strokeColor>
|
|
<textColor>#000000</textColor>
|
|
<font>SansSerif-plain-12</font>
|
|
<URIString>http://vue.tufts.edu/rdf/resource/6de44033c0a80026548592b8a738f623</URIString>
|
|
<shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
|
|
</child>
|
|
<child ID="153" label=" " layerID="1" created="1479312155692"
|
|
x="387.89288" y="593.27094" width="97.0" height="23.0"
|
|
strokeWidth="1.0" autoSized="false" xsi:type="node">
|
|
<fillColor>#C1F780</fillColor>
|
|
<strokeColor>#D0D0D0</strokeColor>
|
|
<textColor>#000000</textColor>
|
|
<font>SansSerif-plain-12</font>
|
|
<URIString>http://vue.tufts.edu/rdf/resource/6de44033c0a80026548592b840e9de75</URIString>
|
|
<shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
|
|
</child>
|
|
<child ID="154" label=" " layerID="1" created="1479312155692"
|
|
x="267.07953" y="593.27094" width="97.0" height="23.0"
|
|
strokeWidth="1.0" autoSized="false" xsi:type="node">
|
|
<fillColor>#FFFFFF</fillColor>
|
|
<strokeColor>#D0D0D0</strokeColor>
|
|
<textColor>#000000</textColor>
|
|
<font>SansSerif-plain-12</font>
|
|
<URIString>http://vue.tufts.edu/rdf/resource/6de44033c0a80026548592b869523b7f</URIString>
|
|
<shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
|
|
</child>
|
|
<child ID="155" label=" " layerID="1" created="1479312155692"
|
|
x="140.07953" y="593.27094" width="97.0" height="23.0"
|
|
strokeWidth="1.0" autoSized="false" xsi:type="node">
|
|
<fillColor>#FFFFFF</fillColor>
|
|
<strokeColor>#D0D0D0</strokeColor>
|
|
<textColor>#000000</textColor>
|
|
<font>SansSerif-plain-12</font>
|
|
<URIString>http://vue.tufts.edu/rdf/resource/6de44033c0a80026548592b80ecff1d4</URIString>
|
|
<shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
|
|
</child>
|
|
<child ID="156" label=" " layerID="1" created="1479312155692"
|
|
x="-10.920471" y="592.47095" width="97.0" height="23.0"
|
|
strokeWidth="1.0" autoSized="false" xsi:type="node">
|
|
<fillColor>#FFFFFF</fillColor>
|
|
<strokeColor>#D0D0D0</strokeColor>
|
|
<textColor>#000000</textColor>
|
|
<font>SansSerif-plain-12</font>
|
|
<URIString>http://vue.tufts.edu/rdf/resource/6de44033c0a80026548592b8868c3bd4</URIString>
|
|
<shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
|
|
</child>
|
|
<child ID="158" label=" " layerID="1" created="1479312155692"
|
|
x="-174.5517" y="594.071" width="97.0" height="23.0"
|
|
strokeWidth="1.0" autoSized="false" xsi:type="node">
|
|
<fillColor>#FFFFFF</fillColor>
|
|
<strokeColor>#D0D0D0</strokeColor>
|
|
<textColor>#000000</textColor>
|
|
<font>SansSerif-plain-12</font>
|
|
<URIString>http://vue.tufts.edu/rdf/resource/6de44033c0a80026548592b8f1f2c034</URIString>
|
|
<shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
|
|
</child>
|
|
<child ID="159" label=" " layerID="1" created="1479312155692"
|
|
x="-543.1742" y="595.671" width="97.0" height="23.0"
|
|
strokeWidth="1.0" autoSized="false" xsi:type="node">
|
|
<fillColor>#C1F780</fillColor>
|
|
<strokeColor>#D0D0D0</strokeColor>
|
|
<textColor>#000000</textColor>
|
|
<font>SansSerif-plain-12</font>
|
|
<URIString>http://vue.tufts.edu/rdf/resource/6de44033c0a80026548592b81f88086b</URIString>
|
|
<shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
|
|
</child>
|
|
<child ID="160" label=" " layerID="1" created="1479312155692"
|
|
x="-674.41174" y="595.671" width="97.0" height="23.0"
|
|
strokeWidth="1.0" autoSized="false" xsi:type="node">
|
|
<fillColor>#C1F780</fillColor>
|
|
<strokeColor>#D0D0D0</strokeColor>
|
|
<textColor>#000000</textColor>
|
|
<font>SansSerif-plain-12</font>
|
|
<URIString>http://vue.tufts.edu/rdf/resource/6de44034c0a80026548592b8a06db952</URIString>
|
|
<shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
|
|
</child>
|
|
<child ID="161" label="Run-time" layerID="1" created="1479312155692"
|
|
x="513.5795" y="554.27106" width="97.0" height="23.0"
|
|
strokeWidth="1.0" autoSized="false" xsi:type="node">
|
|
<fillColor>#F2AE45</fillColor>
|
|
<strokeColor>#000000</strokeColor>
|
|
<textColor>#000000</textColor>
|
|
<font>SansSerif-plain-12</font>
|
|
<URIString>http://vue.tufts.edu/rdf/resource/6de44034c0a80026548592b84247db44</URIString>
|
|
<shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
|
|
</child>
|
|
<child ID="162" label=" " layerID="1" created="1479312155692"
|
|
x="387.89288" y="554.27106" width="97.0" height="23.0"
|
|
strokeWidth="1.0" autoSized="false" xsi:type="node">
|
|
<fillColor>#FFFFFF</fillColor>
|
|
<strokeColor>#D0D0D0</strokeColor>
|
|
<textColor>#000000</textColor>
|
|
<font>SansSerif-plain-12</font>
|
|
<URIString>http://vue.tufts.edu/rdf/resource/6de44034c0a80026548592b80183cc60</URIString>
|
|
<shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
|
|
</child>
|
|
<child ID="163" label=" " layerID="1" created="1479312155692"
|
|
x="267.07953" y="554.27106" width="97.0" height="23.0"
|
|
strokeWidth="1.0" autoSized="false" xsi:type="node">
|
|
<fillColor>#FFFFFF</fillColor>
|
|
<strokeColor>#D0D0D0</strokeColor>
|
|
<textColor>#000000</textColor>
|
|
<font>SansSerif-plain-12</font>
|
|
<URIString>http://vue.tufts.edu/rdf/resource/6de44034c0a80026548592b8a53213f5</URIString>
|
|
<shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
|
|
</child>
|
|
<child ID="164" label=" " layerID="1" created="1479312155692"
|
|
x="140.07953" y="554.27106" width="97.0" height="23.0"
|
|
strokeWidth="1.0" autoSized="false" xsi:type="node">
|
|
<fillColor>#FFFFFF</fillColor>
|
|
<strokeColor>#D0D0D0</strokeColor>
|
|
<textColor>#000000</textColor>
|
|
<font>SansSerif-plain-12</font>
|
|
<URIString>http://vue.tufts.edu/rdf/resource/6de44034c0a80026548592b88fe1f15c</URIString>
|
|
<shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
|
|
</child>
|
|
<child ID="166" label=" " layerID="1" created="1479312165108"
|
|
x="-10.920471" y="553.47107" width="97.0" height="23.0"
|
|
strokeWidth="1.0" autoSized="false" xsi:type="node">
|
|
<fillColor>#C1F780</fillColor>
|
|
<strokeColor>#D0D0D0</strokeColor>
|
|
<textColor>#000000</textColor>
|
|
<font>SansSerif-plain-12</font>
|
|
<URIString>http://vue.tufts.edu/rdf/resource/6de44034c0a80026548592b804a1a9ba</URIString>
|
|
<shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
|
|
</child>
|
|
<child ID="167" label=" " layerID="1" created="1479312165108"
|
|
x="-174.5517" y="555.0711" width="97.0" height="23.0"
|
|
strokeWidth="1.0" autoSized="false" xsi:type="node">
|
|
<fillColor>#C1F780</fillColor>
|
|
<strokeColor>#D0D0D0</strokeColor>
|
|
<textColor>#000000</textColor>
|
|
<font>SansSerif-plain-12</font>
|
|
<URIString>http://vue.tufts.edu/rdf/resource/6de44034c0a80026548592b8ad21ad51</URIString>
|
|
<shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
|
|
</child>
|
|
<child ID="168" label=" " layerID="1" created="1479312165108"
|
|
x="-543.1742" y="556.67114" width="97.0" height="23.0"
|
|
strokeWidth="1.0" autoSized="false" xsi:type="node">
|
|
<fillColor>#FFFFFF</fillColor>
|
|
<strokeColor>#D0D0D0</strokeColor>
|
|
<textColor>#000000</textColor>
|
|
<font>SansSerif-plain-12</font>
|
|
<URIString>http://vue.tufts.edu/rdf/resource/6de44034c0a80026548592b8f7cab75e</URIString>
|
|
<shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
|
|
</child>
|
|
<child ID="169" label=" " layerID="1" created="1479312165108"
|
|
x="-674.41174" y="556.67114" width="97.0" height="23.0"
|
|
strokeWidth="1.0" autoSized="false" xsi:type="node">
|
|
<fillColor>#FFFFFF</fillColor>
|
|
<strokeColor>#D0D0D0</strokeColor>
|
|
<textColor>#000000</textColor>
|
|
<font>SansSerif-plain-12</font>
|
|
<URIString>http://vue.tufts.edu/rdf/resource/6de44035c0a80026548592b824a5ea38</URIString>
|
|
<shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
|
|
</child>
|
|
<child ID="170" label="Transformation" layerID="1"
|
|
created="1479312165108" x="513.5795" y="480.32404" width="139.0"
|
|
height="46.25" strokeWidth="1.0" autoSized="true" xsi:type="node">
|
|
<fillColor>#F2AE45</fillColor>
|
|
<strokeColor>#000000</strokeColor>
|
|
<textColor>#000000</textColor>
|
|
<font>SansSerif-plain-12</font>
|
|
<URIString>http://vue.tufts.edu/rdf/resource/6de44035c0a80026548592b8fcd64fad</URIString>
|
|
<child ID="52" label="Like ->i" created="1479310857171" x="34.0"
|
|
y="23.0" width="59.0" height="23.0" strokeWidth="1.0"
|
|
autoSized="true" xsi:type="node">
|
|
<fillColor>#BDE5F2</fillColor>
|
|
<strokeColor>#776D6D</strokeColor>
|
|
<textColor>#000000</textColor>
|
|
<font>SansSerif-plain-12</font>
|
|
<URIString>http://vue.tufts.edu/rdf/resource/6dcc935cc0a80026548592b89128dae1</URIString>
|
|
<shape xsi:type="rectangle"/>
|
|
</child>
|
|
<shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
|
|
</child>
|
|
<child ID="171" label=" " layerID="1" created="1479312165108"
|
|
x="387.89288" y="480.32404" width="97.0" height="23.0"
|
|
strokeWidth="1.0" autoSized="false" xsi:type="node">
|
|
<fillColor>#FFFFFF</fillColor>
|
|
<strokeColor>#D0D0D0</strokeColor>
|
|
<textColor>#000000</textColor>
|
|
<font>SansSerif-plain-12</font>
|
|
<URIString>http://vue.tufts.edu/rdf/resource/6de44035c0a80026548592b8414a595b</URIString>
|
|
<shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
|
|
</child>
|
|
<child ID="172" label=" " layerID="1" created="1479312165108"
|
|
x="267.07953" y="480.32404" width="97.0" height="23.0"
|
|
strokeWidth="1.0" autoSized="false" xsi:type="node">
|
|
<fillColor>#FFFFFF</fillColor>
|
|
<strokeColor>#D0D0D0</strokeColor>
|
|
<textColor>#000000</textColor>
|
|
<font>SansSerif-plain-12</font>
|
|
<URIString>http://vue.tufts.edu/rdf/resource/6de44035c0a80026548592b8e07930e9</URIString>
|
|
<shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
|
|
</child>
|
|
<child ID="174" label=" " layerID="1" created="1479312165108"
|
|
x="140.07953" y="480.32404" width="97.0" height="23.0"
|
|
strokeWidth="1.0" autoSized="false" xsi:type="node">
|
|
<fillColor>#FFFFFF</fillColor>
|
|
<strokeColor>#D0D0D0</strokeColor>
|
|
<textColor>#000000</textColor>
|
|
<font>SansSerif-plain-12</font>
|
|
<URIString>http://vue.tufts.edu/rdf/resource/6de44035c0a80026548592b861833437</URIString>
|
|
<shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
|
|
</child>
|
|
<child ID="175" label=" " layerID="1" created="1479312165108"
|
|
x="-10.920471" y="479.52405" width="97.0" height="23.0"
|
|
strokeWidth="1.0" autoSized="false" xsi:type="node">
|
|
<fillColor>#C1F780</fillColor>
|
|
<strokeColor>#D0D0D0</strokeColor>
|
|
<textColor>#000000</textColor>
|
|
<font>SansSerif-plain-12</font>
|
|
<URIString>http://vue.tufts.edu/rdf/resource/6de44035c0a80026548592b82804bc71</URIString>
|
|
<shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
|
|
</child>
|
|
<child ID="176" label=" " layerID="1" created="1479312165108"
|
|
x="-174.5517" y="481.12408" width="97.0" height="23.0"
|
|
strokeWidth="1.0" autoSized="false" xsi:type="node">
|
|
<fillColor>#FFFFFF</fillColor>
|
|
<strokeColor>#D0D0D0</strokeColor>
|
|
<textColor>#000000</textColor>
|
|
<font>SansSerif-plain-12</font>
|
|
<URIString>http://vue.tufts.edu/rdf/resource/6de44035c0a80026548592b80db43a99</URIString>
|
|
<shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
|
|
</child>
|
|
<child ID="177" label=" " layerID="1" created="1479312165108"
|
|
x="-543.1742" y="482.72412" width="97.0" height="23.0"
|
|
strokeWidth="1.0" autoSized="false" xsi:type="node">
|
|
<fillColor>#FFFFFF</fillColor>
|
|
<strokeColor>#D0D0D0</strokeColor>
|
|
<textColor>#000000</textColor>
|
|
<font>SansSerif-plain-12</font>
|
|
<URIString>http://vue.tufts.edu/rdf/resource/6de44035c0a80026548592b86a9bcf32</URIString>
|
|
<shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
|
|
</child>
|
|
<child ID="178" label=" " layerID="1" created="1479312165108"
|
|
x="-674.41174" y="482.72412" width="97.0" height="23.0"
|
|
strokeWidth="1.0" autoSized="false" xsi:type="node">
|
|
<fillColor>#FFFFFF</fillColor>
|
|
<strokeColor>#D0D0D0</strokeColor>
|
|
<textColor>#000000</textColor>
|
|
<font>SansSerif-plain-12</font>
|
|
<URIString>http://vue.tufts.edu/rdf/resource/6de44036c0a80026548592b82c6a1147</URIString>
|
|
<shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
|
|
</child>
|
|
<child ID="179" label="Output" layerID="1" created="1479312165108"
|
|
x="513.5795" y="441.72406" width="97.0" height="23.0"
|
|
strokeWidth="1.0" autoSized="false" xsi:type="node">
|
|
<fillColor>#F2AE45</fillColor>
|
|
<strokeColor>#000000</strokeColor>
|
|
<textColor>#000000</textColor>
|
|
<font>SansSerif-plain-12</font>
|
|
<URIString>http://vue.tufts.edu/rdf/resource/6de44036c0a80026548592b88c7132d7</URIString>
|
|
<shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
|
|
</child>
|
|
<child ID="180" label=" " layerID="1" created="1479312165108"
|
|
x="387.89288" y="441.72406" width="97.0" height="23.0"
|
|
strokeWidth="1.0" autoSized="false" xsi:type="node">
|
|
<fillColor>#C1F780</fillColor>
|
|
<strokeColor>#D0D0D0</strokeColor>
|
|
<textColor>#000000</textColor>
|
|
<font>SansSerif-plain-12</font>
|
|
<URIString>http://vue.tufts.edu/rdf/resource/6de44036c0a80026548592b82856a3fe</URIString>
|
|
<shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
|
|
</child>
|
|
<child ID="182" label=" " layerID="1" created="1479312165108"
|
|
x="267.07953" y="441.72406" width="97.0" height="23.0"
|
|
strokeWidth="1.0" autoSized="false" xsi:type="node">
|
|
<fillColor>#FFFFFF</fillColor>
|
|
<strokeColor>#D0D0D0</strokeColor>
|
|
<textColor>#000000</textColor>
|
|
<font>SansSerif-plain-12</font>
|
|
<URIString>http://vue.tufts.edu/rdf/resource/6de44036c0a80026548592b8125e3add</URIString>
|
|
<shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
|
|
</child>
|
|
<child ID="183" label=" " layerID="1" created="1479312165108"
|
|
x="140.07953" y="441.72406" width="97.0" height="23.0"
|
|
strokeWidth="1.0" autoSized="false" xsi:type="node">
|
|
<fillColor>#FFFFFF</fillColor>
|
|
<strokeColor>#D0D0D0</strokeColor>
|
|
<textColor>#000000</textColor>
|
|
<font>SansSerif-plain-12</font>
|
|
<URIString>http://vue.tufts.edu/rdf/resource/6de44036c0a80026548592b8242976ae</URIString>
|
|
<shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
|
|
</child>
|
|
<child ID="184" label=" " layerID="1" created="1479312165108"
|
|
x="-10.920471" y="440.92407" width="97.0" height="23.0"
|
|
strokeWidth="1.0" autoSized="false" xsi:type="node">
|
|
<fillColor>#FFFFFF</fillColor>
|
|
<strokeColor>#D0D0D0</strokeColor>
|
|
<textColor>#000000</textColor>
|
|
<font>SansSerif-plain-12</font>
|
|
<URIString>http://vue.tufts.edu/rdf/resource/6de44036c0a80026548592b8700f0c58</URIString>
|
|
<shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
|
|
</child>
|
|
<child ID="185" label=" " layerID="1" created="1479312165108"
|
|
x="-174.5517" y="442.5241" width="97.0" height="23.0"
|
|
strokeWidth="1.0" autoSized="false" xsi:type="node">
|
|
<fillColor>#C1F780</fillColor>
|
|
<strokeColor>#D0D0D0</strokeColor>
|
|
<textColor>#000000</textColor>
|
|
<font>SansSerif-plain-12</font>
|
|
<URIString>http://vue.tufts.edu/rdf/resource/6de44036c0a80026548592b888f9f0fc</URIString>
|
|
<shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
|
|
</child>
|
|
<child ID="186" label=" " layerID="1" created="1479312165108"
|
|
x="-543.1742" y="444.12415" width="97.0" height="23.0"
|
|
strokeWidth="1.0" autoSized="false" xsi:type="node">
|
|
<fillColor>#C1F780</fillColor>
|
|
<strokeColor>#D0D0D0</strokeColor>
|
|
<textColor>#000000</textColor>
|
|
<font>SansSerif-plain-12</font>
|
|
<URIString>http://vue.tufts.edu/rdf/resource/6de44036c0a80026548592b829d22ddb</URIString>
|
|
<shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
|
|
</child>
|
|
<child ID="187" label=" " layerID="1" created="1479312165108"
|
|
x="-674.41174" y="444.12415" width="97.0" height="23.0"
|
|
strokeWidth="1.0" autoSized="false" xsi:type="node">
|
|
<fillColor>#C1F780</fillColor>
|
|
<strokeColor>#D0D0D0</strokeColor>
|
|
<textColor>#000000</textColor>
|
|
<font>SansSerif-plain-12</font>
|
|
<URIString>http://vue.tufts.edu/rdf/resource/6de44036c0a80026548592b8fb44d733</URIString>
|
|
<shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
|
|
</child>
|
|
<child ID="188" label="Input" layerID="1" created="1479312165108"
|
|
x="513.5795" y="402.724" width="97.0" height="23.0"
|
|
strokeWidth="1.0" autoSized="false" xsi:type="node">
|
|
<fillColor>#F2AE45</fillColor>
|
|
<strokeColor>#000000</strokeColor>
|
|
<textColor>#000000</textColor>
|
|
<font>SansSerif-plain-12</font>
|
|
<URIString>http://vue.tufts.edu/rdf/resource/6de44036c0a80026548592b8010e8b83</URIString>
|
|
<shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
|
|
</child>
|
|
<child ID="190" label=" " layerID="1" created="1479312165108"
|
|
x="387.89288" y="402.724" width="97.0" height="23.0"
|
|
strokeWidth="1.0" autoSized="false" xsi:type="node">
|
|
<fillColor>#C1F780</fillColor>
|
|
<strokeColor>#D0D0D0</strokeColor>
|
|
<textColor>#000000</textColor>
|
|
<font>SansSerif-plain-12</font>
|
|
<URIString>http://vue.tufts.edu/rdf/resource/6de44037c0a80026548592b8b07192d1</URIString>
|
|
<shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
|
|
</child>
|
|
<child ID="191" label=" " layerID="1" created="1479312165108"
|
|
x="267.07953" y="402.724" width="97.0" height="23.0"
|
|
strokeWidth="1.0" autoSized="false" xsi:type="node">
|
|
<fillColor>#FFFFFF</fillColor>
|
|
<strokeColor>#D0D0D0</strokeColor>
|
|
<textColor>#000000</textColor>
|
|
<font>SansSerif-plain-12</font>
|
|
<URIString>http://vue.tufts.edu/rdf/resource/6de44037c0a80026548592b85d8d2676</URIString>
|
|
<shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
|
|
</child>
|
|
<child ID="192" label=" " layerID="1" created="1479312165108"
|
|
x="140.07953" y="402.724" width="97.0" height="23.0"
|
|
strokeWidth="1.0" autoSized="false" xsi:type="node">
|
|
<fillColor>#FFFFFF</fillColor>
|
|
<strokeColor>#D0D0D0</strokeColor>
|
|
<textColor>#000000</textColor>
|
|
<font>SansSerif-plain-12</font>
|
|
<URIString>http://vue.tufts.edu/rdf/resource/6de44037c0a80026548592b818309ef9</URIString>
|
|
<shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
|
|
</child>
|
|
<child ID="193" label=" " layerID="1" created="1479312165108"
|
|
x="-10.920471" y="401.924" width="97.0" height="23.0"
|
|
strokeWidth="1.0" autoSized="false" xsi:type="node">
|
|
<fillColor>#FFFFFF</fillColor>
|
|
<strokeColor>#D0D0D0</strokeColor>
|
|
<textColor>#000000</textColor>
|
|
<font>SansSerif-plain-12</font>
|
|
<URIString>http://vue.tufts.edu/rdf/resource/6de44037c0a80026548592b8ce547432</URIString>
|
|
<shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
|
|
</child>
|
|
<child ID="194" label=" " layerID="1" created="1479312165108"
|
|
x="-174.5517" y="403.52405" width="97.0" height="23.0"
|
|
strokeWidth="1.0" autoSized="false" xsi:type="node">
|
|
<fillColor>#C1F780</fillColor>
|
|
<strokeColor>#D0D0D0</strokeColor>
|
|
<textColor>#000000</textColor>
|
|
<font>SansSerif-plain-12</font>
|
|
<URIString>http://vue.tufts.edu/rdf/resource/6de44037c0a80026548592b8808f7487</URIString>
|
|
<shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
|
|
</child>
|
|
<child ID="195" label=" " layerID="1" created="1479312165108"
|
|
x="-543.1742" y="405.12408" width="97.0" height="23.0"
|
|
strokeWidth="1.0" autoSized="false" xsi:type="node">
|
|
<fillColor>#C1F780</fillColor>
|
|
<strokeColor>#D0D0D0</strokeColor>
|
|
<textColor>#000000</textColor>
|
|
<font>SansSerif-plain-12</font>
|
|
<URIString>http://vue.tufts.edu/rdf/resource/6de44037c0a80026548592b8f5b31808</URIString>
|
|
<shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
|
|
</child>
|
|
<child ID="196" label=" " layerID="1" created="1479312165108"
|
|
x="-674.41174" y="405.12408" width="97.0" height="23.0"
|
|
strokeWidth="1.0" autoSized="false" xsi:type="node">
|
|
<fillColor>#C1F780</fillColor>
|
|
<strokeColor>#D0D0D0</strokeColor>
|
|
<textColor>#000000</textColor>
|
|
<font>SansSerif-plain-12</font>
|
|
<URIString>http://vue.tufts.edu/rdf/resource/6de44037c0a80026548592b8b71cf339</URIString>
|
|
<shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
|
|
</child>
|
|
<child ID="211" label="No cycles in τ" layerID="1"
|
|
created="1479312437302" x="386.89288" y="364.19955" width="99.0"
|
|
height="23.0" strokeWidth="1.0" autoSized="true" xsi:type="node">
|
|
<fillColor>#F2AE45</fillColor>
|
|
<strokeColor>#000000</strokeColor>
|
|
<textColor>#000000</textColor>
|
|
<font>SansSerif-plain-12</font>
|
|
<URIString>http://vue.tufts.edu/rdf/resource/6deb6c15c0a80026548592b8b3165e14</URIString>
|
|
<shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
|
|
</child>
|
|
<child ID="212" label="Nouveau Nœud" layerID="1"
|
|
created="1479312437302" x="259.57953" y="364.19955"
|
|
width="112.0" height="23.0" strokeWidth="1.0" autoSized="true" xsi:type="node">
|
|
<fillColor>#F2AE45</fillColor>
|
|
<strokeColor>#000000</strokeColor>
|
|
<textColor>#000000</textColor>
|
|
<font>SansSerif-plain-12</font>
|
|
<URIString>http://vue.tufts.edu/rdf/resource/6deb6c16c0a80026548592b8a5a2565a</URIString>
|
|
<shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
|
|
</child>
|
|
<child ID="213" label="Nouveau Nœud" layerID="1"
|
|
created="1479312437302" x="132.57953" y="364.19955"
|
|
width="112.0" height="23.0" strokeWidth="1.0" autoSized="true" xsi:type="node">
|
|
<fillColor>#F2AE45</fillColor>
|
|
<strokeColor>#000000</strokeColor>
|
|
<textColor>#000000</textColor>
|
|
<font>SansSerif-plain-12</font>
|
|
<URIString>http://vue.tufts.edu/rdf/resource/6deb6c16c0a80026548592b82772e2e6</URIString>
|
|
<shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
|
|
</child>
|
|
<child ID="214" label="no excess / missing
nodes" layerID="1"
|
|
created="1479312437302" x="-27.020462" y="346.59958"
|
|
width="139.0" height="38.0" strokeWidth="1.0" autoSized="true" xsi:type="node">
|
|
<fillColor>#F2AE45</fillColor>
|
|
<strokeColor>#000000</strokeColor>
|
|
<textColor>#000000</textColor>
|
|
<font>SansSerif-plain-12</font>
|
|
<URIString>http://vue.tufts.edu/rdf/resource/6deb6c16c0a80026548592b844d9ed3a</URIString>
|
|
<shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
|
|
</child>
|
|
<child ID="215" label="Structural invariant" layerID="1"
|
|
created="1479312437302" x="-207.0517" y="301.2496" width="162.0"
|
|
height="86.75" strokeWidth="1.0" autoSized="true" xsi:type="node">
|
|
<fillColor>#F2AE45</fillColor>
|
|
<strokeColor>#000000</strokeColor>
|
|
<textColor>#000000</textColor>
|
|
<font>SansSerif-plain-12</font>
|
|
<URIString>http://vue.tufts.edu/rdf/resource/6deb6c16c0a80026548592b8c110cac6</URIString>
|
|
<child ID="248" label="No cycles (a.** != a)"
|
|
created="1479315054444" x="34.0" y="23.0" width="145.0"
|
|
height="23.0" strokeWidth="1.0" autoSized="true" xsi:type="node">
|
|
<fillColor>#F2AE45</fillColor>
|
|
<strokeColor>#000000</strokeColor>
|
|
<textColor>#000000</textColor>
|
|
<font>SansSerif-plain-12</font>
|
|
<URIString>http://vue.tufts.edu/rdf/resource/6e0db15543a6be970d2ffe259c8e4183</URIString>
|
|
<shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
|
|
</child>
|
|
<child ID="249" label="a.b.c = a" created="1479315069014"
|
|
x="34.0" y="43.25" width="112.78567" height="23.0"
|
|
strokeWidth="1.0" autoSized="false" xsi:type="node">
|
|
<fillColor>#F2AE45</fillColor>
|
|
<strokeColor>#000000</strokeColor>
|
|
<textColor>#000000</textColor>
|
|
<font>SansSerif-plain-12</font>
|
|
<URIString>http://vue.tufts.edu/rdf/resource/6e0db15643a6be970d2ffe25e7c11d51</URIString>
|
|
<shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
|
|
</child>
|
|
<child ID="256" label="a ∈ a.b.c" created="1479315479126"
|
|
x="34.0" y="63.5" width="112.0" height="23.0"
|
|
strokeWidth="1.0" autoSized="false" xsi:type="node">
|
|
<fillColor>#F2AE45</fillColor>
|
|
<strokeColor>#776D6D</strokeColor>
|
|
<textColor>#000000</textColor>
|
|
<font>SansSerif-plain-12</font>
|
|
<URIString>http://vue.tufts.edu/rdf/resource/6e13f9e943a6be970d2ffe25a12d6061</URIString>
|
|
<shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
|
|
</child>
|
|
<shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
|
|
</child>
|
|
<child ID="216" label="Fill in auto fields" layerID="1"
|
|
created="1479312437302" x="-566.6742" y="323.0996" width="144.0"
|
|
height="66.5" strokeWidth="1.0" autoSized="true" xsi:type="node">
|
|
<fillColor>#F2AE45</fillColor>
|
|
<strokeColor>#000000</strokeColor>
|
|
<textColor>#000000</textColor>
|
|
<font>SansSerif-plain-12</font>
|
|
<URIString>http://vue.tufts.edu/rdf/resource/6deb6c16c0a80026548592b84cf1af9a</URIString>
|
|
<child ID="115" label="count(path)" created="1479311769963"
|
|
x="34.0" y="23.0" width="88.0" height="23.0"
|
|
strokeWidth="1.0" autoSized="true" xsi:type="node">
|
|
<fillColor>#F2AE45</fillColor>
|
|
<strokeColor>#776D6D</strokeColor>
|
|
<textColor>#000000</textColor>
|
|
<font>SansSerif-plain-12</font>
|
|
<URIString>http://vue.tufts.edu/rdf/resource/6dda878fc0a80026548592b8d8c09cc8</URIString>
|
|
<shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
|
|
</child>
|
|
<child ID="113" label="path" created="1479311761209" x="34.0"
|
|
y="43.25" width="41.0" height="23.0" strokeWidth="1.0"
|
|
autoSized="true" xsi:type="node">
|
|
<fillColor>#F2AE45</fillColor>
|
|
<strokeColor>#776D6D</strokeColor>
|
|
<textColor>#000000</textColor>
|
|
<font>SansSerif-plain-12</font>
|
|
<URIString>http://vue.tufts.edu/rdf/resource/6dda878ec0a80026548592b8a59d8be9</URIString>
|
|
<shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
|
|
</child>
|
|
<shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
|
|
</child>
|
|
<child ID="217" label="Field types" layerID="1"
|
|
created="1479312437302" x="-666.41174" y="366.5996" width="81.0"
|
|
height="23.0" strokeWidth="1.0" autoSized="true" xsi:type="node">
|
|
<fillColor>#F2AE45</fillColor>
|
|
<strokeColor>#000000</strokeColor>
|
|
<textColor>#000000</textColor>
|
|
<font>SansSerif-plain-12</font>
|
|
<URIString>http://vue.tufts.edu/rdf/resource/6deb6c16c0a80026548592b8ef57e7b6</URIString>
|
|
<shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
|
|
</child>
|
|
<child ID="220" layerID="1" created="1479312977113" x="610.0796"
|
|
y="413.39075" width="278.54547" height="1.2836609"
|
|
strokeWidth="1.0" autoSized="false" controlCount="0"
|
|
arrowState="2" xsi:type="link">
|
|
<strokeColor>#404040</strokeColor>
|
|
<textColor>#404040</textColor>
|
|
<font>SansSerif-plain-11</font>
|
|
<URIString>http://vue.tufts.edu/rdf/resource/6df4a0bec0a80026548592b8679982c0</URIString>
|
|
<point1 x="888.125" y="413.89078"/>
|
|
<point2 x="610.5795" y="414.17444"/>
|
|
<ID1 xsi:type="node">17</ID1>
|
|
<ID2 xsi:type="node">188</ID2>
|
|
</child>
|
|
<child ID="221" layerID="1" created="1479312980477" x="609.3052"
|
|
y="416.2401" width="279.59772" height="32.1481"
|
|
strokeWidth="1.0" autoSized="false" controlCount="0"
|
|
arrowState="2" xsi:type="link">
|
|
<strokeColor>#404040</strokeColor>
|
|
<textColor>#404040</textColor>
|
|
<font>SansSerif-plain-11</font>
|
|
<URIString>http://vue.tufts.edu/rdf/resource/6df4a0bec0a80026548592b8c719c5c2</URIString>
|
|
<point1 x="888.40283" y="416.74008"/>
|
|
<point2 x="609.8051" y="447.88818"/>
|
|
<ID1 xsi:type="node">17</ID1>
|
|
<ID2 xsi:type="node">179</ID2>
|
|
</child>
|
|
<child ID="222" layerID="1" created="1479312983887" x="650.3943"
|
|
y="419.96667" width="239.83246" height="65.63086"
|
|
strokeWidth="1.0" autoSized="false" controlCount="0"
|
|
arrowState="2" xsi:type="link">
|
|
<strokeColor>#404040</strokeColor>
|
|
<textColor>#404040</textColor>
|
|
<font>SansSerif-plain-11</font>
|
|
<URIString>http://vue.tufts.edu/rdf/resource/6df4a0bec0a80026548592b87ce595a9</URIString>
|
|
<point1 x="889.72675" y="420.46667"/>
|
|
<point2 x="650.8943" y="485.09753"/>
|
|
<ID1 xsi:type="node">17</ID1>
|
|
<ID2 xsi:type="node">170</ID2>
|
|
</child>
|
|
<child ID="223" layerID="1" created="1479312987068" x="609.84546"
|
|
y="548.7224" width="253.11804" height="14.889587"
|
|
strokeWidth="1.0" autoSized="false" controlCount="0"
|
|
arrowState="2" xsi:type="link">
|
|
<strokeColor>#404040</strokeColor>
|
|
<textColor>#404040</textColor>
|
|
<font>SansSerif-plain-11</font>
|
|
<URIString>http://vue.tufts.edu/rdf/resource/6df4a0bec0a80026548592b83272ecb3</URIString>
|
|
<point1 x="862.4635" y="549.2224"/>
|
|
<point2 x="610.34546" y="563.112"/>
|
|
<ID1 xsi:type="node">19</ID1>
|
|
<ID2 xsi:type="node">161</ID2>
|
|
</child>
|
|
<child ID="224" layerID="1" created="1479312989934" x="607.8163"
|
|
y="554.4879" width="258.28827" height="43.1994"
|
|
strokeWidth="1.0" autoSized="false" controlCount="0"
|
|
arrowState="2" xsi:type="link">
|
|
<strokeColor>#404040</strokeColor>
|
|
<textColor>#404040</textColor>
|
|
<font>SansSerif-plain-11</font>
|
|
<URIString>http://vue.tufts.edu/rdf/resource/6df4a0bec0a80026548592b847abd123</URIString>
|
|
<point1 x="865.6046" y="554.988"/>
|
|
<point2 x="608.31635" y="597.1874"/>
|
|
<ID1 xsi:type="node">19</ID1>
|
|
<ID2 xsi:type="node">152</ID2>
|
|
</child>
|
|
<child ID="225" layerID="1" created="1479312993421" x="720.89624"
|
|
y="679.6299" width="150.60919" height="11.862732"
|
|
strokeWidth="1.0" autoSized="false" controlCount="0"
|
|
arrowState="2" xsi:type="link">
|
|
<strokeColor>#404040</strokeColor>
|
|
<textColor>#404040</textColor>
|
|
<font>SansSerif-plain-11</font>
|
|
<URIString>http://vue.tufts.edu/rdf/resource/6df4a0bfc0a80026548592b82421558c</URIString>
|
|
<point1 x="871.0054" y="690.9926"/>
|
|
<point2 x="721.3962" y="680.1299"/>
|
|
<ID1 xsi:type="node">21</ID1>
|
|
<ID2 xsi:type="node">143</ID2>
|
|
</child>
|
|
<child ID="226" layerID="1" created="1479312996582" x="793.3353"
|
|
y="696.95703" width="78.10858" height="6.086853"
|
|
strokeWidth="1.0" autoSized="false" controlCount="0"
|
|
arrowState="2" xsi:type="link">
|
|
<strokeColor>#404040</strokeColor>
|
|
<textColor>#404040</textColor>
|
|
<font>SansSerif-plain-11</font>
|
|
<URIString>http://vue.tufts.edu/rdf/resource/6df4a0bfc0a80026548592b890a669f0</URIString>
|
|
<point1 x="870.9439" y="697.45703"/>
|
|
<point2 x="793.8353" y="702.5439"/>
|
|
<ID1 xsi:type="node">21</ID1>
|
|
<ID2 xsi:type="node">134</ID2>
|
|
</child>
|
|
<child ID="227" layerID="1" created="1479313097960" x="435.89288"
|
|
y="251.69118" width="1.0" height="113.00839" strokeWidth="1.0"
|
|
autoSized="false" controlCount="0" arrowState="2" xsi:type="link">
|
|
<strokeColor>#404040</strokeColor>
|
|
<textColor>#404040</textColor>
|
|
<font>Arial-plain-11</font>
|
|
<URIString>http://vue.tufts.edu/rdf/resource/6df4a0bfc0a80026548592b8ab3caf16</URIString>
|
|
<point1 x="436.39288" y="252.19116"/>
|
|
<point2 x="436.39288" y="364.19955"/>
|
|
<ID1 xsi:type="node">68</ID1>
|
|
<ID2 xsi:type="node">211</ID2>
|
|
</child>
|
|
<child ID="229" label="Field types" layerID="1"
|
|
created="1479313578633" x="-666.41174" y="301.00214"
|
|
width="81.0" height="23.0" strokeWidth="1.0" autoSized="true" xsi:type="node">
|
|
<fillColor>#F2AE45</fillColor>
|
|
<strokeColor>#000000</strokeColor>
|
|
<textColor>#000000</textColor>
|
|
<font>SansSerif-plain-12</font>
|
|
<URIString>http://vue.tufts.edu/rdf/resource/6df83301c0a80026548592b8cadb0885</URIString>
|
|
<shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
|
|
</child>
|
|
<child ID="230" layerID="1" created="1479313589139" x="-626.41174"
|
|
y="323.50214" width="1.0" height="43.597473" strokeWidth="1.0"
|
|
autoSized="false" controlCount="0" arrowState="2" xsi:type="link">
|
|
<strokeColor>#404040</strokeColor>
|
|
<textColor>#404040</textColor>
|
|
<font>SansSerif-plain-11</font>
|
|
<URIString>http://vue.tufts.edu/rdf/resource/6df83301c0a80026548592b86616b05c</URIString>
|
|
<point1 x="-625.91174" y="324.00214"/>
|
|
<point2 x="-625.91174" y="366.5996"/>
|
|
<ID1 xsi:type="node">229</ID1>
|
|
<ID2 xsi:type="node">217</ID2>
|
|
</child>
|
|
<child ID="231" label="Fill in info" layerID="1"
|
|
created="1479314065342" x="211.63742" y="-64.78337" width="70.0"
|
|
height="23.0" strokeWidth="1.0" autoSized="true" xsi:type="node">
|
|
<fillColor>#F2AE45</fillColor>
|
|
<strokeColor>#776D6D</strokeColor>
|
|
<textColor>#000000</textColor>
|
|
<font>SansSerif-plain-12</font>
|
|
<URIString>http://vue.tufts.edu/rdf/resource/6dfdd7b2c0a80026548592b8f9159d49</URIString>
|
|
<shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
|
|
</child>
|
|
<child ID="232" layerID="1" created="1479314065343" x="99.379364"
|
|
y="-54.9087" width="112.75806" height="1.8569527"
|
|
strokeWidth="1.0" autoSized="false" controlCount="0"
|
|
arrowState="2" xsi:type="link">
|
|
<strokeColor>#000000</strokeColor>
|
|
<textColor>#404040</textColor>
|
|
<font>SansSerif-plain-11</font>
|
|
<URIString>http://vue.tufts.edu/rdf/resource/6dfdd7b2c0a80026548592b838839b4e</URIString>
|
|
<point1 x="99.879364" y="-54.408703"/>
|
|
<point2 x="211.63742" y="-53.55175"/>
|
|
<ID1 xsi:type="node">107</ID1>
|
|
<ID2 xsi:type="node">231</ID2>
|
|
</child>
|
|
<child ID="233" label="Insert guards" layerID="1"
|
|
created="1479314071070" x="182.63742" y="-41.7834" width="99.0"
|
|
height="23.0" strokeWidth="1.0" autoSized="true" xsi:type="node">
|
|
<fillColor>#F2AE45</fillColor>
|
|
<strokeColor>#776D6D</strokeColor>
|
|
<textColor>#000000</textColor>
|
|
<font>SansSerif-plain-12</font>
|
|
<URIString>http://vue.tufts.edu/rdf/resource/6dfdd7b2c0a80026548592b8fe58d8d6</URIString>
|
|
<shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
|
|
</child>
|
|
<child ID="234" layerID="1" created="1479314071071" x="71.364"
|
|
y="-44.643234" width="112.325134" height="10.626972"
|
|
strokeWidth="1.0" autoSized="false" controlCount="0"
|
|
arrowState="2" xsi:type="link">
|
|
<strokeColor>#000000</strokeColor>
|
|
<textColor>#404040</textColor>
|
|
<font>SansSerif-plain-11</font>
|
|
<URIString>http://vue.tufts.edu/rdf/resource/6dfdd7b2c0a80026548592b8472714c9</URIString>
|
|
<point1 x="71.864" y="-44.143234"/>
|
|
<point2 x="183.18913" y="-34.516262"/>
|
|
<ID1 xsi:type="node">107</ID1>
|
|
<ID2 xsi:type="node">233</ID2>
|
|
</child>
|
|
<child ID="239"
|
|
label="Name the invariants in the type, and refer to them in the transform"
|
|
layerID="1" created="1479314146769" x="792.0136" y="850.73596"
|
|
width="446.0" height="23.0" strokeWidth="1.0" autoSized="true" xsi:type="node">
|
|
<fillColor>#F2AE45</fillColor>
|
|
<strokeColor>#776D6D</strokeColor>
|
|
<textColor>#000000</textColor>
|
|
<font>SansSerif-plain-12</font>
|
|
<URIString>http://vue.tufts.edu/rdf/resource/6dff35b5c0a80026548592b8604b935b</URIString>
|
|
<shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
|
|
</child>
|
|
<child ID="240" layerID="1" created="1479314146770" x="923.7971"
|
|
y="705.3775" width="85.04431" height="145.8584"
|
|
strokeWidth="1.0" autoSized="false" controlCount="0"
|
|
arrowState="2" xsi:type="link">
|
|
<strokeColor>#000000</strokeColor>
|
|
<textColor>#404040</textColor>
|
|
<font>SansSerif-plain-11</font>
|
|
<URIString>http://vue.tufts.edu/rdf/resource/6dff35b5c0a80026548592b8b8ea0a14</URIString>
|
|
<point1 x="924.2971" y="705.8775"/>
|
|
<point2 x="1008.34143" y="850.7359"/>
|
|
<ID1 xsi:type="node">21</ID1>
|
|
<ID2 xsi:type="node">239</ID2>
|
|
</child>
|
|
<child ID="241" label="Basic form
already implemented"
|
|
layerID="1" created="1479314878724" x="1225.5375" y="742.74475"
|
|
width="146.0" height="38.0" strokeWidth="1.0" autoSized="true" xsi:type="node">
|
|
<fillColor>#F2AE45</fillColor>
|
|
<strokeColor>#776D6D</strokeColor>
|
|
<textColor>#000000</textColor>
|
|
<font>SansSerif-plain-12</font>
|
|
<URIString>http://vue.tufts.edu/rdf/resource/6e09fb5843a6be970d2ffe2507ab588a</URIString>
|
|
<shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
|
|
</child>
|
|
<child ID="242" layerID="1" created="1479314878728" x="1324.1526"
|
|
y="701.8031" width="56.585938" height="41.44165"
|
|
strokeWidth="1.0" autoSized="false" controlCount="0"
|
|
arrowState="2" xsi:type="link">
|
|
<strokeColor>#000000</strokeColor>
|
|
<textColor>#404040</textColor>
|
|
<font>SansSerif-plain-11</font>
|
|
<URIString>http://vue.tufts.edu/rdf/resource/6e09fb5a43a6be970d2ffe25101bab58</URIString>
|
|
<point1 x="1380.2385" y="702.3031"/>
|
|
<point2 x="1324.6526" y="742.74475"/>
|
|
<ID1 xsi:type="node">11</ID1>
|
|
<ID2 xsi:type="node">241</ID2>
|
|
</child>
|
|
<child ID="244" label="α-equivalence" layerID="1"
|
|
created="1479314913291" x="1435.1376" y="750.7448" width="104.0"
|
|
height="23.0" strokeWidth="1.0" autoSized="true" xsi:type="node">
|
|
<fillColor>#F2AE45</fillColor>
|
|
<strokeColor>#776D6D</strokeColor>
|
|
<textColor>#000000</textColor>
|
|
<font>SansSerif-plain-12</font>
|
|
<URIString>http://vue.tufts.edu/rdf/resource/6e0b664b43a6be970d2ffe25608d7f84</URIString>
|
|
<shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
|
|
</child>
|
|
<child ID="245" layerID="1" created="1479314913294" x="1410.2081"
|
|
y="701.80304" width="62.766113" height="49.441772"
|
|
strokeWidth="1.0" autoSized="false" controlCount="0"
|
|
arrowState="2" xsi:type="link">
|
|
<strokeColor>#000000</strokeColor>
|
|
<textColor>#404040</textColor>
|
|
<font>SansSerif-plain-11</font>
|
|
<URIString>http://vue.tufts.edu/rdf/resource/6e0b664b43a6be970d2ffe252aafd35e</URIString>
|
|
<point1 x="1410.7081" y="702.30304"/>
|
|
<point2 x="1472.4742" y="750.7448"/>
|
|
<ID1 xsi:type="node">11</ID1>
|
|
<ID2 xsi:type="node">244</ID2>
|
|
</child>
|
|
<child ID="246" label="Too hard to implement for now" layerID="1"
|
|
created="1479314956001" x="1586.3375" y="747.5448" width="210.0"
|
|
height="23.0" strokeWidth="1.0" autoSized="true" xsi:type="node">
|
|
<fillColor>#F2AE45</fillColor>
|
|
<strokeColor>#776D6D</strokeColor>
|
|
<textColor>#000000</textColor>
|
|
<font>SansSerif-plain-12</font>
|
|
<URIString>http://vue.tufts.edu/rdf/resource/6e0b664c43a6be970d2ffe253b42a8fa</URIString>
|
|
<shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
|
|
</child>
|
|
<child ID="247" layerID="1" created="1479314956003" x="1538.6376"
|
|
y="760.18976" width="48.229248" height="1.7401123"
|
|
strokeWidth="1.0" autoSized="false" controlCount="0"
|
|
arrowState="2" xsi:type="link">
|
|
<strokeColor>#000000</strokeColor>
|
|
<textColor>#404040</textColor>
|
|
<font>SansSerif-plain-11</font>
|
|
<URIString>http://vue.tufts.edu/rdf/resource/6e0b664c43a6be970d2ffe25426d76fa</URIString>
|
|
<point1 x="1539.1376" y="761.4299"/>
|
|
<point2 x="1586.3668" y="760.68976"/>
|
|
<ID1 xsi:type="node">244</ID1>
|
|
<ID2 xsi:type="node">246</ID2>
|
|
</child>
|
|
<child ID="252"
|
|
label="http://docs.racket-lang.org/graph/index.html#%28def._%28%28lib._graph%2Fmain..rkt%29._coloring%2Fgreedy%29%29"
|
|
layerID="1" created="1479315385244" x="999.13745" y="257.14478"
|
|
width="784.0" height="23.0" strokeWidth="1.0" autoSized="true" xsi:type="node">
|
|
<fillColor>#F2AE45</fillColor>
|
|
<strokeColor>#776D6D</strokeColor>
|
|
<textColor>#000000</textColor>
|
|
<font>SansSerif-plain-12</font>
|
|
<URIString>http://vue.tufts.edu/rdf/resource/6e12548843a6be970d2ffe259bb5e939</URIString>
|
|
<shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
|
|
</child>
|
|
<child ID="253" layerID="1" created="1479315385245" x="1391.4419"
|
|
y="279.64453" width="4.298706" height="48.158203"
|
|
strokeWidth="1.0" autoSized="false" controlCount="0"
|
|
arrowState="2" xsi:type="link">
|
|
<strokeColor>#000000</strokeColor>
|
|
<textColor>#404040</textColor>
|
|
<font>SansSerif-plain-11</font>
|
|
<URIString>http://vue.tufts.edu/rdf/resource/6e12548843a6be970d2ffe25f25ed174</URIString>
|
|
<point1 x="1395.2406" y="327.30273"/>
|
|
<point2 x="1391.9419" y="280.14453"/>
|
|
<ID1 xsi:type="node">23</ID1>
|
|
<ID2 xsi:type="node">252</ID2>
|
|
</child>
|
|
<child ID="257" label=" " layerID="1" created="1479315626294"
|
|
x="-370.56244" y="701.5272" width="97.0" height="23.0"
|
|
strokeWidth="1.0" autoSized="false" xsi:type="node">
|
|
<fillColor>#FFFFFF</fillColor>
|
|
<strokeColor>#D0D0D0</strokeColor>
|
|
<textColor>#000000</textColor>
|
|
<font>SansSerif-plain-12</font>
|
|
<URIString>http://vue.tufts.edu/rdf/resource/6e18c7df43a6be970d2ffe25f6c630d7</URIString>
|
|
<shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
|
|
</child>
|
|
<child ID="258" label=" " layerID="1" created="1479315626294"
|
|
x="-370.56244" y="662.5272" width="97.0" height="23.0"
|
|
strokeWidth="1.0" autoSized="false" xsi:type="node">
|
|
<fillColor>#FFFFFF</fillColor>
|
|
<strokeColor>#D0D0D0</strokeColor>
|
|
<textColor>#000000</textColor>
|
|
<font>SansSerif-plain-12</font>
|
|
<URIString>http://vue.tufts.edu/rdf/resource/6e18c7df43a6be970d2ffe259db0c3ce</URIString>
|
|
<shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
|
|
</child>
|
|
<child ID="259" label=" " layerID="1" created="1479315626294"
|
|
x="-370.56244" y="594.63354" width="97.0" height="23.0"
|
|
strokeWidth="1.0" autoSized="false" xsi:type="node">
|
|
<fillColor>#FFFFFF</fillColor>
|
|
<strokeColor>#D0D0D0</strokeColor>
|
|
<textColor>#000000</textColor>
|
|
<font>SansSerif-plain-12</font>
|
|
<URIString>http://vue.tufts.edu/rdf/resource/6e18c7df43a6be970d2ffe25e603c10f</URIString>
|
|
<shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
|
|
</child>
|
|
<child ID="260" label=" " layerID="1" created="1479315626294"
|
|
x="-370.56244" y="555.63367" width="97.0" height="23.0"
|
|
strokeWidth="1.0" autoSized="false" xsi:type="node">
|
|
<fillColor>#FFFFFF</fillColor>
|
|
<strokeColor>#D0D0D0</strokeColor>
|
|
<textColor>#000000</textColor>
|
|
<font>SansSerif-plain-12</font>
|
|
<URIString>http://vue.tufts.edu/rdf/resource/6e18c7df43a6be970d2ffe25580295ca</URIString>
|
|
<shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
|
|
</child>
|
|
<child ID="261" label=" " layerID="1" created="1479315626294"
|
|
x="-370.56244" y="481.68677" width="97.0" height="23.0"
|
|
strokeWidth="1.0" autoSized="false" xsi:type="node">
|
|
<fillColor>#FFFFFF</fillColor>
|
|
<strokeColor>#D0D0D0</strokeColor>
|
|
<textColor>#000000</textColor>
|
|
<font>SansSerif-plain-12</font>
|
|
<URIString>http://vue.tufts.edu/rdf/resource/6e18c7df43a6be970d2ffe250d1629cb</URIString>
|
|
<shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
|
|
</child>
|
|
<child ID="262" label=" " layerID="1" created="1479315626294"
|
|
x="-370.56244" y="443.0868" width="97.0" height="23.0"
|
|
strokeWidth="1.0" autoSized="false" xsi:type="node">
|
|
<fillColor>#FFFFFF</fillColor>
|
|
<strokeColor>#D0D0D0</strokeColor>
|
|
<textColor>#000000</textColor>
|
|
<font>SansSerif-plain-12</font>
|
|
<URIString>http://vue.tufts.edu/rdf/resource/6e18c7e043a6be970d2ffe25e477a71a</URIString>
|
|
<shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
|
|
</child>
|
|
<child ID="263" label=" " layerID="1" created="1479315626294"
|
|
x="-370.56244" y="404.08667" width="97.0" height="23.0"
|
|
strokeWidth="1.0" autoSized="false" xsi:type="node">
|
|
<fillColor>#FFFFFF</fillColor>
|
|
<strokeColor>#D0D0D0</strokeColor>
|
|
<textColor>#000000</textColor>
|
|
<font>SansSerif-plain-12</font>
|
|
<URIString>http://vue.tufts.edu/rdf/resource/6e18c7e043a6be970d2ffe25b3ec0015</URIString>
|
|
<shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
|
|
</child>
|
|
<child ID="264"
|
|
label="Well-scopedness
via ∀ flag on the inputs"
|
|
layerID="1" created="1479315626294" x="-397.26245" y="348.76224"
|
|
width="161.0" height="38.0" strokeWidth="1.0" autoSized="true" xsi:type="node">
|
|
<fillColor>#F2AE45</fillColor>
|
|
<strokeColor>#000000</strokeColor>
|
|
<textColor>#000000</textColor>
|
|
<font>SansSerif-plain-12</font>
|
|
<URIString>http://vue.tufts.edu/rdf/resource/6e18c7e043a6be970d2ffe25522374c0</URIString>
|
|
<shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
|
|
</child>
|
|
<child ID="269" label="enforces" layerID="1" created="1479315766762"
|
|
x="-283.66245" y="251.14484" width="70.0" height="23.0"
|
|
strokeWidth="1.0" autoSized="true" xsi:type="node">
|
|
<fillColor>#F2AE45</fillColor>
|
|
<strokeColor>#776D6D</strokeColor>
|
|
<textColor>#000000</textColor>
|
|
<font>SansSerif-plain-12</font>
|
|
<URIString>http://vue.tufts.edu/rdf/resource/6e18c7e043a6be970d2ffe25045c93ba</URIString>
|
|
<shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
|
|
</child>
|
|
<child ID="270" layerID="1" created="1479315766763" x="-423.9568"
|
|
y="272.95978" width="147.40097" height="56.76346"
|
|
strokeWidth="1.0" autoSized="false" controlCount="0"
|
|
arrowState="2" xsi:type="link">
|
|
<strokeColor>#000000</strokeColor>
|
|
<textColor>#404040</textColor>
|
|
<font>SansSerif-plain-11</font>
|
|
<URIString>http://vue.tufts.edu/rdf/resource/6e18c7e043a6be970d2ffe25f58b5507</URIString>
|
|
<point1 x="-423.4568" y="329.2232"/>
|
|
<point2 x="-277.05582" y="273.45975"/>
|
|
<ID1 xsi:type="node">216</ID1>
|
|
<ID2 xsi:type="node">269</ID2>
|
|
</child>
|
|
<child ID="273" layerID="1" created="1479315784203" x="-231.96277"
|
|
y="273.64484" width="41.538452" height="28.104767"
|
|
strokeWidth="1.0" autoSized="false" controlCount="0"
|
|
arrowState="2" xsi:type="link">
|
|
<strokeColor>#000000</strokeColor>
|
|
<textColor>#404040</textColor>
|
|
<font>SansSerif-plain-11</font>
|
|
<URIString>http://vue.tufts.edu/rdf/resource/6e18c7e043a6be970d2ffe25213bebda</URIString>
|
|
<point1 x="-231.46277" y="274.14484"/>
|
|
<point2 x="-190.92432" y="301.2496"/>
|
|
<ID1 xsi:type="node">269</ID1>
|
|
<ID2 xsi:type="node">215</ID2>
|
|
</child>
|
|
<child ID="275" layerID="1" created="1479315857711" x="-304.95337"
|
|
y="273.64484" width="49.340668" height="75.6174"
|
|
strokeWidth="1.0" autoSized="false" controlCount="0"
|
|
arrowState="2" xsi:type="link">
|
|
<strokeColor>#000000</strokeColor>
|
|
<textColor>#404040</textColor>
|
|
<font>SansSerif-plain-11</font>
|
|
<URIString>http://vue.tufts.edu/rdf/resource/6e18c7e043a6be970d2ffe25b2914e66</URIString>
|
|
<point1 x="-304.45337" y="348.76224"/>
|
|
<point2 x="-256.1127" y="274.14484"/>
|
|
<ID1 xsi:type="node">264</ID1>
|
|
<ID2 xsi:type="node">269</ID2>
|
|
</child>
|
|
<child ID="278" label="Compile-time policy" layerID="1"
|
|
created="1479316015544" x="-515.6625" y="43.944725"
|
|
width="134.0" height="23.0" strokeWidth="1.0" autoSized="true" xsi:type="node">
|
|
<fillColor>#F2AE45</fillColor>
|
|
<strokeColor>#776D6D</strokeColor>
|
|
<textColor>#000000</textColor>
|
|
<font>SansSerif-plain-12</font>
|
|
<URIString>http://vue.tufts.edu/rdf/resource/6e1c69c643a6be970d2ffe25714e5bc9</URIString>
|
|
<shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
|
|
</child>
|
|
<child ID="279" layerID="1" created="1479316015546" x="-438.89398"
|
|
y="-50.799225" width="85.15164" height="95.24396"
|
|
strokeWidth="1.0" autoSized="false" controlCount="0"
|
|
arrowState="2" xsi:type="link">
|
|
<strokeColor>#000000</strokeColor>
|
|
<textColor>#404040</textColor>
|
|
<font>SansSerif-plain-11</font>
|
|
<URIString>http://vue.tufts.edu/rdf/resource/6e1c69c643a6be970d2ffe25ca3da090</URIString>
|
|
<point1 x="-354.24237" y="-50.299225"/>
|
|
<point2 x="-438.394" y="43.944733"/>
|
|
<ID1 xsi:type="node">90</ID1>
|
|
<ID2 xsi:type="node">278</ID2>
|
|
</child>
|
|
<child ID="280" label="Run-time check" layerID="1"
|
|
created="1479316019912" x="-176.4625" y="42.344727"
|
|
width="110.0" height="23.0" strokeWidth="1.0" autoSized="true" xsi:type="node">
|
|
<fillColor>#F2AE45</fillColor>
|
|
<strokeColor>#776D6D</strokeColor>
|
|
<textColor>#000000</textColor>
|
|
<font>SansSerif-plain-12</font>
|
|
<URIString>http://vue.tufts.edu/rdf/resource/6e1c69c643a6be970d2ffe25751b3e9d</URIString>
|
|
<shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
|
|
</child>
|
|
<child ID="281" layerID="1" created="1479316019914" x="-322.34662"
|
|
y="-50.799225" width="179.2569" height="93.64395"
|
|
strokeWidth="1.0" autoSized="false" controlCount="0"
|
|
arrowState="2" xsi:type="link">
|
|
<strokeColor>#000000</strokeColor>
|
|
<textColor>#404040</textColor>
|
|
<font>SansSerif-plain-11</font>
|
|
<URIString>http://vue.tufts.edu/rdf/resource/6e1c69c643a6be970d2ffe25264e9ee1</URIString>
|
|
<point1 x="-321.84662" y="-50.299225"/>
|
|
<point2 x="-143.58972" y="42.344727"/>
|
|
<ID1 xsi:type="node">90</ID1>
|
|
<ID2 xsi:type="node">280</ID2>
|
|
</child>
|
|
<child ID="284" layerID="1" created="1479316050351" x="-490.0899"
|
|
y="66.444824" width="40.168915" height="257.1548"
|
|
strokeWidth="1.0" autoSized="false" controlCount="0"
|
|
arrowState="2" xsi:type="link">
|
|
<strokeColor>#000000</strokeColor>
|
|
<textColor>#404040</textColor>
|
|
<font>SansSerif-plain-11</font>
|
|
<URIString>http://vue.tufts.edu/rdf/resource/6e1c69c643a6be970d2ffe25391232ea</URIString>
|
|
<point1 x="-450.42096" y="66.944824"/>
|
|
<point2 x="-489.58987" y="323.0996"/>
|
|
<ID1 xsi:type="node">278</ID1>
|
|
<ID2 xsi:type="node">216</ID2>
|
|
</child>
|
|
<child ID="285" layerID="1" created="1479316052183" x="-444.30573"
|
|
y="66.4447" width="120.01904" height="282.8175"
|
|
strokeWidth="1.0" autoSized="false" controlCount="0"
|
|
arrowState="2" xsi:type="link">
|
|
<strokeColor>#000000</strokeColor>
|
|
<textColor>#404040</textColor>
|
|
<font>SansSerif-plain-11</font>
|
|
<URIString>http://vue.tufts.edu/rdf/resource/6e1c69c643a6be970d2ffe253e59616a</URIString>
|
|
<point1 x="-443.80573" y="66.9447"/>
|
|
<point2 x="-324.78668" y="348.7622"/>
|
|
<ID1 xsi:type="node">278</ID1>
|
|
<ID2 xsi:type="node">264</ID2>
|
|
</child>
|
|
<child ID="286" layerID="1" created="1479316060242" x="-125.86714"
|
|
y="64.84473" width="4.723137" height="236.90479"
|
|
strokeWidth="1.0" autoSized="false" controlCount="0"
|
|
arrowState="2" xsi:type="link">
|
|
<strokeColor>#000000</strokeColor>
|
|
<textColor>#404040</textColor>
|
|
<font>SansSerif-plain-11</font>
|
|
<URIString>http://vue.tufts.edu/rdf/resource/6e1c69c643a6be970d2ffe2578e91de4</URIString>
|
|
<point1 x="-121.644" y="65.34473"/>
|
|
<point2 x="-125.367134" y="301.2495"/>
|
|
<ID1 xsi:type="node">280</ID1>
|
|
<ID2 xsi:type="node">215</ID2>
|
|
</child>
|
|
<child ID="289" layerID="1" created="1479316096459" x="-115.91501"
|
|
y="64.84473" width="148.90305" height="282.25485"
|
|
strokeWidth="1.0" autoSized="false" controlCount="0"
|
|
arrowState="2" xsi:type="link">
|
|
<strokeColor>#000000</strokeColor>
|
|
<textColor>#404040</textColor>
|
|
<font>SansSerif-plain-11</font>
|
|
<URIString>http://vue.tufts.edu/rdf/resource/6e1c69c743a6be970d2ffe258016a9d1</URIString>
|
|
<point1 x="-115.41501" y="65.34473"/>
|
|
<point2 x="32.488037" y="346.59958"/>
|
|
<ID1 xsi:type="node">280</ID1>
|
|
<ID2 xsi:type="node">214</ID2>
|
|
</child>
|
|
<child ID="291"
|
|
label="Invariants expressed as a dummy type on the graph / node"
|
|
layerID="1" created="1479316157024" x="48.13745" y="867.74475"
|
|
width="396.0" height="23.0" strokeWidth="1.0" autoSized="true" xsi:type="node">
|
|
<fillColor>#F2AE45</fillColor>
|
|
<strokeColor>#776D6D</strokeColor>
|
|
<textColor>#000000</textColor>
|
|
<font>SansSerif-plain-12</font>
|
|
<URIString>http://vue.tufts.edu/rdf/resource/6e1dc69443a6be970d2ffe25c307cfac</URIString>
|
|
<shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
|
|
</child>
|
|
<child ID="292" layerID="1" created="1479316157026" x="498.7779"
|
|
y="684.20703" width="3.2190857" height="182.07422"
|
|
strokeWidth="1.0" autoSized="false" controlCount="0"
|
|
arrowState="2" xsi:type="link">
|
|
<strokeColor>#000000</strokeColor>
|
|
<textColor>#404040</textColor>
|
|
<font>SansSerif-plain-11</font>
|
|
<URIString>http://vue.tufts.edu/rdf/resource/6e1dc69443a6be970d2ffe254cfac2a1</URIString>
|
|
<point1 x="501.497" y="684.70703"/>
|
|
<point2 x="499.27792" y="865.78125"/>
|
|
<ID1 xsi:type="node">295</ID1>
|
|
<ID2 xsi:type="node">297</ID2>
|
|
</child>
|
|
<child ID="293"
|
|
label="Enforcements indicate which invariant they satisfy or check"
|
|
layerID="1" created="1479316213134" x="503.13745" y="1298.7448"
|
|
width="395.0" height="23.0" strokeWidth="1.0" autoSized="true" xsi:type="node">
|
|
<fillColor>#F2AE45</fillColor>
|
|
<strokeColor>#776D6D</strokeColor>
|
|
<textColor>#000000</textColor>
|
|
<font>SansSerif-plain-12</font>
|
|
<URIString>http://vue.tufts.edu/rdf/resource/6e1fb64c43a6be970d2ffe25894f7080</URIString>
|
|
<shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
|
|
</child>
|
|
<child ID="294" layerID="1" created="1479316213135" x="650.5233"
|
|
y="722.66406" width="5.35614" height="251.42578"
|
|
strokeWidth="1.0" autoSized="false" controlCount="0"
|
|
arrowState="2" xsi:type="link">
|
|
<strokeColor>#000000</strokeColor>
|
|
<textColor>#404040</textColor>
|
|
<font>SansSerif-plain-11</font>
|
|
<URIString>http://vue.tufts.edu/rdf/resource/6e1fb64c43a6be970d2ffe259f447e8e</URIString>
|
|
<point1 x="655.3795" y="723.16406"/>
|
|
<point2 x="651.0234" y="973.58984"/>
|
|
<ID1 xsi:type="node">134</ID1>
|
|
<ID2 xsi:type="node">301</ID2>
|
|
</child>
|
|
<child ID="295" label=" " layerID="1" created="1479316329322"
|
|
x="494.13745" y="661.74475" width="15.0" height="23.0"
|
|
strokeWidth="1.0" autoSized="true" xsi:type="node">
|
|
<fillColor>#F2AE45</fillColor>
|
|
<strokeColor>#776D6D</strokeColor>
|
|
<textColor>#000000</textColor>
|
|
<font>SansSerif-plain-12</font>
|
|
<URIString>http://vue.tufts.edu/rdf/resource/6e218e1c43a6be970d2ffe25c3d8bcae</URIString>
|
|
<shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
|
|
</child>
|
|
<child ID="296" layerID="1" created="1479316329323" x="508.63745"
|
|
y="672.68555" width="5.4420776" height="1.0220337"
|
|
strokeWidth="1.0" autoSized="false" controlCount="0"
|
|
arrowState="2" xsi:type="link">
|
|
<strokeColor>#000000</strokeColor>
|
|
<textColor>#404040</textColor>
|
|
<font>SansSerif-plain-11</font>
|
|
<URIString>http://vue.tufts.edu/rdf/resource/6e218e1d43a6be970d2ffe253b54752d</URIString>
|
|
<point1 x="513.5795" y="673.1855"/>
|
|
<point2 x="509.13745" y="673.2075"/>
|
|
<ID1 xsi:type="node">143</ID1>
|
|
<ID2 xsi:type="node">295</ID2>
|
|
</child>
|
|
<child ID="297" label=" " layerID="1" created="1479316363268"
|
|
x="491.63745" y="865.74475" width="15.0" height="23.0"
|
|
strokeWidth="1.0" autoSized="true" xsi:type="node">
|
|
<fillColor>#F2AE45</fillColor>
|
|
<strokeColor>#776D6D</strokeColor>
|
|
<textColor>#000000</textColor>
|
|
<font>SansSerif-plain-12</font>
|
|
<URIString>http://vue.tufts.edu/rdf/resource/6e218e1d43a6be970d2ffe2589428079</URIString>
|
|
<shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
|
|
</child>
|
|
<child ID="299" layerID="1" created="1479316396358" x="443.62433"
|
|
y="876.804" width="48.513123" height="1.3756104"
|
|
strokeWidth="1.0" autoSized="false" controlCount="0"
|
|
arrowState="2" xsi:type="link">
|
|
<strokeColor>#000000</strokeColor>
|
|
<textColor>#404040</textColor>
|
|
<font>SansSerif-plain-11</font>
|
|
<URIString>http://vue.tufts.edu/rdf/resource/6e218e1d43a6be970d2ffe255003e8ee</URIString>
|
|
<point1 x="491.63745" y="877.304"/>
|
|
<point2 x="444.12433" y="877.6796"/>
|
|
<ID1 xsi:type="node">297</ID1>
|
|
<ID2 xsi:type="node">291</ID2>
|
|
</child>
|
|
<child ID="301" label=" " layerID="1" created="1479316416797"
|
|
x="643.3243" y="973.5348" width="15.0" height="23.0"
|
|
strokeWidth="1.0" autoSized="true" xsi:type="node">
|
|
<fillColor>#F2AE45</fillColor>
|
|
<strokeColor>#776D6D</strokeColor>
|
|
<textColor>#000000</textColor>
|
|
<font>SansSerif-plain-12</font>
|
|
<URIString>http://vue.tufts.edu/rdf/resource/6e218e1d43a6be970d2ffe2565f1ef8c</URIString>
|
|
<shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
|
|
</child>
|
|
<child ID="302" layerID="1" created="1479316416797" x="652.016"
|
|
y="995.5796" width="47.359985" height="303.66504"
|
|
strokeWidth="1.0" autoSized="false" controlCount="0"
|
|
arrowState="2" xsi:type="link">
|
|
<strokeColor>#000000</strokeColor>
|
|
<textColor>#404040</textColor>
|
|
<font>SansSerif-plain-11</font>
|
|
<URIString>http://vue.tufts.edu/rdf/resource/6e218e1d43a6be970d2ffe25c3a1e3f4</URIString>
|
|
<point1 x="652.516" y="996.0796"/>
|
|
<point2 x="698.876" y="1298.7446"/>
|
|
<ID1 xsi:type="node">301</ID1>
|
|
<ID2 xsi:type="node">293</ID2>
|
|
</child>
|
|
<child ID="314"
|
|
label="Each node has an extra field of the following type:
"
|
|
layerID="1" created="1479317112254" x="-114.86255" y="971.24475"
|
|
width="339.0" height="107.0" strokeWidth="1.0" autoSized="true" xsi:type="node">
|
|
<fillColor>#F2AE45</fillColor>
|
|
<strokeColor>#776D6D</strokeColor>
|
|
<textColor>#000000</textColor>
|
|
<font>SansSerif-plain-12</font>
|
|
<URIString>http://vue.tufts.edu/rdf/resource/6e2c94fe43a6be970d2ffe25ab2d9e8d</URIString>
|
|
<child ID="313"
|
|
label="(invariants-wrapper 
 
 
 (case (→ inv₁ inv-arg … #t) 
 
 
 … 
 
 
 (→ invₙ inv-arg … #t)))"
|
|
created="1479317031021" x="5.0" y="38.0" width="276.0"
|
|
height="63.0" strokeWidth="0.0" autoSized="false" xsi:type="text">
|
|
<strokeColor>#404040</strokeColor>
|
|
<textColor>#000000</textColor>
|
|
<font>SansSerif-plain-14</font>
|
|
<URIString>http://vue.tufts.edu/rdf/resource/6e2c950143a6be970d2ffe25c8aa5ef1</URIString>
|
|
<richText><html>
|
|
<head>
|
|
<style type="text/css">
|
|
<!--
|
|
body { margin-top: 0px; margin-bottom: 0px; margin-left: 0px; margin-right: 0px; font-size: 12; font-family: SansSerif; color: #000000 }
|
|
ol { margin-top: 6; font-family: SansSerif; vertical-align: middle; margin-left: 30; font-size: 12; list-style-position: outside }
|
|
p { margin-top: 0; margin-left: 0; margin-right: 0; margin-bottom: 0; color: #000000 }
|
|
ul { margin-top: 6; font-size: 12; margin-left: 30; vertical-align: middle; list-style-position: outside; font-family: SansSerif }
|
|
-->
|
|
</style>
|
|
|
|
</head>
|
|
<body>
|
|
<p>
|
|
<font face="DejaVu Sans Mono">(invariants-wrapper
|
|
</font> </p>
|
|
<p>
|
|
<font face="DejaVu Sans Mono"> (case (&#8594; inv&#8321; inv-arg &#8230; #t)
|
|
</font> </p>
|
|
<p>
|
|
<font face="DejaVu Sans Mono"> &#8230;
|
|
</font> </p>
|
|
<p>
|
|
<font face="DejaVu Sans Mono"> (&#8594; inv&#8345; inv-arg &#8230; #t)))</font>
|
|
</p>
|
|
</body>
|
|
</html>
|
|
</richText>
|
|
<label>(invariants-wrapper
|
|
|
|
|
|
(case (→ inv₁ inv-arg … #t)
|
|
|
|
|
|
…
|
|
|
|
|
|
(→ invₙ inv-arg … #t)))</label>
|
|
</child>
|
|
<shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
|
|
</child>
|
|
<child ID="315" layerID="1" created="1479317179397" x="124.55156"
|
|
y="890.24475" width="106.950165" height="81.5" strokeWidth="1.0"
|
|
autoSized="false" controlCount="0" arrowState="2" xsi:type="link">
|
|
<strokeColor>#000000</strokeColor>
|
|
<textColor>#404040</textColor>
|
|
<font>SansSerif-plain-11</font>
|
|
<URIString>http://vue.tufts.edu/rdf/resource/6e309f2643a6be970d2ffe2565dbc3a9</URIString>
|
|
<point1 x="231.00172" y="890.74475"/>
|
|
<point2 x="125.05156" y="971.24475"/>
|
|
<ID1 xsi:type="node">291</ID1>
|
|
<ID2 xsi:type="node">314</ID2>
|
|
</child>
|
|
<child ID="318"
|
|
label="Use a private struct to prevent forging of the invariants aggregated in a case→
(since it is never executed, any non-terminating λ could otherwise be supplied).
"
|
|
layerID="1" created="1479317202233" x="-248.86255" y="1144.7448"
|
|
width="531.0" height="77.0" strokeWidth="1.0" autoSized="true" xsi:type="node">
|
|
<fillColor>#F2AE45</fillColor>
|
|
<strokeColor>#776D6D</strokeColor>
|
|
<textColor>#000000</textColor>
|
|
<font>SansSerif-plain-12</font>
|
|
<URIString>http://vue.tufts.edu/rdf/resource/6e309f2643a6be970d2ffe2541159360</URIString>
|
|
<child ID="324"
|
|
label="(struct 
 invariants-wrapper ())"
|
|
created="1479317283315" x="5.0" y="53.0" width="214.0"
|
|
height="18.0" strokeWidth="0.0" autoSized="false" xsi:type="text">
|
|
<strokeColor>#404040</strokeColor>
|
|
<textColor>#000000</textColor>
|
|
<font>-plain-12</font>
|
|
<URIString>http://vue.tufts.edu/rdf/resource/6e309f2643a6be970d2ffe254bc731a8</URIString>
|
|
<richText><html>
|
|
<head color="#000000" style="color: #000000">
|
|
<style type="text/css">
|
|
<!--
|
|
body { margin-top: 0px; margin-bottom: 0px; margin-left: 0px; margin-right: 0px; font-size: 11; font-family: SansSerif; color: #000000 }
|
|
ol { margin-top: 6; font-family: SansSerif; vertical-align: middle; margin-left: 30; font-size: 11; list-style-position: outside }
|
|
p { margin-top: 0; margin-left: 0; margin-right: 0; margin-bottom: 0; color: #000000 }
|
|
ul { margin-top: 6; font-size: 11; margin-left: 30; vertical-align: middle; list-style-position: outside; font-family: SansSerif }
|
|
-->
|
|
</style>
|
|
|
|
</head>
|
|
<body>
|
|
<p>
|
|
<font face="DejaVu Sans Mono" color="#000000" style="font-size:12;">(struct
|
|
invariants-wrapper ())</font>
|
|
</p>
|
|
</body>
|
|
</html>
|
|
</richText>
|
|
<label>(struct
|
|
invariants-wrapper ())</label>
|
|
</child>
|
|
<shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
|
|
</child>
|
|
<child ID="319" layerID="1" created="1479317202235" x="25.367739"
|
|
y="1077.7448" width="16.943203" height="67.5" strokeWidth="1.0"
|
|
autoSized="false" controlCount="0" arrowState="2" xsi:type="link">
|
|
<strokeColor>#000000</strokeColor>
|
|
<textColor>#404040</textColor>
|
|
<font>SansSerif-plain-11</font>
|
|
<URIString>http://vue.tufts.edu/rdf/resource/6e309f2643a6be970d2ffe25415de0b8</URIString>
|
|
<point1 x="41.81094" y="1078.2448"/>
|
|
<point2 x="25.867737" y="1144.7448"/>
|
|
<ID1 xsi:type="node">314</ID1>
|
|
<ID2 xsi:type="node">318</ID2>
|
|
</child>
|
|
<child ID="326"
|
|
label="graph invariants should only define the dummy type used to identify them
"
|
|
layerID="1" created="1479317586757" x="-256.86255" y="1281.7448"
|
|
width="611.0" height="187.25" strokeWidth="1.0" autoSized="true" xsi:type="node">
|
|
<fillColor>#F2AE45</fillColor>
|
|
<strokeColor>#776D6D</strokeColor>
|
|
<textColor>#000000</textColor>
|
|
<font>SansSerif-plain-12</font>
|
|
<URIString>http://vue.tufts.edu/rdf/resource/6e380d1843a6be970d2ffe256d1f3a53</URIString>
|
|
<child ID="328"
|
|
label="The actual enforcement is built-in or defined as a contract"
|
|
created="1479317923153" x="34.0" y="38.0" width="394.0"
|
|
height="23.0" strokeWidth="1.0" autoSized="true" xsi:type="node">
|
|
<fillColor>#F2AE45</fillColor>
|
|
<strokeColor>#776D6D</strokeColor>
|
|
<textColor>#000000</textColor>
|
|
<font>SansSerif-plain-12</font>
|
|
<URIString>http://vue.tufts.edu/rdf/resource/6e38dc3343a6be970d2ffe25548c6fd1</URIString>
|
|
<shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
|
|
</child>
|
|
<child ID="325"
|
|
label="(define-for-syntax invariant-introducer
 
 
 (make-syntax-introducer))
 
 
 ;; the body should return the syntax for a 
 type, 
 
 
 ;; such that less precise invariants are 
 supertypes of that type.
 
 
 (define-syntax/parse 
 (define-graph-invariant (name g-descriptor arg …) . body)
 
 
 #'(define-syntax name
 
 
 (graph-invariant
 
 
 (λ (g-descriptor arg …) . body))))"
|
|
created="1479317551796" x="34.0" y="58.25" width="572.0"
|
|
height="123.0" strokeWidth="0.0" autoSized="false" xsi:type="text">
|
|
<strokeColor>#404040</strokeColor>
|
|
<textColor>#000000</textColor>
|
|
<font>SansSerif-plain-14</font>
|
|
<URIString>http://vue.tufts.edu/rdf/resource/6e380d1843a6be970d2ffe2537b566f6</URIString>
|
|
<richText><html>
|
|
<head color="#000000" style="color: #000000">
|
|
<style type="text/css">
|
|
<!--
|
|
body { margin-top: 0px; margin-bottom: 0px; margin-left: 0px; margin-right: 0px; font-size: 12; font-family: SansSerif; color: #000000 }
|
|
ol { margin-top: 6; font-family: SansSerif; vertical-align: middle; margin-left: 30; font-size: 12; list-style-position: outside }
|
|
p { margin-top: 0; margin-left: 0; margin-right: 0; margin-bottom: 0; color: #000000 }
|
|
ul { margin-top: 6; font-size: 12; margin-left: 30; vertical-align: middle; list-style-position: outside; font-family: SansSerif }
|
|
-->
|
|
</style>
|
|
|
|
</head>
|
|
<body>
|
|
<p color="#000000" style="color: #000000">
|
|
<font face="DejaVu Sans Mono">(define-for-syntax invariant-introducer
|
|
</font> </p>
|
|
<p color="#000000" style="color: #000000">
|
|
<font face="DejaVu Sans Mono"> (make-syntax-introducer))
|
|
</font> </p>
|
|
<p color="#000000" style="color: #000000">
|
|
<font face="DejaVu Sans Mono">;; the body should return the syntax for a
|
|
type,
|
|
</font> </p>
|
|
<p color="#000000" style="color: #000000">
|
|
<font face="DejaVu Sans Mono">;; such that less precise invariants are
|
|
supertypes of that type.
|
|
</font> </p>
|
|
<p color="#000000" style="color: #000000">
|
|
<font face="DejaVu Sans Mono">(define-syntax/parse
|
|
(define-graph-invariant (name g-descriptor arg &#8230;) . body)
|
|
</font> </p>
|
|
<p color="#000000" style="color: #000000">
|
|
<font face="DejaVu Sans Mono"> #'(define-syntax name
|
|
</font> </p>
|
|
<p color="#000000" style="color: #000000">
|
|
<font face="DejaVu Sans Mono"> (graph-invariant
|
|
</font> </p>
|
|
<p color="#000000" style="color: #000000">
|
|
<font face="DejaVu Sans Mono"> (&#955; (g-descriptor arg &#8230;) . body))))</font>
|
|
</p>
|
|
</body>
|
|
</html>
|
|
</richText>
|
|
<label>(define-for-syntax invariant-introducer
|
|
|
|
|
|
(make-syntax-introducer))
|
|
|
|
|
|
;; the body should return the syntax for a
|
|
type,
|
|
|
|
|
|
;; such that less precise invariants are
|
|
supertypes of that type.
|
|
|
|
|
|
(define-syntax/parse
|
|
(define-graph-invariant (name g-descriptor arg …) . body)
|
|
|
|
|
|
#'(define-syntax name
|
|
|
|
|
|
(graph-invariant
|
|
|
|
|
|
(λ (g-descriptor arg …) . body))))</label>
|
|
</child>
|
|
<shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
|
|
</child>
|
|
<child ID="327" layerID="1" created="1479317586758" x="22.549934"
|
|
y="1221.2448" width="10.993504" height="61.0" strokeWidth="1.0"
|
|
autoSized="false" controlCount="0" arrowState="2" xsi:type="link">
|
|
<strokeColor>#000000</strokeColor>
|
|
<textColor>#404040</textColor>
|
|
<font>SansSerif-plain-11</font>
|
|
<URIString>http://vue.tufts.edu/rdf/resource/6e380d1943a6be970d2ffe25baaa9b00</URIString>
|
|
<point1 x="23.049934" y="1221.7448"/>
|
|
<point2 x="33.043438" y="1281.7448"/>
|
|
<ID1 xsi:type="node">318</ID1>
|
|
<ID2 xsi:type="node">326</ID2>
|
|
</child>
|
|
<child ID="329" layerID="1" created="1479317962142" x="71.66983"
|
|
y="1314.3446" width="432.59344" height="11.083984"
|
|
strokeWidth="1.0" autoSized="false" controlCount="0"
|
|
arrowState="2" xsi:type="link">
|
|
<strokeColor>#000000</strokeColor>
|
|
<textColor>#404040</textColor>
|
|
<font>SansSerif-plain-11</font>
|
|
<URIString>http://vue.tufts.edu/rdf/resource/6e38dc3443a6be970d2ffe2541c6177e</URIString>
|
|
<point1 x="72.169815" y="1324.9286"/>
|
|
<point2 x="503.76328" y="1314.8446"/>
|
|
<ID1 xsi:type="node">328</ID1>
|
|
<ID2 xsi:type="node">293</ID2>
|
|
</child>
|
|
<child ID="332"
|
|
label="The returned type may contain symbols, to indicate node names and field names,
and will contain a reference to a private struct type, so that
two invariants with the same name defined in separate won't conflict"
|
|
layerID="1" created="1479317996531" x="-846.86255" y="1374.2448"
|
|
width="543.0" height="53.0" strokeWidth="1.0" autoSized="true" xsi:type="node">
|
|
<fillColor>#F2AE45</fillColor>
|
|
<strokeColor>#776D6D</strokeColor>
|
|
<textColor>#000000</textColor>
|
|
<font>SansSerif-plain-12</font>
|
|
<URIString>http://vue.tufts.edu/rdf/resource/6e3ba69443a6be970d2ffe2557b43407</URIString>
|
|
<shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
|
|
</child>
|
|
<child ID="333" layerID="1" created="1479318002683" x="-304.36255"
|
|
y="1400.5635" width="82.0" height="1.0950928" strokeWidth="1.0"
|
|
autoSized="false" controlCount="0" arrowState="2" xsi:type="link">
|
|
<strokeColor>#000000</strokeColor>
|
|
<textColor>#404040</textColor>
|
|
<font>SansSerif-plain-11</font>
|
|
<URIString>http://vue.tufts.edu/rdf/resource/6e3ba69443a6be970d2ffe25f3986e24</URIString>
|
|
<point1 x="-222.86255" y="1401.1587"/>
|
|
<point2 x="-303.86255" y="1401.0636"/>
|
|
<ID1 xsi:type="text">325</ID1>
|
|
<ID2 xsi:type="node">332</ID2>
|
|
</child>
|
|
<layer ID="1" label="Layer 1" created="1479309847607" x="0.0"
|
|
y="0.0" width="1.4E-45" height="1.4E-45" strokeWidth="0.0" autoSized="false">
|
|
<URIString>http://vue.tufts.edu/rdf/resource/6dbf6b15c0a80026548592b8d2f3fee2</URIString>
|
|
</layer>
|
|
<userZoom>1.0</userZoom>
|
|
<userOrigin x="-1359.8625" y="-452.75525"/>
|
|
<presentationBackground>#FFFFFF</presentationBackground>
|
|
<PathwayList currentPathway="0" revealerIndex="-1">
|
|
<pathway ID="0" label="Chemin sans nom" created="1479309847603"
|
|
x="0.0" y="0.0" width="1.4E-45" height="1.4E-45"
|
|
strokeWidth="0.0" autoSized="false" currentIndex="0" open="true">
|
|
<strokeColor>#B3993333</strokeColor>
|
|
<textColor>#000000</textColor>
|
|
<font>SansSerif-plain-14</font>
|
|
<URIString>http://vue.tufts.edu/rdf/resource/6dbf6b16c0a80026548592b8204729d3</URIString>
|
|
<masterSlide ID="2" created="1479309847623" x="0.0" y="0.0"
|
|
width="800.0" height="600.0" locked="true"
|
|
strokeWidth="0.0" autoSized="false">
|
|
<fillColor>#000000</fillColor>
|
|
<strokeColor>#404040</strokeColor>
|
|
<textColor>#000000</textColor>
|
|
<font>SansSerif-plain-14</font>
|
|
<URIString>http://vue.tufts.edu/rdf/resource/6dbf6b16c0a80026548592b817230376</URIString>
|
|
<titleStyle ID="3" label="Header"
|
|
created="1479309850047" x="329.0" y="174.5"
|
|
width="142.0" height="51.0" strokeWidth="0.0"
|
|
autoSized="true" isStyle="true" xsi:type="node">
|
|
<strokeColor>#404040</strokeColor>
|
|
<textColor>#FFFFFF</textColor>
|
|
<font>Gill Sans-plain-36</font>
|
|
<URIString>http://vue.tufts.edu/rdf/resource/6dbf6b17c0a80026548592b88a8fba25</URIString>
|
|
<shape xsi:type="rectangle"/>
|
|
</titleStyle>
|
|
<textStyle ID="4" label="Slide Text"
|
|
created="1479309850048" x="340.0" y="282.5"
|
|
width="120.0" height="35.0" strokeWidth="0.0"
|
|
autoSized="true" isStyle="true" xsi:type="node">
|
|
<strokeColor>#404040</strokeColor>
|
|
<textColor>#FFFFFF</textColor>
|
|
<font>Gill Sans-plain-22</font>
|
|
<URIString>http://vue.tufts.edu/rdf/resource/6dbf6b17c0a80026548592b8c426a9c8</URIString>
|
|
<shape xsi:type="rectangle"/>
|
|
</textStyle>
|
|
<linkStyle ID="5" label="Links" created="1479309850107"
|
|
x="372.5" y="385.0" width="55.0" height="30.0"
|
|
strokeWidth="0.0" autoSized="true" isStyle="true" xsi:type="node">
|
|
<strokeColor>#404040</strokeColor>
|
|
<textColor>#B3BFE3</textColor>
|
|
<font>Gill Sans-plain-18</font>
|
|
<URIString>http://vue.tufts.edu/rdf/resource/6dbf6b18c0a80026548592b8ea0d19d7</URIString>
|
|
<shape xsi:type="rectangle"/>
|
|
</linkStyle>
|
|
</masterSlide>
|
|
</pathway>
|
|
</PathwayList>
|
|
<date>2016-11-16</date>
|
|
<modelVersion>6</modelVersion>
|
|
<saveLocation>/home/georges/phc/racket-packages/phc-graph</saveLocation>
|
|
<saveFile>/home/georges/phc/racket-packages/phc-graph/Graph-notes-copy2.vue</saveFile>
|
|
</LW-MAP>
|