<map id="Tags" name="Tags">
<area shape="rect" id="node1" href="$a01680.html" title="Policy&#45;Based Data Structures" alt="" coords="5,30,187,55"/>
<area shape="rect" id="node3" href="$a01682.html" title="Invalidation Guarantees" alt="" coords="333,5,485,30"/>
<area shape="rect" id="node4" href="$a01683.html" title="Data Structure Type" alt="" coords="344,54,475,79"/>
</map>