<map id="spot::postprocessor" name="spot::postprocessor">
<area shape="rect" id="node2" href="$classspot_1_1translator.html" title="Translate an LTL formula into an optimized spot::tgba. " alt="" coords="11,409,137,648"/>
</map>
