<map id="Graphical Class Hierarchy" name="Graphical Class Hierarchy">
<area shape="rect" id="node2" href="$structspot_1_1internal_1_1distate__storage.html" title="spot::internal::distate\l_storage\&lt; Edge, State\l_Data \&gt;" alt="" coords="141,5,295,61"/>
</map>
