Updated documentation

1 files changed, 199 insertions, 34 deletions

diff --git a/_trie_8h__dep__incl.svg b/_trie_8h__dep__incl.svg
index 36a499d..7b648a1 100644
--- a/_trie_8h__dep__incl.svg
+++ b/_trie_8h__dep__incl.svg
@@ -4,72 +4,237 @@
 <!-- Generated by graphviz version 2.38.0 (20140413.2041)
  -->
 <!-- Title: transform/Trie.h Pages: 1 -->
-<svg width="343pt" height="140pt"
- viewBox="0.00 0.00 343.00 140.00" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
-<g id="graph0" class="graph" transform="scale(1 1) rotate(0) translate(4 136)">
+<!--zoomable 218 -->
+<svg id="main" version="1.1" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink" xml:space="preserve" onload="init(evt)">
+<style type="text/css"><![CDATA[
+.edge:hover path { stroke: red; }
+.edge:hover polygon { stroke: red; fill: red; }
+]]></style>
+<script type="text/javascript"><![CDATA[
+var edges = document.getElementsByTagName('g');
+if (edges && edges.length) {
+  for (var i=0;i<edges.length;i++) {
+    if (edges[i].id.substr(0,4)=='edge') {
+      edges[i].setAttribute('class','edge');
+    }
+  }
+}
+]]></script>
+        <defs>
+                <circle id="rim" cx="0" cy="0" r="7"/>
+                <circle id="rim2" cx="0" cy="0" r="3.5"/>
+                <g id="zoomPlus">
+                        <use xlink:href="#rim" fill="#404040">
+                                <set attributeName="fill" to="#808080" begin="zoomplus.mouseover" end="zoomplus.mouseout"/>
+                        </use>
+                        <path d="M-4,0h8M0,-4v8" fill="none" stroke="white" stroke-width="1.5" pointer-events="none"/>
+                </g>
+                <g id="zoomMin">
+                        <use xlink:href="#rim" fill="#404040">
+                                <set attributeName="fill" to="#808080" begin="zoomminus.mouseover" end="zoomminus.mouseout"/>
+                        </use>
+                        <path d="M-4,0h8" fill="none" stroke="white" stroke-width="1.5" pointer-events="none"/>
+                </g>
+                <g id="dirArrow">
+                        <path fill="none" stroke="white" stroke-width="1.5" d="M0,-3.0v7 M-2.5,-0.5L0,-3.0L2.5,-0.5"/>
+                </g>
+               <g id="resetDef">
+                       <use xlink:href="#rim2" fill="#404040">
+                               <set attributeName="fill" to="#808080" begin="reset.mouseover" end="reset.mouseout"/>
+                       </use>
+               </g>
+        </defs>
+
+<script type="text/javascript">
+var viewWidth = 562;
+var viewHeight = 218;
+var sectionId = 'dynsection-1';
+</script>
+<script xlink:href="svgpan.js"/>
+<svg id="graph" class="graph">
+<g id="viewport">
 <title>transform/Trie.h</title>
-<polygon fill="white" stroke="none" points="-4,4 -4,-136 339,-136 339,4 -4,4"/>
+<polygon fill="white" stroke="none" points="-4,4 -4,-214 557.5,-214 557.5,4 -4,4"/>
 <!-- Node1 -->
 <g id="node1" class="node"><title>Node1</title>
-<polygon fill="#bfbfbf" stroke="black" points="165.5,-112.5 165.5,-131.5 252.5,-131.5 252.5,-112.5 165.5,-112.5"/>
-<text text-anchor="middle" x="209" y="-119.5" font-family="Helvetica,sans-Serif" font-size="10.00">transform/Trie.h</text>
+<polygon fill="#bfbfbf" stroke="black" points="251,-190.5 251,-209.5 338,-209.5 338,-190.5 251,-190.5"/>
+<text text-anchor="middle" x="294.5" y="-197.5" font-family="Helvetica,sans-Serif" font-size="10.00">transform/Trie.h</text>
 </g>
 <!-- Node2 -->
 <g id="node2" class="node"><title>Node2</title>
 <g id="a_node2"><a xlink:href="_chart_to_c_8h.html" target="_top" xlink:title="transform/ChartToC.h">
