<map id="Graphical Class Hierarchy" name="Graphical Class Hierarchy">
<area shape="rect" id="node1" href="$classspot_1_1state.html" title="Abstract class for states. " alt="" coords="5,147,89,174"/>
<area shape="rect" id="node2" href="$structspot_1_1kripke__graph__state.html" title="Concrete class for kripke_graph states. " alt="" coords="149,5,278,47"/>
<area shape="rect" id="node3" href="$classspot_1_1set__state.html" title="Set of states deriving from spot::state. " alt="" coords="159,71,268,98"/>
<area shape="rect" id="node4" href="$classspot_1_1state__product.html" title="A state for spot::twa_product. " alt="" coords="146,122,281,149"/>
<area shape="rect" id="node5" href="$classspot_1_1state__ta__explicit.html" title="spot::state_ta_explicit" alt="" coords="138,173,289,199"/>
<area shape="rect" id="node6" href="$classspot_1_1state__ta__product.html" title="A state for spot::ta_product. " alt="" coords="137,223,289,250"/>
<area shape="rect" id="node7" href="$structspot_1_1twa__graph__state.html" title="spot::twa_graph_state" alt="" coords="138,274,289,301"/>
</map>
