Updated documentationgh-pages

1 files changed, 67 insertions, 55 deletions

diff --git a/classuscxml_1_1_promela_data_model__coll__graph.svg b/classuscxml_1_1_promela_data_model__coll__graph.svg
index 8fac2bb..1d07d3c 100644
--- a/classuscxml_1_1_promela_data_model__coll__graph.svg
+++ b/classuscxml_1_1_promela_data_model__coll__graph.svg
@@ -1,93 +1,105 @@
 <?xml version="1.0" encoding="UTF-8" standalone="no"?>
 <!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN"
  "http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd">
-<!-- Generated by graphviz version 2.38.0 (20140413.2041)
+<!-- Generated by graphviz version 2.40.1 (20161225.0304)
  -->
 <!-- Title: uscxml::PromelaDataModel Pages: 1 -->
 <svg width="323pt" height="229pt"
  viewBox="0.00 0.00 323.00 229.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 225)">
 <title>uscxml::PromelaDataModel</title>
-<polygon fill="white" stroke="none" points="-4,4 -4,-225 319,-225 319,4 -4,4"/>
-<!-- Node1 -->
-<g id="node1" class="node"><title>Node1</title>
-<polygon fill="#bfbfbf" stroke="black" points="99,-0.5 99,-19.5 238,-19.5 238,-0.5 99,-0.5"/>
-<text text-anchor="middle" x="168.5" y="-7.5" font-family="Helvetica,sans-Serif" font-size="10.00">uscxml::PromelaDataModel</text>
-</g>
+<polygon fill="#ffffff" stroke="transparent" points="-4,4 -4,-225 319,-225 319,4 -4,4"/>
 <!-- Node2 -->
-<g id="node2" class="node"><title>Node2</title>
+<g id="node1" class="node">
+<title>Node2</title>
+<polygon fill="#bfbfbf" stroke="#000000" points="99,-.5 99,-19.5 238,-19.5 238,-.5 99,-.5"/>
+<text text-anchor="middle" x="168.5" y="-7.5" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">uscxml::PromelaDataModel</text>
+</g>
+<!-- Node3 -->
+<g id="node2" class="node">
+<title>Node3</title>
 <g id="a_node2"><a xlink:href="classuscxml_1_1_data_model_impl.html" target="_top" xlink:title="Abstract base class for all data&#45;model implementations. ">
-<polygon fill="white" stroke="black" points="12.5,-67.5 12.5,-86.5 132.5,-86.5 132.5,-67.5 12.5,-67.5"/>
-<text text-anchor="middle" x="72.5" y="-74.5" font-family="Helvetica,sans-Serif" font-size="10.00">uscxml::DataModelImpl</text>
+<polygon fill="#ffffff" stroke="#000000" points="12.5,-67.5 12.5,-86.5 132.5,-86.5 132.5,-67.5 12.5,-67.5"/>
+<text text-anchor="middle" x="72.5" y="-74.5" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">uscxml::DataModelImpl</text>
 </a>
 </g>
 </g>
-<!-- Node2&#45;&gt;Node1 -->
-<g id="edge1" class="edge"><title>Node2&#45;&gt;Node1</title>
-<path fill="none" stroke="midnightblue" d="M93.7758,-61.5945C112.767,-48.7359 139.95,-30.3306 155.758,-19.6273"/>
-<polygon fill="midnightblue" stroke="midnightblue" points="91.7652,-58.729 85.447,-67.2338 95.6898,-64.5254 91.7652,-58.729"/>
+<!-- Node3&#45;&gt;Node2 -->
+<g id="edge1" class="edge">
+<title>Node3&#45;&gt;Node2</title>
+<path fill="none" stroke="#191970" d="M94.6944,-61.5102C113.2398,-48.567 139.0989,-30.5195 154.7711,-19.5817"/>
+<polygon fill="#191970" stroke="#191970" points="92.4517,-58.8072 86.2545,-67.4005 96.4579,-64.5475 92.4517,-58.8072"/>
 </g>
-<!-- Node3 -->
-<g id="node3" class="node"><title>Node3</title>
+<!-- Node4 -->
+<g id="node3" class="node">
+<title>Node4</title>
 <g id="a_node3"><a xlink:href="classuscxml_1_1_data_model_callbacks.html" target="_top" xlink:title="Callbacks available for every data&#45;model. ">
-<polygon fill="white" stroke="black" points="0,-134.5 0,-153.5 145,-153.5 145,-134.5 0,-134.5"/>
-<text text-anchor="middle" x="72.5" y="-141.5" font-family="Helvetica,sans-Serif" font-size="10.00">uscxml::DataModelCallbacks</text>
+<polygon fill="#ffffff" stroke="#000000" points="0,-134.5 0,-153.5 145,-153.5 145,-134.5 0,-134.5"/>
+<text text-anchor="middle" x="72.5" y="-141.5" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">uscxml::DataModelCallbacks</text>
 </a>
 </g>
 </g>
