<map id="hasUniqueNavigationNodes" name="hasUniqueNavigationNodes"> <area shape="rect" id="node2" href="$antlr3defs_8h.html#af53a0945d04dc72b9a3b927c1fa5ffd7" title="antlr3CommonTreeNodeStreamNew" alt="" coords="317,12,629,39"/> <area shape="rect" id="node4" href="$antlr3defs_8h.html#ad8c49d0bf9bb605b1b8ae992afd70077" title="antlr3CommonTreeNodeStream\lNewStream" alt="" coords="332,63,615,105"/> <area shape="rect" id="node3" href="$antlr3defs_8h.html#a80515ce12fe3b7e18473029d07dceaa7" title="antlr3CommonTreeNodeStream\lNewTree" alt="" coords="677,5,960,46"/> </map>