<map id="spot::kripke_graph" name="spot::kripke_graph">
<area shape="rect" id="node2" href="$classspot_1_1kripke.html" title="Interface for a Kripke structure. " alt="" coords="146,2245,327,2352"/>
<area shape="rect" id="node3" href="$classspot_1_1fair__kripke.html" title="Interface for a Fair Kripke structure. " alt="" coords="138,1181,319,1288"/>
<area shape="rect" id="node4" href="$classspot_1_1twa.html" title="A Transition&#45;based ω&#45;Automaton. " alt="" coords="141,321,316,692"/>
<area shape="rect" id="node6" title="Helper structure used to store property flags. " alt="" coords="162,49,295,215"/>
<area shape="rect" id="node7" href="$classspot_1_1twa__succ__iterator.html" title="Iterate over the successors of a state. " alt="" coords="320,5,479,259"/>
<area shape="rect" id="node8" 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="363,1805,532,2792"/>
<area shape="rect" id="node9" href="$singletonspot_1_1digraph.html" title="A directed graph. " alt="" coords="344,741,556,1728"/>
</map>
