<map id="src/base/proxyevaluation.h" name="src/base/proxyevaluation.h">
<area shape="rect" id="node2" href="$evaluation_8h.html" title="../base/evaluation.h" alt="" coords="5,80,139,107"/>
<area shape="rect" id="node3" href="$proxyprovider_8h.html" title="../base/proxyprovider.h" alt="" coords="163,80,316,107"/>
<area shape="rect" id="node6" href="$discreteproxyprovider_8h.html" title="../base/discreteproxyprovider.h" alt="" coords="341,80,539,107"/>
<area shape="rect" id="node5" href="$solutionprovider_8h.html" title="../base/solutionprovider.h" alt="" coords="278,155,444,181"/>
</map>