-<!-- Node3&#45;&gt;Node2 -->
-<g id="edge2" class="edge"><title>Node3&#45;&gt;Node2</title>
-<path fill="none" stroke="#9a32cd" stroke-dasharray="5,2" d="M72.5,-124.037C72.5,-111.67 72.5,-96.1198 72.5,-86.6273"/>
-<polygon fill="#9a32cd" stroke="#9a32cd" points="69.0001,-124.234 72.5,-134.234 76.0001,-124.234 69.0001,-124.234"/>
-<text text-anchor="middle" x="97.5" y="-108" font-family="Helvetica,sans-Serif" font-size="10.00"> _callbacks</text>
+<!-- Node4&#45;&gt;Node3 -->
+<g id="edge2" class="edge">
+<title>Node4&#45;&gt;Node3</title>
+<path fill="none" stroke="#9a32cd" stroke-dasharray="5,2" d="M72.5,-124.1079C72.5,-111.714 72.5,-96.3263 72.5,-86.5817"/>
+<polygon fill="#9a32cd" stroke="#9a32cd" points="69.0001,-124.4005 72.5,-134.4005 76.0001,-124.4006 69.0001,-124.4005"/>
+<text text-anchor="middle" x="97.5" y="-108" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000"> _callbacks</text>
 </g>
-<!-- Node4 -->
-<g id="node4" class="node"><title>Node4</title>
+<!-- Node5 -->
+<g id="node4" class="node">
+<title>Node5</title>
 <g id="a_node4"><a xlink:href="classuscxml_1_1_data.html" target="_top" xlink:title="uscxml::Data">
-<polygon fill="white" stroke="black" points="182.5,-134.5 182.5,-153.5 256.5,-153.5 256.5,-134.5 182.5,-134.5"/>
-<text text-anchor="middle" x="219.5" y="-141.5" font-family="Helvetica,sans-Serif" font-size="10.00">uscxml::Data</text>
+<polygon fill="#ffffff" stroke="#000000" points="182.5,-134.5 182.5,-153.5 256.5,-153.5 256.5,-134.5 182.5,-134.5"/>
+<text text-anchor="middle" x="219.5" y="-141.5" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">uscxml::Data</text>
 </a>
 </g>
 </g>
-<!-- Node4&#45;&gt;Node1 -->
-<g id="edge3" class="edge"><title>Node4&#45;&gt;Node1</title>
-<path fill="none" stroke="#9a32cd" stroke-dasharray="5,2" d="M204.242,-126.837C195.227,-116.313 184.445,-101.825 178.5,-87 169.286,-64.0255 168.182,-34.3159 168.267,-19.7863"/>
-<polygon fill="#9a32cd" stroke="#9a32cd" points="201.693,-129.236 210.968,-134.358 206.911,-124.571 201.693,-129.236"/>
-<text text-anchor="middle" x="203" y="-74.5" font-family="Helvetica,sans-Serif" font-size="10.00"> _variables</text>
+<!-- Node5&#45;&gt;Node2 -->
+<g id="edge3" class="edge">
+<title>Node5&#45;&gt;Node2</title>
+<path fill="none" stroke="#9a32cd" stroke-dasharray="5,2" d="M203.591,-126.7321C194.7104,-116.0741 184.2976,-101.6705 178.5,-87 169.4334,-64.0576 168.2192,-34.5685 168.2639,-19.6161"/>
+<polygon fill="#9a32cd" stroke="#9a32cd" points="201.0644,-129.1604 210.2672,-134.41 206.3467,-124.5672 201.0644,-129.1604"/>
+<text text-anchor="middle" x="203" y="-74.5" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000"> _variables</text>
 </g>
-<!-- Node6 -->
-<g id="node6" class="node"><title>Node6</title>
+<!-- Node7 -->
+<g id="node6" class="node">
+<title>Node7</title>
 <g id="a_node6"><a xlink:href="classuscxml_1_1_event.html" target="_top" xlink:title="uscxml::Event">
-<polygon fill="white" stroke="black" points="236,-67.5 236,-86.5 315,-86.5 315,-67.5 236,-67.5"/>
-<text text-anchor="middle" x="275.5" y="-74.5" font-family="Helvetica,sans-Serif" font-size="10.00">uscxml::Event</text>
+<polygon fill="#ffffff" stroke="#000000" points="236,-67.5 236,-86.5 315,-86.5 315,-67.5 236,-67.5"/>
+<text text-anchor="middle" x="275.5" y="-74.5" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">uscxml::Event</text>
 </a>
 </g>
 </g>
