Updated documentation

1 files changed, 111 insertions, 80 deletions

diff --git a/_trie_8h__dep__incl.svg b/_trie_8h__dep__incl.svg
index 7b648a1..55ccb78 100644
--- a/_trie_8h__dep__incl.svg
+++ b/_trie_8h__dep__incl.svg
@@ -46,7 +46,7 @@ if (edges && edges.length) {
         </defs>
 
 <script type="text/javascript">
-var viewWidth = 562;
+var viewWidth = 698;
 var viewHeight = 218;
 var sectionId = 'dynsection-1';
 </script>
@@ -54,145 +54,176 @@ var sectionId = 'dynsection-1';
 <svg id="graph" class="graph">
 <g id="viewport">
 <title>transform/Trie.h</title>
-<polygon fill="white" stroke="none" points="-4,4 -4,-214 557.5,-214 557.5,4 -4,4"/>
+<polygon fill="white" stroke="none" points="-4,4 -4,-214 693.5,-214 693.5,4 -4,4"/>
 <!-- Node1 -->
 <g id="node1" class="node"><title>Node1</title>
-<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>
+<polygon fill="#bfbfbf" stroke="black" points="412.5,-190.5 412.5,-209.5 499.5,-209.5 499.5,-190.5 412.5,-190.5"/>
+<text text-anchor="middle" x="456" 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="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>
+<polygon fill="white" stroke="black" points="207.5,-129 207.5,-148 320.5,-148 320.5,-129 207.5,-129"/>
+<text text-anchor="middle" x="264" 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="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>
-<!-- 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;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"/>
+<path fill="none" stroke="midnightblue" d="M418.505,-187.381C381.185,-175.815 324.797,-158.341 291.458,-148.009"/>
+<polygon fill="midnightblue" stroke="midnightblue" points="417.903,-190.858 428.491,-190.475 419.975,-184.172 417.903,-190.858"/>
 </g>
 <!-- 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>
+<g id="a_node9"><a xlink:href="_chart_to_v_h_d_l_8h.html" target="_top" xlink:title="transform/ChartToVHDL.h">
+<polygon fill="white" stroke="black" points="487.5,-67.5 487.5,-86.5 620.5,-86.5 620.5,-67.5 487.5,-67.5"/>
+<text text-anchor="middle" x="554" y="-74.5" font-family="Helvetica,sans-Serif" font-size="10.00">transform/ChartToVHDL.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 id="edge14" class="edge"><title>Node1&#45;&gt;Node9</title>
+<path fill="none" stroke="midnightblue" d="M469.417,-182.435C490.546,-156.346 530.834,-106.603 547.016,-86.6232"/>
+<polygon fill="midnightblue" stroke="midnightblue" points="466.622,-180.324 463.048,-190.298 472.062,-184.73 466.622,-180.324"/>
+</g>
+<!-- Node11 -->
+<g id="node11" class="node"><title>Node11</title>
+<g id="a_node11"><a xlink:href="_promela_code_analyzer_8h.html" target="_top" xlink:title="transform/promela/Promela\lCodeAnalyzer.h">
+<polygon fill="white" stroke="black" points="339,-123.5 339,-153.5 477,-153.5 477,-123.5 339,-123.5"/>
+<text text-anchor="start" x="347" y="-141.5" font-family="Helvetica,sans-Serif" font-size="10.00">transform/promela/Promela</text>
+<text text-anchor="middle" x="408" y="-130.5" font-family="Helvetica,sans-Serif" font-size="10.00">CodeAnalyzer.h</text>
+</a>
 </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>
+</g>
+<!-- Node1&#45;&gt;Node11 -->
+<g id="edge10" class="edge"><title>Node1&#45;&gt;Node11</title>
+<path fill="none" stroke="midnightblue" d="M442.713,-182.53C435.362,-173.417 426.324,-162.214 419.313,-153.523"/>
+<polygon fill="midnightblue" stroke="midnightblue" points="440.12,-184.89 449.123,-190.475 445.568,-180.494 440.12,-184.89"/>
+</g>
+<!-- Node12 -->
+<g id="node12" class="node"><title>Node12</title>
+<g id="a_node12"><a xlink:href="_trie_8cpp.html" target="_top" xlink:title="transform/Trie.cpp">
+<polygon fill="white" stroke="black" points="533,-129 533,-148 631,-148 631,-129 533,-129"/>
+<text text-anchor="middle" x="582" y="-136" font-family="Helvetica,sans-Serif" font-size="10.00">transform/Trie.cpp</text>
 </a>
 </g>
 </g>
-<!-- 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"/>
+<!-- Node1&#45;&gt;Node12 -->
+<g id="edge15" class="edge"><title>Node1&#45;&gt;Node12</title>
+<path fill="none" stroke="midnightblue" d="M483.16,-186.174C507.61,-174.629 542.85,-157.987 563.981,-148.009"/>
+<polygon fill="midnightblue" stroke="midnightblue" points="481.601,-183.04 474.053,-190.475 484.59,-189.37 481.601,-183.04"/>
 </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="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>
+<polygon fill="white" stroke="black" points="0,-67.5 0,-86.5 124,-86.5 124,-67.5 0,-67.5"/>
+<text text-anchor="middle" x="62" 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="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"/>
+<path fill="none" stroke="midnightblue" d="M225.305,-126.102C186.05,-114.54 126.188,-96.9069 90.888,-86.5091"/>
+<polygon fill="midnightblue" stroke="midnightblue" points="224.477,-129.507 235.058,-128.975 226.455,-122.792 224.477,-129.507"/>
 </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>
+<g id="a_node4"><a xlink:href="_chart_to_java_8h.html" target="_top" xlink:title="transform/ChartToJava.h">
+<polygon fill="white" stroke="black" points="142.5,-67.5 142.5,-86.5 269.5,-86.5 269.5,-67.5 142.5,-67.5"/>
+<text text-anchor="middle" x="206" y="-74.5" font-family="Helvetica,sans-Serif" font-size="10.00">transform/ChartToJava.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="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"/>
+<path fill="none" stroke="midnightblue" d="M248.401,-121.497C237.423,-110.236 223.161,-95.6044 214.295,-86.5091"/>
+<polygon fill="midnightblue" stroke="midnightblue" points="246.203,-124.257 255.69,-128.975 251.216,-119.371 246.203,-124.257"/>
+</g>
+<!-- Node6 -->
+<g id="node6" class="node"><title>Node6</title>
+<g id="a_node6"><a xlink:href="_chart_to_promela_8h.html" target="_top" xlink:title="transform/ChartToPromela.h">
+<polygon fill="white" stroke="black" points="287.5,-67.5 287.5,-86.5 430.5,-86.5 430.5,-67.5 287.5,-67.5"/>
+<text text-anchor="middle" x="359" y="-74.5" font-family="Helvetica,sans-Serif" font-size="10.00">transform/ChartToPromela.h</text>
+</a>
+</g>
 </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"/>
+<!-- Node2&#45;&gt;Node6 -->
+<g id="edge5" class="edge"><title>Node2&#45;&gt;Node6</title>
+<path fill="none" stroke="midnightblue" d="M286.214,-123.587C304.548,-112.104 329.976,-96.1784 345.414,-86.5091"/>
+<polygon fill="midnightblue" stroke="midnightblue" points="284.228,-120.701 277.611,-128.975 287.944,-126.633 284.228,-120.701"/>
+</g>
+<!-- Node2&#45;&gt;Node9 -->
+<g id="edge8" class="edge"><title>Node2&#45;&gt;Node9</title>
+<path fill="none" stroke="midnightblue" d="M312.291,-126.786C318.252,-125.494 324.263,-124.206 330,-123 392.495,-109.859 464.98,-95.4481 510.172,-86.5625"/>
+<polygon fill="midnightblue" stroke="midnightblue" points="311.39,-123.4 302.365,-128.949 312.881,-130.239 311.39,-123.4"/>
 </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>
+<g id="a_node5"><a xlink:href="_chart_to_java_8cpp.html" target="_top" xlink:title="transform/ChartToJava.cpp">
+<polygon fill="white" stroke="black" points="62,-6 62,-25 200,-25 200,-6 62,-6"/>
+<text text-anchor="middle" x="131" y="-13" font-family="Helvetica,sans-Serif" font-size="10.00">transform/ChartToJava.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"/>
+<path fill="none" stroke="midnightblue" d="M187.058,-60.9727C172.713,-49.5925 153.524,-34.3694 141.726,-25.0091"/>
+<polygon fill="midnightblue" stroke="midnightblue" points="185.245,-64.002 195.254,-67.4751 189.595,-58.5181 185.245,-64.002"/>
 </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>
+<!-- Node7 -->
+<g id="node7" class="node"><title>Node7</title>
+<g id="a_node7"><a xlink:href="_chart_to_promela_8cpp.html" target="_top" xlink:title="transform/ChartToPromela.cpp">
+<polygon fill="white" stroke="black" points="218,-6 218,-25 372,-25 372,-6 218,-6"/>
+<text text-anchor="middle" x="295" y="-13" font-family="Helvetica,sans-Serif" font-size="10.00">transform/ChartToPromela.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"/>
+<!-- Node6&#45;&gt;Node7 -->
+<g id="edge6" class="edge"><title>Node6&#45;&gt;Node7</title>
+<path fill="none" stroke="midnightblue" d="M342.489,-60.6496C330.287,-49.3058 314.126,-34.2811 304.153,-25.0091"/>
+<polygon fill="midnightblue" stroke="midnightblue" points="340.123,-63.2295 349.83,-67.4751 344.89,-58.1028 340.123,-63.2295"/>
 </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>
+<g id="a_node8"><a xlink:href="_promela_code_analyzer_8cpp.html" target="_top" xlink:title="transform/promela/Promela\lCodeAnalyzer.cpp">
+<polygon fill="white" stroke="black" points="390,-0.5 390,-30.5 528,-30.5 528,-0.5 390,-0.5"/>
+<text text-anchor="start" x="398" y="-18.5" font-family="Helvetica,sans-Serif" font-size="10.00">transform/promela/Promela</text>
+<text text-anchor="middle" x="459" y="-7.5" font-family="Helvetica,sans-Serif" font-size="10.00">CodeAnalyzer.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"/>
+<!-- Node6&#45;&gt;Node8 -->
+<g id="edge7" class="edge"><title>Node6&#45;&gt;Node8</title>
+<path fill="none" stroke="midnightblue" d="M382.065,-62.2762C398.069,-52.7541 419.32,-40.1096 435.432,-30.523"/>
+<polygon fill="midnightblue" stroke="midnightblue" points="380.132,-59.3539 373.328,-67.4751 383.711,-65.3696 380.132,-59.3539"/>
+</g>
+<!-- Node10 -->
+<g id="node10" class="node"><title>Node10</title>
+<g id="a_node10"><a xlink:href="_chart_to_v_h_d_l_8cpp.html" target="_top" xlink:title="transform/ChartToVHDL.cpp">
+<polygon fill="white" stroke="black" points="546.5,-6 546.5,-25 689.5,-25 689.5,-6 546.5,-6"/>
+<text text-anchor="middle" x="618" y="-13" font-family="Helvetica,sans-Serif" font-size="10.00">transform/ChartToVHDL.cpp</text>
+</a>
+</g>
+</g>
+<!-- Node9&#45;&gt;Node10 -->
+<g id="edge9" class="edge"><title>Node9&#45;&gt;Node10</title>
+<path fill="none" stroke="midnightblue" d="M570.511,-60.6496C582.713,-49.3058 598.874,-34.2811 608.847,-25.0091"/>
+<polygon fill="midnightblue" stroke="midnightblue" points="568.11,-58.1028 563.17,-67.4751 572.877,-63.2295 568.11,-58.1028"/>
+</g>
+<!-- Node11&#45;&gt;Node4 -->
+<g id="edge11" class="edge"><title>Node11&#45;&gt;Node4</title>
+<path fill="none" stroke="midnightblue" d="M350.517,-120.568C312.737,-109.44 264.914,-95.3534 234.879,-86.5064"/>
+<polygon fill="midnightblue" stroke="midnightblue" points="349.803,-124.006 360.385,-123.475 351.781,-117.292 349.803,-124.006"/>
 </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"/>
+<!-- Node11&#45;&gt;Node6 -->
+<g id="edge12" class="edge"><title>Node11&#45;&gt;Node6</title>
+<path fill="none" stroke="midnightblue" d="M389.804,-115.404C381.574,-105.411 372.326,-94.1815 366.13,-86.6578"/>
+<polygon fill="midnightblue" stroke="midnightblue" points="387.329,-117.905 396.388,-123.399 392.732,-113.455 387.329,-117.905"/>
 </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"/>
+<!-- Node11&#45;&gt;Node8 -->
+<g id="edge13" class="edge"><title>Node11&#45;&gt;Node8</title>
+<path fill="none" stroke="midnightblue" d="M423.685,-114.93C429.08,-106.449 434.811,-96.5471 439,-87 447.23,-68.2429 453.019,-45.1943 456.182,-30.671"/>
+<polygon fill="midnightblue" stroke="midnightblue" points="420.626,-113.212 418.051,-123.489 426.473,-117.06 420.626,-113.212"/>
 </g>
 </g>
 </svg>