<map id="spot::state" name="spot::state">
<area shape="rect" id="node2" href="$structspot_1_1kripke__graph__state.html" title="Concrete class for kripke_graph states. " alt="" coords="5,211,165,406"/>
<area shape="rect" id="node3" href="$classspot_1_1set__state.html" title="Set of states deriving from spot::state. " alt="" coords="189,233,299,384"/>
<area shape="rect" id="node4" href="$classspot_1_1state__product.html" title="A state for spot::twa_product. " alt="" coords="323,226,458,391"/>
<area shape="rect" id="node5" href="$classspot_1_1state__ta__explicit.html" title="{spot::state_ta_explicit\n|+ stuttering_reachable\l_livelock\l|+ state_ta_explicit()\l+ compare()\l+ hash()\l+ clone()\l+ destroy()\l+ ~state_ta_explicit()\l+ get_transitions()\l+ get_transitions()\l+ add_transition()\l+ get_tgba_state()\land 10 more...\l}" alt="" coords="482,189,633,428"/>
<area shape="rect" id="node6" href="$classspot_1_1state__ta__product.html" title="A state for spot::ta_product. " alt="" coords="657,219,809,399"/>
<area shape="rect" id="node7" href="$structspot_1_1twa__graph__state.html" title="{spot::twa_graph_state\n||+ twa_graph_state()\l+ ~twa_graph_state()\l+ compare()\l+ hash()\l+ clone()\l+ destroy()\l}" alt="" coords="834,233,985,384"/>
</map>
