<map id="Graphical Class Hierarchy" name="Graphical Class Hierarchy">
<area shape="rect" id="node1" href="$classspot_1_1emptiness__check__result.html" title="The result of an emptiness check. " alt="" coords="427,5,585,47"/>
<area shape="rect" id="node2" href="$classspot_1_1couvreur99__check__result.html" title="Compute a counter example from a spot::couvreur99_check_status. " alt="" coords="649,31,810,72"/>
<area shape="rect" id="node4" href="$classspot_1_1emptiness__check.html" title="Common interface to emptiness check algorithms. " alt="" coords="220,173,377,199"/>
<area shape="rect" id="node7" href="$classspot_1_1twa.html" title="A Transition&#45;based ω&#45;Automaton. " alt="" coords="261,322,337,349"/>
<area shape="rect" id="node5" href="$classspot_1_1couvreur99__check.html" title="An implementation of the Couvreur99 emptiness&#45;check algorithm. " alt="" coords="425,173,587,199"/>
<area shape="rect" id="node6" href="$classspot_1_1couvreur99__check__shy.html" title="A version of spot::couvreur99_check that tries to visit known states first. " alt="" coords="635,122,824,149"/>
<area shape="rect" id="node8" href="$classspot_1_1fair__kripke.html" title="Interface for a Fair Kripke structure. " alt="" coords="449,231,563,258"/>
<area shape="rect" id="node11" href="$classspot_1_1taa__tgba.html" title="A self&#45;loop Transition&#45;based Alternating Automaton (TAA) which is seen as a TGBA (abstract class..." alt="" coords="453,297,559,323"/>
<area shape="rect" id="node17" href="$classspot_1_1tgta.html" title="A Transition&#45;based Generalized Testing Automaton (TGTA). " alt="" coords="467,347,545,374"/>
<area shape="rect" id="node19" href="$classspot_1_1twa__graph.html" title="spot::twa_graph" alt="" coords="449,398,563,425"/>
<area shape="rect" id="node20" href="$classspot_1_1twa__product.html" title="A lazy product. (States are computed on the fly.) " alt="" coords="443,471,569,498"/>
<area shape="rect" id="node9" href="$classspot_1_1kripke.html" title="Interface for a Kripke structure. " alt="" coords="684,173,775,199"/>
<area shape="rect" id="node10" href="$classspot_1_1kripke__graph.html" title="Kripke Structure. " alt="" coords="885,173,1014,199"/>
<area shape="rect" id="node12" href="$classspot_1_1taa__tgba__labelled.html" title="spot::taa_tgba_labelled\l\&lt; label \&gt;" alt="" coords="651,224,807,265"/>
<area shape="rect" id="node13" href="$classspot_1_1taa__tgba__labelled.html" title="spot::taa_tgba_labelled\l\&lt; formula \&gt;" alt="" coords="651,289,807,331"/>
<area shape="rect" id="node15" href="$classspot_1_1taa__tgba__labelled.html" title="spot::taa_tgba_labelled\l\&lt; std::string \&gt;" alt="" coords="651,355,807,396"/>
<area shape="rect" id="node14" href="$classspot_1_1taa__tgba__formula.html" title="spot::taa_tgba_formula" alt="" coords="872,297,1027,323"/>
<area shape="rect" id="node16" href="$classspot_1_1taa__tgba__string.html" title="spot::taa_tgba_string" alt="" coords="877,362,1021,389"/>
<area shape="rect" id="node18" href="$classspot_1_1tgta__explicit.html" title="spot::tgta_explicit" alt="" coords="667,421,792,447"/>
<area shape="rect" id="node21" href="$classspot_1_1tgta__product.html" title="A lazy product. (States are computed on the fly.) " alt="" coords="666,471,793,498"/>
<area shape="rect" id="node22" href="$classspot_1_1twa__product__init.html" title="A lazy product with different initial states. " alt="" coords="654,522,805,549"/>
<area shape="rect" id="node23" href="$structspot_1_1unsigned__statistics.html" title="spot::unsigned_statistics" alt="" coords="5,97,172,123"/>
<area shape="rect" id="node24" href="$classspot_1_1ars__statistics.html" title="Accepting Run Search statistics. " alt="" coords="232,71,365,98"/>
<area shape="rect" id="node26" href="$classspot_1_1ec__statistics.html" title="Emptiness&#45;check statistics. " alt="" coords="234,122,363,149"/>
<area shape="rect" id="node25" href="$classspot_1_1acss__statistics.html" title="Accepting Cycle Search Space statistics. " alt="" coords="435,71,577,98"/>
<area shape="rect" id="node27" href="$classspot_1_1ta__check.html" title="An implementation of the emptiness&#45;check algorithm for a product between a TA and a Kripke structure..." alt="" coords="452,122,560,149"/>
</map>
