<map id="spot::formater" name="spot::formater">
<area shape="rect" id="node2" href="$classspot_1_1satsolver__command.html" title="Interface with a given sat solver. " alt="" coords="5,365,177,472"/>
<area shape="rect" id="node3" href="$classspot_1_1stat__printer.html" title="prints various statistics about a TGBA " alt="" coords="202,373,322,465"/>
</map>