-<polygon fill="white" stroke="black" points="67.5,-56.5 67.5,-75.5 180.5,-75.5 180.5,-56.5 67.5,-56.5"/>
-<text text-anchor="middle" x="124" y="-63.5" font-family="Helvetica,sans-Serif" font-size="10.00">transform/ChartToC.h</text>
+<polygon fill="white" stroke="black" points="164,-129 164,-148 277,-148 277,-129 164,-129"/>
+<text text-anchor="middle" x="220.5" y="-136" font-family="Helvetica,sans-Serif" font-size="10.00">transform/ChartToC.h</text>
 </a>
 </g>
 </g>
 <!-- Node1&#45;&gt;Node2 -->
 <g id="edge1" class="edge"><title>Node1&#45;&gt;Node2</title>
-<path fill="none" stroke="midnightblue" d="M186.806,-106.901C171.22,-96.9986 150.87,-84.0705 137.623,-75.6545"/>
-<polygon fill="midnightblue" stroke="midnightblue" points="185.026,-109.916 195.343,-112.324 188.779,-104.007 185.026,-109.916"/>
+<path fill="none" stroke="midnightblue" d="M275.811,-183.973C261.657,-172.593 242.724,-157.369 231.083,-148.009"/>
+<polygon fill="midnightblue" stroke="midnightblue" points="273.911,-186.937 283.898,-190.475 278.298,-181.481 273.911,-186.937"/>
 </g>
-<!-- Node4 -->
-<g id="node4" class="node"><title>Node4</title>
-<g id="a_node4"><a xlink:href="_chart_to_v_h_d_l_8h.html" target="_top" xlink:title="transform/ChartToVHDL.h">
-<polygon fill="white" stroke="black" points="142.5,-0.5 142.5,-19.5 275.5,-19.5 275.5,-0.5 142.5,-0.5"/>
-<text text-anchor="middle" x="209" y="-7.5" font-family="Helvetica,sans-Serif" font-size="10.00">transform/ChartToVHDL.h</text>
+<!-- Node7 -->
+<g id="node7" class="node"><title>Node7</title>
+<g id="a_node7"><a xlink:href="_chart_to_v_h_d_l_8h.html" target="_top" xlink:title="transform/ChartToVHDL.h">
+<polygon fill="white" stroke="black" points="5,-67.5 5,-86.5 138,-86.5 138,-67.5 5,-67.5"/>
+<text text-anchor="middle" x="71.5" y="-74.5" font-family="Helvetica,sans-Serif" font-size="10.00">transform/ChartToVHDL.h</text>
 </a>
 </g>
 </g>
-<!-- Node1&#45;&gt;Node4 -->
-<g id="edge4" class="edge"><title>Node1&#45;&gt;Node4</title>
-<path fill="none" stroke="midnightblue" d="M209,-102.348C209,-78.2538 209,-37.3079 209,-19.5914"/>
-<polygon fill="midnightblue" stroke="midnightblue" points="205.5,-102.368 209,-112.368 212.5,-102.369 205.5,-102.368"/>
+<!-- Node1&#45;&gt;Node7 -->
+<g id="edge11" class="edge"><title>Node1&#45;&gt;Node7</title>
+<path fill="none" stroke="midnightblue" d="M242.623,-188.015C215.225,-180.839 181.732,-169.817 154.5,-154 122.231,-135.257 91.9108,-102.176 78.5943,-86.5858"/>
+<polygon fill="midnightblue" stroke="midnightblue" points="241.866,-191.433 252.418,-190.486 243.578,-184.646 241.866,-191.433"/>
 </g>
-<!-- Node5 -->
-<g id="node5" class="node"><title>Node5</title>
-<g id="a_node5"><a xlink:href="_trie_8cpp.html" target="_top" xlink:title="transform/Trie.cpp">
-<polygon fill="white" stroke="black" points="237,-56.5 237,-75.5 335,-75.5 335,-56.5 237,-56.5"/>
-<text text-anchor="middle" x="286" y="-63.5" font-family="Helvetica,sans-Serif" font-size="10.00">transform/Trie.cpp</text>
+<!-- Node9 -->
+<g id="node9" class="node"><title>Node9</title>
+<g id="a_node9"><a xlink:href="_promela_code_analyzer_8h.html" target="_top" xlink:title="transform/promela/Promela\lCodeAnalyzer.h">
+<polygon fill="white" stroke="black" points="299.5,-123.5 299.5,-153.5 437.5,-153.5 437.5,-123.5 299.5,-123.5"/>
+<text text-anchor="start" x="307.5" y="-141.5" font-family="Helvetica,sans-Serif" font-size="10.00">transform/promela/Promela</text>
+<text text-anchor="middle" x="368.5" y="-130.5" font-family="Helvetica,sans-Serif" font-size="10.00">CodeAnalyzer.h</text>
+</a>
+</g>
+</g>
+<!-- Node1&#45;&gt;Node9 -->
+<g id="edge8" class="edge"><title>Node1&#45;&gt;Node9</title>
+<path fill="none" stroke="midnightblue" d="M312.912,-184.195C324.581,-174.813 339.583,-162.751 351.06,-153.523"/>
+<polygon fill="midnightblue" stroke="midnightblue" points="310.702,-181.481 305.102,-190.475 315.089,-186.937 310.702,-181.481"/>
+</g>
+<!-- Node10 -->
+<g id="node10" class="node"><title>Node10</title>
+<g id="a_node10"><a xlink:href="_trie_8cpp.html" target="_top" xlink:title="transform/Trie.cpp">
+<polygon fill="white" stroke="black" points="455.5,-129 455.5,-148 553.5,-148 553.5,-129 455.5,-129"/>
+<text text-anchor="middle" x="504.5" y="-136" font-family="Helvetica,sans-Serif" font-size="10.00">transform/Trie.cpp</text>
 </a>
 </g>
 </g>
