<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="142,2260,323,2367"/>
<area shape="rect" id="node3" href="$classspot_1_1fair__kripke.html" title="Interface for a Fair Kripke structure. " alt="" coords="142,1196,323,1303"/>
<area shape="rect" id="node4" href="$classspot_1_1twa.html" title="A Transition&#45;based ω&#45;Automaton. " alt="" coords="145,321,320,707"/>
<area shape="rect" id="node6" title="Helper structure used to store property flags. " alt="" coords="161,35,304,229"/>
<area shape="rect" id="node7" href="$classspot_1_1twa__succ__iterator.html" title="Iterate over the successors of a state. " alt="" coords="328,5,487,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# dests_\l# killed_edge_\l|+ digraph()\l+ num_states()\l+ num_edges()\l+ is_existential()\l+ is_alternating()\l+ new_state()\l+ new_states()\l+ new_edge()\l+ new_univ_dests()\l+ new_univ_edge()\land 12 more...\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+ dests_vector()\l+ dests_vector()\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* dests_vector()\l* dests_vector()\l}" alt="" coords="347,1820,491,2807"/>
<area shape="rect" id="node9" href="$singletonspot_1_1digraph.html" title="A directed graph. " alt="" coords="348,756,491,1743"/>
</map>
