<map id="spot::digraph&lt; State_Data, Edge_Data, Alternating &gt;" name="spot::digraph&lt; State_Data, Edge_Data, Alternating &gt;">
<area shape="rect" id="node2" href="$singletonspot_1_1digraph.html" title="{spot::digraph\&lt; kripke\l_graph_state, void \&gt;\n|# states_\l# edges_\l# killed_edge_\l|+ digraph()\l+ num_states()\l+ num_edges()\l+ new_state()\l+ new_states()\l+ new_edge()\l+ index_of_state()\l+ index_of_edge()\l+ is_valid_edge()\l+ dump_storage()\l+ remove_dead_edges_()\l+ sort_edges_()\l+ chain_edges_()\l+ rename_states_()\l+ defrag_states()\l+ state_storage()\l+ state_storage()\l+ state_data()\l+ state_data()\l+ edge_storage()\l+ edge_storage()\l+ edge_data()\l+ edge_data()\l+ out()\l+ out()\l+ out()\l+ out()\l+ out_iteraser()\l+ out_iteraser()\l+ states()\l+ states()\l+ edges()\l+ edges()\l+ edge_vector()\l+ edge_vector()\l+ is_dead_edge()\l+ is_dead_edge()\l+ alternating()\l* state_storage()\l* state_storage()\l* state_data()\l* state_data()\l* edge_storage()\l* edge_storage()\l* edge_data()\l* edge_data()\l* out()\l* out()\l* out()\l* out()\l* out_iteraser()\l* out_iteraser()\l* states()\l* states()\l* edges()\l* edges()\l* edge_vector()\l* edge_vector()\l* is_dead_edge()\l* is_dead_edge()\l}" alt="" coords="27,1069,196,2056"/>
</map>
