<map id="G" name="G">
<area shape="rect" id="node3" href="$classParma__Polyhedra__Library_1_1Implementation_1_1Watchdog_1_1Handler__Flag.html" title="A kind of Handler that installs a flag onto a flag&#45;holder." alt="" coords="244,5,436,91"/>
<area shape="rect" id="node5" href="$classParma__Polyhedra__Library_1_1Implementation_1_1Watchdog_1_1Handler__Function.html" title="A kind of Handler calling a given function." alt="" coords="245,114,435,182"/>
</map>
