<?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: Tags Pages: 1 -->
<svg width="367pt" height="62pt"
 viewBox="0.00 0.00 367.00 62.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 58)">
<title>Tags</title>
<polygon fill="#ffffff" stroke="transparent" points="-4,4 -4,-58 363,-58 363,4 -4,4"/>
<!-- Node1 -->
<g id="node1" class="node">
<title>Node1</title>
<g id="a_node1"><a xlink:href="a01526.html" target="_top" xlink:title=" ">
<polygon fill="#ffffff" stroke="#000000" points="136,-36 0,-36 0,-18 136,-18 136,-36"/>
<text text-anchor="middle" x="68" y="-24.8" font-family="Helvetica,sans-Serif" font-size="9.00" fill="#000000">Policy&#45;Based Data Structures</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="209,-36 172,-36 172,-18 209,-18 209,-36"/>
<text text-anchor="middle" x="190.5" y="-24.8" font-family="Helvetica,sans-Serif" font-size="9.00" fill="#000000">Tags</text>
</a>
</g>
</g>
<!-- Node1&#45;&gt;Node0 -->
<g id="edge1" class="edge">
<title>Node1&#45;&gt;Node0</title>
<path fill="none" stroke="#000000" d="M146.1505,-27C155.6725,-27 164.6034,-27 171.9198,-27"/>
<polygon fill="#000000" stroke="#000000" points="146.0564,-23.5001 136.0563,-27 146.0563,-30.5001 146.0564,-23.5001"/>
</g>
<!-- Node2 -->
<g id="node3" class="node">
<title>Node2</title>
<g id="a_node3"><a xlink:href="a01528.html" target="_top" xlink:title=" ">
<polygon fill="#ffffff" stroke="#000000" points="359,-54 245,-54 245,-36 359,-36 359,-54"/>
<text text-anchor="middle" x="302" y="-42.8" font-family="Helvetica,sans-Serif" font-size="9.00" fill="#000000">Invalidation Guarantees</text>
</a>
</g>
</g>
<!-- Node0&#45;&gt;Node2 -->
<g id="edge2" class="edge">
<title>Node0&#45;&gt;Node2</title>
<path fill="none" stroke="#000000" d="M219.0633,-31.6111C227.3965,-32.9564 236.8027,-34.4749 246.2104,-35.9936"/>
<polygon fill="#000000" stroke="#000000" points="219.5926,-28.1513 209.1626,-30.0128 218.477,-35.0619 219.5926,-28.1513"/>
</g>
<!-- Node3 -->
<g id="node4" class="node">
<title>Node3</title>
<g id="a_node4"><a xlink:href="a01529.html" target="_top" xlink:title=" ">
<polygon fill="#ffffff" stroke="#000000" points="351,-18 253,-18 253,0 351,0 351,-18"/>
<text text-anchor="middle" x="302" y="-6.8" font-family="Helvetica,sans-Serif" font-size="9.00" fill="#000000">Data Structure Type</text>
</a>
</g>
</g>
<!-- Node0&#45;&gt;Node3 -->
<g id="edge3" class="edge">
<title>Node0&#45;&gt;Node3</title>
<path fill="none" stroke="#000000" d="M219.2208,-22.3635C229.5171,-20.7013 241.4363,-18.7771 252.9664,-16.9157"/>
<polygon fill="#000000" stroke="#000000" points="218.477,-18.9381 209.1626,-23.9872 219.5926,-25.8487 218.477,-18.9381"/>
</g>
</g>
</svg>