<map id="Graphical Class Hierarchy" name="Graphical Class Hierarchy">
<area shape="rect" id="node1" href="$classspot_1_1postprocessor.html" title="Wrap TGBA/BA/Monitor post&#45;processing algorithms in an easy interface. " alt="" coords="5,5,143,32"/>
<area shape="rect" id="node2" href="$classspot_1_1translator.html" title="Translate an LTL formula into an optimized spot::tgba. " alt="" coords="191,5,300,32"/>
</map>
