<map id="src/base/discreteproxyprovider.h" name="src/base/discreteproxyprovider.h">
<area shape="rect" id="node2" href="$solutionprovider_8h.html" title="../base/solutionprovider.h" alt="" coords="5,80,171,107"/>
</map>
