<map id="spot::state_ta_explicit::transition" name="spot::state_ta_explicit::transition">
<area shape="rect" id="node2" href="$structspot_1_1acc__cond_1_1mark__t.html" title="{spot::acc_cond::mark_t\n|+ id\l|+ mark_t()\l+ mark_t()\l+ mark_t()\l+ mark_t()\l+ operator==()\l+ operator!=()\l+ operator==()\l+ operator!=()\l+ operator\&lt;()\l+ operator\&lt;=()\land 26 more...\l}" alt="" coords="5,191,164,415"/>
<area shape="rect" id="node3" href="$classspot_1_1state__ta__explicit.html" title="{spot::state_ta_explicit\n||+ 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="188,191,339,415"/>
<area shape="rect" id="node4" href="$classspot_1_1state.html" title="Abstract class for states. " alt="" coords="217,5,309,141"/>
</map>