-<!-- Node1&#45;&gt;Node5 -->
-<g id="edge5" class="edge"><title>Node1&#45;&gt;Node5</title>
-<path fill="none" stroke="midnightblue" d="M229.901,-106.342C243.911,-96.5169 261.883,-83.9132 273.659,-75.6545"/>
-<polygon fill="midnightblue" stroke="midnightblue" points="227.549,-103.717 221.371,-112.324 231.568,-109.448 227.549,-103.717"/>
+<!-- Node1&#45;&gt;Node10 -->
+<g id="edge12" class="edge"><title>Node1&#45;&gt;Node10</title>
+<path fill="none" stroke="midnightblue" d="M334.468,-187.676C375.273,-176.114 437.692,-158.429 474.468,-148.009"/>
+<polygon fill="midnightblue" stroke="midnightblue" points="333.255,-184.382 324.588,-190.475 335.163,-191.116 333.255,-184.382"/>
 </g>
 <!-- Node3 -->
 <g id="node3" class="node"><title>Node3</title>
 <g id="a_node3"><a xlink:href="_chart_to_c_8cpp.html" target="_top" xlink:title="transform/ChartToC.cpp">
-<polygon fill="white" stroke="black" points="0,-0.5 0,-19.5 124,-19.5 124,-0.5 0,-0.5"/>
-<text text-anchor="middle" x="62" y="-7.5" font-family="Helvetica,sans-Serif" font-size="10.00">transform/ChartToC.cpp</text>
+<polygon fill="white" stroke="black" points="156.5,-67.5 156.5,-86.5 280.5,-86.5 280.5,-67.5 156.5,-67.5"/>
+<text text-anchor="middle" x="218.5" y="-74.5" font-family="Helvetica,sans-Serif" font-size="10.00">transform/ChartToC.cpp</text>
 </a>
 </g>
 </g>
 <!-- Node2&#45;&gt;Node3 -->
 <g id="edge2" class="edge"><title>Node2&#45;&gt;Node3</title>
-<path fill="none" stroke="midnightblue" d="M106.246,-49.5372C95.1915,-39.9087 81.3685,-27.8694 72.1426,-19.8339"/>
-<polygon fill="midnightblue" stroke="midnightblue" points="104.199,-52.3954 114.039,-56.324 108.797,-47.1168 104.199,-52.3954"/>
+<path fill="none" stroke="midnightblue" d="M219.872,-118.817C219.508,-107.996 219.068,-94.898 218.786,-86.5091"/>
+<polygon fill="midnightblue" stroke="midnightblue" points="216.379,-119.098 220.213,-128.975 223.375,-118.863 216.379,-119.098"/>
+</g>
+<!-- Node4 -->
+<g id="node4" class="node"><title>Node4</title>
+<g id="a_node4"><a xlink:href="_chart_to_promela_8h.html" target="_top" xlink:title="transform/ChartToPromela.h">
+<polygon fill="white" stroke="black" points="299,-67.5 299,-86.5 442,-86.5 442,-67.5 299,-67.5"/>
+<text text-anchor="middle" x="370.5" y="-74.5" font-family="Helvetica,sans-Serif" font-size="10.00">transform/ChartToPromela.h</text>
+</a>
+</g>
 </g>
 <!-- Node2&#45;&gt;Node4 -->
 <g id="edge3" class="edge"><title>Node2&#45;&gt;Node4</title>
