<?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: Dynamic Bitset. Pages: 1 --> <svg width="186pt" height="26pt" viewBox="0.00 0.00 186.00 26.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 22)"> <title>Dynamic Bitset.</title> <polygon fill="#ffffff" stroke="transparent" points="-4,4 -4,-22 182,-22 182,4 -4,4"/> <!-- Node1 --> <g id="node1" class="node"> <title>Node1</title> <g id="a_node1"><a xlink:href="a01461.html" target="_top" xlink:title=" "> <polygon fill="#ffffff" stroke="#000000" points="62,-18 0,-18 0,0 62,0 62,-18"/> <text text-anchor="middle" x="31" y="-6.8" font-family="Helvetica,sans-Serif" font-size="9.00" fill="#000000">Extensions</text> </a> </g> </g> <!-- Node0 --> <g id="node2" class="node"> <title>Node0</title> <g id="a_node2"><a xlink:title=" "> <polygon fill="#bfbfbf" stroke="#000000" points="178,-18 98,-18 98,0 178,0 178,-18"/> <text text-anchor="middle" x="138" y="-6.8" font-family="Helvetica,sans-Serif" font-size="9.00" fill="#000000">Dynamic Bitset.</text> </a> </g> </g> <!-- Node1->Node0 --> <g id="edge1" class="edge"> <title>Node1->Node0</title> <path fill="none" stroke="#000000" d="M72.4724,-9C80.7766,-9 89.4884,-9 97.7504,-9"/> <polygon fill="#000000" stroke="#000000" points="72.2365,-5.5001 62.2365,-9 72.2364,-12.5001 72.2365,-5.5001"/> </g> </g> </svg>