<?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: Utilities Pages: 1 --> <svg width="185pt" height="175pt" viewBox="0.00 0.00 185.00 175.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 171)"> <title>Utilities</title> <polygon fill="white" stroke="none" points="-4,4 -4,-171 181,-171 181,4 -4,4"/> <!-- Node0 --> <g id="node1" class="node"><title>Node0</title> <polygon fill="#bfbfbf" stroke="black" points="0,-74.5 0,-92.5 47,-92.5 47,-74.5 0,-74.5"/> <text text-anchor="middle" x="23.5" y="-81.3" font-family="Helvetica,sans-Serif" font-size="9.00">Utilities</text> </g> <!-- Node3 --> <g id="node2" class="node"><title>Node3</title> <g id="a_node2"><a xlink:href="a01428.html" target="_top" xlink:title="Rational Arithmetic"> <polygon fill="white" stroke="black" points="83,-148.5 83,-166.5 177,-166.5 177,-148.5 83,-148.5"/> <text text-anchor="middle" x="130" y="-155.3" font-family="Helvetica,sans-Serif" font-size="9.00">Rational Arithmetic</text> </a> </g> </g> <!-- Node0->Node3 --> <g id="edge3" class="edge"><title>Node0->Node3</title> <path fill="none" stroke="black" d="M38.7271,-100.276C49.787,-112.474 66.0548,-128.68 83,-139.5 88.3486,-142.915 94.4487,-145.86 100.419,-148.321"/> <polygon fill="black" stroke="black" points="41.1928,-97.78 31.9581,-92.5868 35.9387,-102.405 41.1928,-97.78"/> </g> <!-- Node1 --> <g id="node3" class="node"><title>Node1</title> <g id="a_node3"><a xlink:href="a01419.html" target="_top" xlink:title="Time"> <polygon fill="white" stroke="black" points="111.5,-111.5 111.5,-129.5 148.5,-129.5 148.5,-111.5 111.5,-111.5"/> <text text-anchor="middle" x="130" y="-118.3" font-family="Helvetica,sans-Serif" font-size="9.00">Time</text> </a> </g> </g> <!-- Node0->Node1 --> <g id="edge1" class="edge"><title>Node0->Node1</title> <path fill="none" stroke="black" d="M56.695,-94.8992C74.6399,-101.253 96.3054,-108.924 111.214,-114.202"/> <polygon fill="black" stroke="black" points="57.7697,-91.5669 47.1749,-91.5284 55.4333,-98.1655 57.7697,-91.5669"/> </g> <!-- Node4 --> <g id="node4" class="node"><title>Node4</title> <g id="a_node4"><a xlink:href="a01430.html" target="_top" xlink:title="Metaprogramming"> <polygon fill="white" stroke="black" points="84,-74.5 84,-92.5 176,-92.5 176,-74.5 84,-74.5"/> <text text-anchor="middle" x="130" y="-81.3" font-family="Helvetica,sans-Serif" font-size="9.00">Metaprogramming</text> </a> </g> </g> <!-- Node0->Node4 --> <g id="edge4" class="edge"><title>Node0->Node4</title> <path fill="none" stroke="black" d="M57.2632,-83.5C65.6172,-83.5 74.7469,-83.5 83.6088,-83.5"/> <polygon fill="black" stroke="black" points="57.175,-80.0001 47.1749,-83.5 57.1749,-87.0001 57.175,-80.0001"/> </g> <!-- Node5 --> <g id="node5" class="node"><title>Node5</title> <g id="a_node5"><a xlink:href="a01447.html" target="_top" xlink:title="Function Objects"> <polygon fill="white" stroke="black" points="87.5,-37.5 87.5,-55.5 172.5,-55.5 172.5,-37.5 87.5,-37.5"/> <text text-anchor="middle" x="130" y="-44.3" font-family="Helvetica,sans-Serif" font-size="9.00">Function Objects</text> </a> </g> </g> <!-- Node0->Node5 --> <g id="edge5" class="edge"><title>Node0->Node5</title> <path fill="none" stroke="black" d="M56.614,-72.1295C71.6521,-66.805 89.3175,-60.5503 103.432,-55.5527"/> <polygon fill="black" stroke="black" points="55.4333,-68.8345 47.1749,-75.4716 57.7697,-75.4331 55.4333,-68.8345"/> </g> <!-- Node2 --> <g id="node6" class="node"><title>Node2</title> <g id="a_node6"><a xlink:href="a01424.html" target="_top" xlink:title="Memory"> <polygon fill="white" stroke="black" points="105,-0.5 105,-18.5 155,-18.5 155,-0.5 105,-0.5"/> <text text-anchor="middle" x="130" y="-7.3" font-family="Helvetica,sans-Serif" font-size="9.00">Memory</text> </a> </g> </g> <!-- Node0->Node2 --> <g id="edge2" class="edge"><title>Node0->Node2</title> <path fill="none" stroke="black" d="M39.2229,-66.7223C50.3306,-54.8439 66.4414,-39.1869 83,-28.5 89.679,-24.1893 97.4984,-20.5231 104.776,-17.5949"/> <polygon fill="black" stroke="black" points="36.529,-64.4824 32.3883,-74.2346 41.7068,-69.1931 36.529,-64.4824"/> </g> </g> </svg>