<map id="src/datastructure/proxysolution.h" name="src/datastructure/proxysolution.h">
<area shape="rect" id="node2" href="$solutionprovider_8h.html" title="../base/solutionprovider.h" alt="" coords="5,155,171,181"/>
<area shape="rect" id="node4" href="$proxyprovider_8h.html" title="../base/proxyprovider.h" alt="" coords="126,80,279,107"/>
</map>
