| <?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) |
| --> |
| <!-- Title: UserConfiguration Pages: 1 --> |
| <svg width="494pt" height="116pt" |
| viewBox="0.00 0.00 494.00 116.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 112)"> |
| <title>UserConfiguration</title> |
| <polygon fill="white" stroke="none" points="-4,4 -4,-112 490,-112 490,4 -4,4"/> |
| <!-- Node1 --> |
| <g id="node1" class="node"><title>Node1</title> |
| <polygon fill="#bfbfbf" stroke="black" points="391,-44.5 391,-63.5 486,-63.5 486,-44.5 391,-44.5"/> |
| <text text-anchor="middle" x="438.5" y="-51.5" font-family="Helvetica,sans-Serif" font-size="10.00">UserConfiguration</text> |
| </g> |
| <!-- Node2 --> |
| <g id="node2" class="node"><title>Node2</title> |
| <polygon fill="white" stroke="#bfbfbf" points="203,-88.5 203,-107.5 319,-107.5 319,-88.5 203,-88.5"/> |
| <text text-anchor="middle" x="261" y="-95.5" font-family="Helvetica,sans-Serif" font-size="10.00">Option< unsigned int ></text> |
| </g> |
| <!-- Node2->Node1 --> |
| <g id="edge1" class="edge"><title>Node2->Node1</title> |
| <path fill="none" stroke="#9a32cd" stroke-dasharray="5,2" d="M310.11,-85.9383C338.257,-78.8815 373.293,-70.0976 399.493,-63.5287"/> |
| <polygon fill="#9a32cd" stroke="#9a32cd" points="308.93,-82.6258 300.081,-88.4527 310.632,-89.4157 308.93,-82.6258"/> |
| <text text-anchor="middle" x="355" y="-82" font-family="Helvetica,sans-Serif" font-size="10.00"> threads</text> |
| </g> |
| <!-- Node3 --> |
| <g id="node3" class="node"><title>Node3</title> |
| <g id="a_node3"><a xlink:title="Wrapper around options to store if an option has been set. "> |
| <polygon fill="white" stroke="#bfbfbf" points="0,-43.5 0,-62.5 69,-62.5 69,-43.5 0,-43.5"/> |
| <text text-anchor="middle" x="34.5" y="-50.5" font-family="Helvetica,sans-Serif" font-size="10.00">Option< T ></text> |
| </a> |
| </g> |
| </g> |
| <!-- Node3->Node2 --> |
| <g id="edge2" class="edge"><title>Node3->Node2</title> |
| <path fill="none" stroke="orange" stroke-dasharray="5,2" d="M62.8002,-66.9767C70.4617,-70.403 78.9119,-73.7332 87,-76 124.753,-86.5811 168.581,-92.0867 202.676,-94.9442"/> |
| <polygon fill="orange" stroke="orange" points="64.1435,-63.7408 53.6041,-62.658 61.1679,-70.0769 64.1435,-63.7408"/> |
| <text text-anchor="middle" x="136" y="-96" font-family="Helvetica,sans-Serif" font-size="10.00"> < unsigned int ></text> |
| </g> |
| <!-- Node4 --> |
| <g id="node4" class="node"><title>Node4</title> |
| <polygon fill="white" stroke="#bfbfbf" points="204.5,-39 204.5,-69 317.5,-69 317.5,-39 204.5,-39"/> |
| <text text-anchor="start" x="212.5" y="-57" font-family="Helvetica,sans-Serif" font-size="10.00">Option< std::random</text> |
| <text text-anchor="middle" x="261" y="-46" font-family="Helvetica,sans-Serif" font-size="10.00">_device::result_type ></text> |
| </g> |
| <!-- Node3->Node4 --> |
| <g id="edge4" class="edge"><title>Node3->Node4</title> |
| <path fill="none" stroke="orange" stroke-dasharray="5,2" d="M79.2278,-53.1948C114.963,-53.354 165.706,-53.58 204.339,-53.7521"/> |
| <polygon fill="orange" stroke="orange" points="79.1254,-49.6944 69.1099,-53.1497 79.0942,-56.6943 79.1254,-49.6944"/> |
| <text text-anchor="start" x="87" y="-68" font-family="Helvetica,sans-Serif" font-size="10.00"> < std::random_device</text> |
| <text text-anchor="middle" x="136" y="-57" font-family="Helvetica,sans-Serif" font-size="10.00">::result_type ></text> |
| </g> |
| <!-- Node5 --> |
| <g id="node5" class="node"><title>Node5</title> |
| <polygon fill="white" stroke="#bfbfbf" points="207.5,-0.5 207.5,-19.5 314.5,-19.5 314.5,-0.5 207.5,-0.5"/> |
| <text text-anchor="middle" x="261" y="-7.5" font-family="Helvetica,sans-Serif" font-size="10.00">Option< std::string ></text> |
| </g> |
| <!-- Node3->Node5 --> |
| <g id="edge6" class="edge"><title>Node3->Node5</title> |
| <path fill="none" stroke="orange" stroke-dasharray="5,2" d="M78.4329,-40.9869C81.3246,-40.2835 84.2,-39.6137 87,-39 127.011,-30.2309 172.733,-22.6712 207.121,-17.4706"/> |
| <polygon fill="orange" stroke="orange" points="77.4568,-37.6236 68.6246,-43.4753 79.1782,-44.4087 77.4568,-37.6236"/> |
| <text text-anchor="middle" x="136" y="-42" font-family="Helvetica,sans-Serif" font-size="10.00"> < std::string ></text> |
| </g> |
| <!-- Node4->Node1 --> |
| <g id="edge3" class="edge"><title>Node4->Node1</title> |
| <path fill="none" stroke="#9a32cd" stroke-dasharray="5,2" d="M327.676,-54C348.689,-54 371.507,-54 390.872,-54"/> |
| <polygon fill="#9a32cd" stroke="#9a32cd" points="327.529,-50.5001 317.529,-54 327.529,-57.5001 327.529,-50.5001"/> |
| <text text-anchor="middle" x="355" y="-57" font-family="Helvetica,sans-Serif" font-size="10.00"> seed</text> |
| </g> |
| <!-- Node5->Node1 --> |
| <g id="edge5" class="edge"><title>Node5->Node1</title> |
| <path fill="none" stroke="#9a32cd" stroke-dasharray="5,2" d="M310.11,-22.0617C338.257,-29.1185 373.293,-37.9024 399.493,-44.4713"/> |
| <polygon fill="#9a32cd" stroke="#9a32cd" points="310.632,-18.5843 300.081,-19.5473 308.93,-25.3742 310.632,-18.5843"/> |
| <text text-anchor="middle" x="355" y="-41" font-family="Helvetica,sans-Serif" font-size="10.00"> path</text> |
| </g> |
| </g> |
| </svg> |
