<map id="Tags" name="Tags">
<area shape="rect" id="node1" href="$a01475.html" title="Policy&#45;Based Data Structures" alt="" coords="5,31,187,56"/>
<area shape="rect" id="node3" href="$a01477.html" title="Invalidation Guarantees" alt="" coords="332,5,484,31"/>
<area shape="rect" id="node4" href="$a01478.html" title="Data Structure Type" alt="" coords="343,55,473,80"/>
</map>