-<!-- Node4&#45;&gt;Node6 -->
-<g id="edge6" class="edge"><title>Node4&#45;&gt;Node6</title>
-<path fill="none" stroke="#9a32cd" stroke-dasharray="5,2" d="M233.599,-126.635C244.551,-113.923 259.305,-96.7978 268.067,-86.6273"/>
-<polygon fill="#9a32cd" stroke="#9a32cd" points="230.928,-124.373 227.052,-134.234 236.231,-128.942 230.928,-124.373"/>
-<text text-anchor="middle" x="262" y="-108" font-family="Helvetica,sans-Serif" font-size="10.00"> data</text>
+<!-- Node5&#45;&gt;Node7 -->
+<g id="edge6" class="edge">
+<title>Node5&#45;&gt;Node7</title>
+<path fill="none" stroke="#9a32cd" stroke-dasharray="5,2" d="M233.9474,-126.7147C244.6239,-113.941 258.7649,-97.0224 267.4914,-86.5817"/>
+<polygon fill="#9a32cd" stroke="#9a32cd" points="231.2511,-124.4831 227.5234,-134.4005 236.6221,-128.9723 231.2511,-124.4831"/>
+<text text-anchor="middle" x="262" y="-108" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000"> data</text>
 </g>
-<!-- Node5 -->
-<g id="node5" class="node"><title>Node5</title>
+<!-- Node6 -->
+<g id="node5" class="node">
+<title>Node6</title>
 <g id="a_node5"><a xlink:href="classuscxml_1_1_blob.html" target="_top" xlink:title="uscxml::Blob">
-<polygon fill="white" stroke="black" points="183,-201.5 183,-220.5 256,-220.5 256,-201.5 183,-201.5"/>
-<text text-anchor="middle" x="219.5" y="-208.5" font-family="Helvetica,sans-Serif" font-size="10.00">uscxml::Blob</text>
+<polygon fill="#ffffff" stroke="#000000" points="183,-201.5 183,-220.5 256,-220.5 256,-201.5 183,-201.5"/>
+<text text-anchor="middle" x="219.5" y="-208.5" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">uscxml::Blob</text>
 </a>
 </g>
 </g>
-<!-- Node5&#45;&gt;Node4 -->
-<g id="edge4" class="edge"><title>Node5&#45;&gt;Node4</title>
-<path fill="none" stroke="#9a32cd" stroke-dasharray="5,2" d="M219.5,-191.037C219.5,-178.67 219.5,-163.12 219.5,-153.627"/>
-<polygon fill="#9a32cd" stroke="#9a32cd" points="216,-191.234 219.5,-201.234 223,-191.234 216,-191.234"/>
-<text text-anchor="middle" x="235" y="-175" font-family="Helvetica,sans-Serif" font-size="10.00"> binary</text>
+<!-- Node6&#45;&gt;Node5 -->
+<g id="edge4" class="edge">
+<title>Node6&#45;&gt;Node5</title>
+<path fill="none" stroke="#9a32cd" stroke-dasharray="5,2" d="M219.5,-191.1079C219.5,-178.714 219.5,-163.3263 219.5,-153.5817"/>
+<polygon fill="#9a32cd" stroke="#9a32cd" points="216.0001,-191.4005 219.5,-201.4005 223.0001,-191.4006 216.0001,-191.4005"/>
+<text text-anchor="middle" x="235" y="-175" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000"> binary</text>
 </g>
-<!-- Node6&#45;&gt;Node1 -->
-<g id="edge5" class="edge"><title>Node6&#45;&gt;Node1</title>
-<path fill="none" stroke="#9a32cd" stroke-dasharray="5,2" d="M252.359,-61.9422C231.169,-49.0696 200.481,-30.4274 182.702,-19.6273"/>
-<polygon fill="#9a32cd" stroke="#9a32cd" points="250.706,-65.0332 261.07,-67.2338 254.34,-59.0506 250.706,-65.0332"/>
-<text text-anchor="middle" x="244" y="-41" font-family="Helvetica,sans-Serif" font-size="10.00"> _event</text>
+<!-- Node7&#45;&gt;Node2 -->
+<g id="edge5" class="edge">
+<title>Node7&#45;&gt;Node2</title>
+<path fill="none" stroke="#9a32cd" stroke-dasharray="5,2" d="M251.6035,-62.0368C230.8803,-49.0605 201.5082,-30.6687 183.8021,-19.5817"/>
+<polygon fill="#9a32cd" stroke="#9a32cd" points="249.8365,-65.0598 260.1695,-67.4005 253.5515,-59.1269 249.8365,-65.0598"/>
+<text text-anchor="middle" x="244" y="-41" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000"> _event</text>
 </g>
 </g>
 </svg>