<map id="checkNormalVec" name="checkNormalVec">
<area shape="rect" id="node1" title=" " alt="" coords="5,31,136,57"/>
<area shape="rect" id="node2" href="$tripleFwd_8hpp.html#a7a724b824f9e21a646a965a99fff4b04" title=" " alt="" coords="187,5,243,32"/>
<area shape="rect" id="node3" href="$tripleFwd_8hpp.html#ae1449f1d56abab2ec4d0f00b685fc478" title=" " alt="" coords="184,56,247,83"/>
</map>
