<?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.40.1 (20161225.0304) --> <!-- Title: Utilities Pages: 1 --> <svg width="185pt" height="170pt" viewBox="0.00 0.00 185.00 170.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 166)"> <title>Utilities</title> <polygon fill="#ffffff" stroke="transparent" points="-4,4 -4,-166 181,-166 181,4 -4,4"/> <!-- Node0 --> <g id="node1" class="node"> <title>Node0</title> <g id="a_node1"><a xlink:title=" "> <polygon fill="#bfbfbf" stroke="#000000" points="47,-90 0,-90 0,-72 47,-72 47,-90"/> <text text-anchor="middle" x="23.5" y="-78.8" font-family="Helvetica,sans-Serif" font-size="9.00" fill="#000000">Utilities</text> </a> </g> </g> <!-- Node3 --> <g id="node2" class="node"> <title>Node3</title> <g id="a_node2"><a xlink:href="a01474.html" target="_top" xlink:title=" "> <polygon fill="#ffffff" stroke="#000000" points="177,-162 83,-162 83,-144 177,-144 177,-162"/> <text text-anchor="middle" x="130" y="-150.8" font-family="Helvetica,sans-Serif" font-size="9.00" fill="#000000">Rational Arithmetic</text> </a> </g> </g> <!-- Node0->Node3 --> <g id="edge3" class="edge"> <title>Node0->Node3</title> <path fill="none" stroke="#000000" d="M38.5002,-97.5698C49.8103,-109.2797 66.201,-124.6689 83,-135 88.6566,-138.4787 95.0969,-141.4783 101.357,-143.9768"/> <polygon fill="#000000" stroke="#000000" points="40.9365,-95.0513 31.5393,-90.1582 35.834,-99.8435 40.9365,-95.0513"/> </g> <!-- Node1 --> <g id="node3" class="node"> <title>Node1</title> <g id="a_node3"><a xlink:href="a01466.html" target="_top" xlink:title=" "> <polygon fill="#ffffff" stroke="#000000" points="148.5,-126 111.5,-126 111.5,-108 148.5,-108 148.5,-126"/> <text text-anchor="middle" x="130" y="-114.8" font-family="Helvetica,sans-Serif" font-size="9.00" fill="#000000">Time</text> </a> </g> </g> <!-- Node0->Node1 --> <g id="edge1" class="edge"> <title>Node0->Node1</title> <path fill="none" stroke="#000000" d="M56.7099,-92.2259C74.7222,-98.3146 96.3163,-105.614 111.3806,-110.7061"/> <polygon fill="#000000" stroke="#000000" points="57.73,-88.8762 47.1358,-88.9896 55.4884,-95.5076 57.73,-88.8762"/> </g> <!-- Node4 --> <g id="node4" class="node"> <title>Node4</title> <g id="a_node4"><a xlink:href="a01476.html" target="_top" xlink:title=" "> <polygon fill="#ffffff" stroke="#000000" points="176,-90 84,-90 84,-72 176,-72 176,-90"/> <text text-anchor="middle" x="130" y="-78.8" font-family="Helvetica,sans-Serif" font-size="9.00" fill="#000000">Metaprogramming</text> </a> </g> </g> <!-- Node0->Node4 --> <g id="edge4" class="edge"> <title>Node0->Node4</title> <path fill="none" stroke="#000000" d="M57.2939,-81C65.6893,-81 74.8328,-81 83.7135,-81"/> <polygon fill="#000000" stroke="#000000" points="57.1358,-77.5001 47.1358,-81 57.1358,-84.5001 57.1358,-77.5001"/> </g> <!-- Node5 --> <g id="node5" class="node"> <title>Node5</title> <g id="a_node5"><a xlink:href="a01496.html" target="_top" xlink:title=" "> <polygon fill="#ffffff" stroke="#000000" points="172.5,-54 87.5,-54 87.5,-36 172.5,-36 172.5,-54"/> <text text-anchor="middle" x="130" y="-42.8" font-family="Helvetica,sans-Serif" font-size="9.00" fill="#000000">Function Objects</text> </a> </g> </g> <!-- Node0->Node5 --> <g id="edge5" class="edge"> <title>Node0->Node5</title> <path fill="none" stroke="#000000" d="M56.9635,-69.6884C71.8112,-64.6694 89.0516,-58.8417 103.0524,-54.109"/> <polygon fill="#000000" stroke="#000000" points="55.4884,-66.4924 47.1358,-73.0104 57.73,-73.1238 55.4884,-66.4924"/> </g> <!-- Node2 --> <g id="node6" class="node"> <title>Node2</title> <g id="a_node6"><a xlink:href="a01471.html" target="_top" xlink:title=" "> <polygon fill="#ffffff" stroke="#000000" points="155,-18 105,-18 105,0 155,0 155,-18"/> <text text-anchor="middle" x="130" y="-6.8" font-family="Helvetica,sans-Serif" font-size="9.00" fill="#000000">Memory</text> </a> </g> </g> <!-- Node0->Node2 --> <g id="edge2" class="edge"> <title>Node0->Node2</title> <path fill="none" stroke="#000000" d="M38.5002,-64.4302C49.8103,-52.7203 66.201,-37.3311 83,-27 89.6986,-22.8805 97.4962,-19.4328 104.7922,-16.6937"/> <polygon fill="#000000" stroke="#000000" points="35.834,-62.1565 31.5393,-71.8418 40.9365,-66.9487 35.834,-62.1565"/> </g> </g> </svg>