<map id="spot::fair_kripke" name="spot::fair_kripke">
<area shape="rect" id="node2" href="$classspot_1_1twa.html" title="A Transition&#45;based ω&#45;Automaton. " alt="" coords="141,321,316,692"/>
<area shape="rect" id="node4" title="Helper structure used to store property flags. " alt="" coords="162,49,295,215"/>
<area shape="rect" id="node5" href="$classspot_1_1twa__succ__iterator.html" title="Iterate over the successors of a state. " alt="" coords="320,5,479,259"/>
</map>
