<map id="G" name="G"> <area shape="rect" id="node5" href="$trellis__calc__metric_8h.html" title="trellis_calc_metric.h" alt="" coords="112,83,251,112"/> <area shape="rect" id="node11" href="$trellis__metric__type_8h.html" title="trellis_metric_type.h" alt="" coords="255,160,393,189"/> </map>