<map id="DijkstraWizardDefaultTraits&lt; GR, LEN &gt;" name="DijkstraWizardDefaultTraits&lt; GR, LEN &gt;">
<area shape="rect" id="node3" href="$a00137.html" title="Default traits class used by DijkstraWizard. " alt="" coords="27,97,165,138"/>
</map>
