<?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: Extensions Pages: 1 --> <svg width="242pt" height="98pt" viewBox="0.00 0.00 242.00 98.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 94)"> <title>Extensions</title> <polygon fill="#ffffff" stroke="transparent" points="-4,4 -4,-94 238,-94 238,4 -4,4"/> <!-- Node3 --> <g id="node1" class="node"> <title>Node3</title> <g id="a_node1"><a xlink:href="a01526.html" target="_top" xlink:title=" "> <polygon fill="#ffffff" stroke="#000000" points="234,-90 98,-90 98,-72 234,-72 234,-90"/> <text text-anchor="middle" x="166" y="-78.8" font-family="Helvetica,sans-Serif" font-size="9.00" fill="#000000">Policy-Based Data Structures</text> </a> </g> </g> <!-- Node1 --> <g id="node2" class="node"> <title>Node1</title> <g id="a_node2"><a xlink:href="a01459.html" target="_top" xlink:title=" "> <polygon fill="#ffffff" stroke="#000000" points="182,-54 150,-54 150,-36 182,-36 182,-54"/> <text text-anchor="middle" x="166" y="-42.8" font-family="Helvetica,sans-Serif" font-size="9.00" fill="#000000">SGI</text> </a> </g> </g> <!-- Node0 --> <g id="node3" class="node"> <title>Node0</title> <g id="a_node3"><a xlink:title=" "> <polygon fill="#bfbfbf" stroke="#000000" points="62,-54 0,-54 0,-36 62,-36 62,-54"/> <text text-anchor="middle" x="31" y="-42.8" font-family="Helvetica,sans-Serif" font-size="9.00" fill="#000000">Extensions</text> </a> </g> </g> <!-- Node0->Node3 --> <g id="edge3" class="edge"> <title>Node0->Node3</title> <path fill="none" stroke="#000000" d="M71.884,-56.0095C80.5073,-58.3244 89.5518,-60.747 98,-63 108.9738,-65.9265 120.9486,-69.1022 131.7489,-71.9599"/> <polygon fill="#000000" stroke="#000000" points="72.5812,-52.5727 62.0155,-53.3581 70.7649,-59.333 72.5812,-52.5727"/> </g> <!-- Node0->Node1 --> <g id="edge1" class="edge"> <title>Node0->Node1</title> <path fill="none" stroke="#000000" d="M72.3702,-45C98.5694,-45 130.9791,-45 149.9836,-45"/> <polygon fill="#000000" stroke="#000000" points="72.3111,-41.5001 62.311,-45 72.311,-48.5001 72.3111,-41.5001"/> </g> <!-- Node2 --> <g id="node4" class="node"> <title>Node2</title> <g id="a_node4"><a xlink:href="a01509.html" target="_top" xlink:title=" "> <polygon fill="#ffffff" stroke="#000000" points="206,-18 126,-18 126,0 206,0 206,-18"/> <text text-anchor="middle" x="166" y="-6.8" font-family="Helvetica,sans-Serif" font-size="9.00" fill="#000000">Dynamic Bitset.</text> </a> </g> </g> <!-- Node0->Node2 --> <g id="edge2" class="edge"> <title>Node0->Node2</title> <path fill="none" stroke="#000000" d="M71.884,-33.9905C80.5073,-31.6756 89.5518,-29.253 98,-27 108.9738,-24.0735 120.9486,-20.8978 131.7489,-18.0401"/> <polygon fill="#000000" stroke="#000000" points="70.7649,-30.667 62.0155,-36.6419 72.5812,-37.4273 70.7649,-30.667"/> </g> </g> </svg>