<?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.34.0 (20131019.2037) --> <!-- Title: Utilities Pages: 1 --> <svg width="186pt" height="174pt" viewBox="0.00 0.00 186.00 174.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 170)"> <title>Utilities</title> <polygon fill="white" stroke="white" points="-4,4 -4,-170 182,-170 182,4 -4,4"/> <!-- Node0 --> <g id="node1" class="node"><title>Node0</title> <polygon fill="#bfbfbf" stroke="black" points="0.5,-74 0.5,-92 47.5,-92 47.5,-74 0.5,-74"/> <text text-anchor="middle" x="24" y="-80.8" font-family="FreeSans" font-size="9.00">Utilities</text> </g> <!-- Node3 --> <g id="node2" class="node"><title>Node3</title> <g id="a_node2"><a xlink:href="a01698.html" target="_top" xlink:title="Rational Arithmetic"> <polygon fill="white" stroke="black" points="84,-148 84,-166 178,-166 178,-148 84,-148"/> <text text-anchor="middle" x="131" y="-154.8" font-family="FreeSans" 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="midnightblue" d="M39.8749,-99.7698C51.0903,-111.644 67.3434,-127.3 84,-138 89.9612,-141.829 96.8231,-145.155 103.397,-147.907"/> <polygon fill="midnightblue" stroke="midnightblue" points="42.3165,-97.254 32.9722,-92.2604 37.1629,-101.991 42.3165,-97.254"/> </g> <!-- Node1 --> <g id="node3" class="node"><title>Node1</title> <g id="a_node3"><a xlink:href="a01689.html" target="_top" xlink:title="Time"> <polygon fill="white" stroke="black" points="112.5,-111 112.5,-129 149.5,-129 149.5,-111 112.5,-111"/> <text text-anchor="middle" x="131" y="-117.8" font-family="FreeSans" font-size="9.00">Time</text> </a> </g> </g> <!-- Node0->Node1 --> <g id="edge1" class="edge"><title>Node0->Node1</title> <path fill="none" stroke="midnightblue" d="M57.1534,-94.3303C75.3201,-100.732 97.332,-108.488 112.373,-113.788"/> <polygon fill="midnightblue" stroke="midnightblue" points="58.1199,-90.9599 47.5251,-90.9374 55.7935,-97.562 58.1199,-90.9599"/> </g> <!-- Node4 --> <g id="node4" class="node"><title>Node4</title> <g id="a_node4"><a xlink:href="a01700.html" target="_top" xlink:title="Metaprogramming"> <polygon fill="white" stroke="black" points="85,-74 85,-92 177,-92 177,-74 85,-74"/> <text text-anchor="middle" x="131" y="-80.8" font-family="FreeSans" font-size="9.00">Metaprogramming</text> </a> </g> </g> <!-- Node0->Node4 --> <g id="edge4" class="edge"><title>Node0->Node4</title> <path fill="none" stroke="midnightblue" d="M57.7818,-83C66.2851,-83 75.5958,-83 84.6205,-83"/> <polygon fill="midnightblue" stroke="midnightblue" points="57.5252,-79.5001 47.5251,-83 57.5251,-86.5001 57.5252,-79.5001"/> </g> <!-- Node5 --> <g id="node5" class="node"><title>Node5</title> <g id="a_node5"><a xlink:href="a01717.html" target="_top" xlink:title="Function Objects"> <polygon fill="white" stroke="black" points="88.5,-37 88.5,-55 173.5,-55 173.5,-37 88.5,-37"/> <text text-anchor="middle" x="131" y="-43.8" font-family="FreeSans" 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="midnightblue" d="M57.0093,-71.7205C72.1312,-66.3919 89.9433,-60.1152 104.186,-55.0964"/> <polygon fill="midnightblue" stroke="midnightblue" points="55.7935,-68.438 47.5251,-75.0626 58.1199,-75.0401 55.7935,-68.438"/> </g> <!-- Node2 --> <g id="node6" class="node"><title>Node2</title> <g id="a_node6"><a xlink:href="a01694.html" target="_top" xlink:title="Memory"> <polygon fill="white" stroke="black" points="106,-0 106,-18 156,-18 156,-0 106,-0"/> <text text-anchor="middle" x="131" y="-6.8" font-family="FreeSans" font-size="9.00">Memory</text> </a> </g> </g> <!-- Node0->Node2 --> <g id="edge2" class="edge"><title>Node0->Node2</title> <path fill="none" stroke="midnightblue" d="M39.8749,-66.2302C51.0903,-54.3557 67.3434,-38.7002 84,-28 90.6882,-23.7035 98.5101,-20.0413 105.787,-17.1123"/> <polygon fill="midnightblue" stroke="midnightblue" points="37.1629,-64.0088 32.9722,-73.7396 42.3165,-68.746 37.1629,-64.0088"/> </g> </g> </svg>