<map id="G" name="G">
<area shape="rect" id="node3" href="$stringdist_8h.html" title="Functions for String Alignment." alt="" coords="5,86,520,117"/>
<area shape="rect" id="node5" href="$treedist_8h.html" title="Functions for Tree Edit Distances." alt="" coords="544,86,1048,117"/>
</map>