-<path fill="none" stroke="midnightblue" d="M146.194,-50.9005C161.78,-40.9986 182.13,-28.0705 195.377,-19.6545"/>
-<polygon fill="midnightblue" stroke="midnightblue" points="144.221,-48.0073 137.657,-56.324 147.974,-53.9158 144.221,-48.0073"/>
+<path fill="none" stroke="midnightblue" d="M251.301,-125.282C280.45,-113.72 323.448,-96.6641 349.049,-86.5091"/>
+<polygon fill="midnightblue" stroke="midnightblue" points="249.996,-122.034 241.991,-128.975 252.577,-128.541 249.996,-122.034"/>
 </g>
+<!-- Node2&#45;&gt;Node7 -->
+<g id="edge6" class="edge"><title>Node2&#45;&gt;Node7</title>
+<path fill="none" stroke="midnightblue" d="M189.526,-125.131C160.579,-113.572 118.128,-96.62 92.8085,-86.5091"/>
+<polygon fill="midnightblue" stroke="midnightblue" points="188.567,-128.517 199.152,-128.975 191.163,-122.016 188.567,-128.517"/>
 </g>
+<!-- Node5 -->
+<g id="node5" class="node"><title>Node5</title>
+<g id="a_node5"><a xlink:href="_chart_to_promela_8cpp.html" target="_top" xlink:title="transform/ChartToPromela.cpp">
+<polygon fill="white" stroke="black" points="229.5,-6 229.5,-25 383.5,-25 383.5,-6 229.5,-6"/>
+<text text-anchor="middle" x="306.5" y="-13" font-family="Helvetica,sans-Serif" font-size="10.00">transform/ChartToPromela.cpp</text>
+</a>
+</g>
+</g>
+<!-- Node4&#45;&gt;Node5 -->
+<g id="edge4" class="edge"><title>Node4&#45;&gt;Node5</title>
+<path fill="none" stroke="midnightblue" d="M353.989,-60.6496C341.787,-49.3058 325.626,-34.2811 315.653,-25.0091"/>
+<polygon fill="midnightblue" stroke="midnightblue" points="351.623,-63.2295 361.33,-67.4751 356.39,-58.1028 351.623,-63.2295"/>
+</g>
+<!-- Node6 -->
+<g id="node6" class="node"><title>Node6</title>
+<g id="a_node6"><a xlink:href="_promela_code_analyzer_8cpp.html" target="_top" xlink:title="transform/promela/Promela\lCodeAnalyzer.cpp">
+<polygon fill="white" stroke="black" points="401.5,-0.5 401.5,-30.5 539.5,-30.5 539.5,-0.5 401.5,-0.5"/>
+<text text-anchor="start" x="409.5" y="-18.5" font-family="Helvetica,sans-Serif" font-size="10.00">transform/promela/Promela</text>
+<text text-anchor="middle" x="470.5" y="-7.5" font-family="Helvetica,sans-Serif" font-size="10.00">CodeAnalyzer.cpp</text>
+</a>
+</g>
+</g>
+<!-- Node4&#45;&gt;Node6 -->
+<g id="edge5" class="edge"><title>Node4&#45;&gt;Node6</title>
+<path fill="none" stroke="midnightblue" d="M393.565,-62.2762C409.569,-52.7541 430.82,-40.1096 446.932,-30.523"/>
+<polygon fill="midnightblue" stroke="midnightblue" points="391.632,-59.3539 384.828,-67.4751 395.211,-65.3696 391.632,-59.3539"/>
+</g>
+<!-- Node8 -->
+<g id="node8" class="node"><title>Node8</title>
+<g id="a_node8"><a xlink:href="_chart_to_v_h_d_l_8cpp.html" target="_top" xlink:title="transform/ChartToVHDL.cpp">
+<polygon fill="white" stroke="black" points="0,-6 0,-25 143,-25 143,-6 0,-6"/>
+<text text-anchor="middle" x="71.5" y="-13" font-family="Helvetica,sans-Serif" font-size="10.00">transform/ChartToVHDL.cpp</text>
+</a>
+</g>
+</g>
+<!-- Node7&#45;&gt;Node8 -->
+<g id="edge7" class="edge"><title>Node7&#45;&gt;Node8</title>
+<path fill="none" stroke="midnightblue" d="M71.5,-57.3165C71.5,-46.4962 71.5,-33.398 71.5,-25.0091"/>
+<polygon fill="midnightblue" stroke="midnightblue" points="68.0001,-57.4751 71.5,-67.4751 75.0001,-57.4751 68.0001,-57.4751"/>
+</g>
+<!-- Node9&#45;&gt;Node4 -->
+<g id="edge9" class="edge"><title>Node9&#45;&gt;Node4</title>
+<path fill="none" stroke="midnightblue" d="M369.314,-113.289C369.631,-103.857 369.974,-93.6548 370.209,-86.6578"/>
+<polygon fill="midnightblue" stroke="midnightblue" points="365.812,-113.287 368.974,-123.399 372.808,-113.523 365.812,-113.287"/>
+</g>
+<!-- Node9&#45;&gt;Node6 -->
+<g id="edge10" class="edge"><title>Node9&#45;&gt;Node6</title>
+<path fill="none" stroke="midnightblue" d="M413.151,-118.552C427.204,-110.639 441.618,-100.17 451.5,-87 464.053,-70.2701 468.318,-45.8189 469.763,-30.5496"/>
+<polygon fill="midnightblue" stroke="midnightblue" points="411.22,-115.614 404.019,-123.385 414.495,-121.8 411.22,-115.614"/>
+</g>
+</g>
+</svg>
+        <g id="navigator" transform="translate(0 0)" fill="#404254">
+                <rect fill="#f2f5e9" fill-opacity="0.5" stroke="#606060" stroke-width=".5" x="0" y="0" width="60" height="60"/>
+                <use id="zoomplus" xlink:href="#zoomPlus" x="17" y="9" onmousedown="handleZoom(evt,'in')"/>
+                <use id="zoomminus" xlink:href="#zoomMin" x="42" y="9" onmousedown="handleZoom(evt,'out')"/>
+                <use id="reset" xlink:href="#resetDef" x="30" y="36" onmousedown="handleReset()"/>
+                <g id="arrowUp" xlink:href="#dirArrow" transform="translate(30 24)" onmousedown="handlePan(0,-1)">
+                  <use xlink:href="#rim" fill="#404040">
+                        <set attributeName="fill" to="#808080" begin="arrowUp.mouseover" end="arrowUp.mouseout"/>
+                  </use>
+                  <path fill="none" stroke="white" stroke-width="1.5" d="M0,-3.0v7 M-2.5,-0.5L0,-3.0L2.5,-0.5"/>
+                </g>
+                <g id="arrowRight" xlink:href="#dirArrow" transform="rotate(90) translate(36 -43)" onmousedown="handlePan(1,0)">
+                  <use xlink:href="#rim" fill="#404040">
+                        <set attributeName="fill" to="#808080" begin="arrowRight.mouseover" end="arrowRight.mouseout"/>
+                  </use>
+                  <path fill="none" stroke="white" stroke-width="1.5" d="M0,-3.0v7 M-2.5,-0.5L0,-3.0L2.5,-0.5"/>
+                </g>
+                <g id="arrowDown" xlink:href="#dirArrow" transform="rotate(180) translate(-30 -48)" onmousedown="handlePan(0,1)">
+                  <use xlink:href="#rim" fill="#404040">
+                        <set attributeName="fill" to="#808080" begin="arrowDown.mouseover" end="arrowDown.mouseout"/>
+                  </use>
+                  <path fill="none" stroke="white" stroke-width="1.5" d="M0,-3.0v7 M-2.5,-0.5L0,-3.0L2.5,-0.5"/>
+                </g>
+                <g id="arrowLeft" xlink:href="#dirArrow" transform="rotate(270) translate(-36 17)" onmousedown="handlePan(-1,0)">
+                  <use xlink:href="#rim" fill="#404040">
+                        <set attributeName="fill" to="#808080" begin="arrowLeft.mouseover" end="arrowLeft.mouseout"/>
+                  </use>
+                  <path fill="none" stroke="white" stroke-width="1.5" d="M0,-3.0v7 M-2.5,-0.5L0,-3.0L2.5,-0.5"/>
+                </g>
+        </g>
+        <svg viewBox="0 0 15 15" width="100%" height="30px" preserveAspectRatio="xMaxYMin meet">
+         <g id="arrow_out" transform="scale(0.3 0.3)">
+          <a xlink:href="_trie_8h__dep__incl_org.svg" target="_base">
+           <rect id="button" ry="5" rx="5" y="6" x="6" height="38" width="38"
+                fill="#f2f5e9" fill-opacity="0.5" stroke="#606060" stroke-width="1.0"/>
+           <path id="arrow"
+             d="M 11.500037,31.436501 C 11.940474,20.09759 22.043105,11.32322 32.158766,21.979434 L 37.068811,17.246167 C 37.068811,17.246167 37.088388,32 37.088388,32 L 22.160133,31.978069 C 22.160133,31.978069 26.997745,27.140456 26.997745,27.140456 C 18.528582,18.264221 13.291696,25.230495 11.500037,31.436501 z"
+             style="fill:#404040;"/>
+          </a>
+         </g>
+        </svg>
 </svg>