<map id="inCollision" name="inCollision">
<area shape="rect" id="node1" title=" " alt="" coords="5,5,96,32"/>
<area shape="rect" id="node2" href="$tripleFwd_8hpp.html#ae1449f1d56abab2ec4d0f00b685fc478" title=" " alt="" coords="144,5,207,32"/>
</map>
