<map id="unitVector" name="unitVector">
<area shape="rect" id="node1" title=" " alt="" coords="5,5,93,32"/>
<area shape="rect" id="node2" href="$tripleFwd_8hpp.html#aac73338fc91e70834f04d7c806628ac5" title=" " alt="" coords="141,5,228,32"/>
</map>
