<map id="operator()" name="operator()">
<area shape="rect" id="node1" title=" " alt="" coords="5,31,92,57"/>
<area shape="rect" id="node2" href="$tripleFwd_8hpp.html#a7a724b824f9e21a646a965a99fff4b04" title=" " alt="" coords="143,5,199,32"/>
<area shape="rect" id="node3" href="$tripleFwd_8hpp.html#ae1449f1d56abab2ec4d0f00b685fc478" title=" " alt="" coords="140,56,203,83"/>
</map>
