7.779,-12 386.647,-12 395.572,-12"/>
<polygon fill="#ff0000" stroke="#ff0000" points="395.63,-15.5001 405.63,-12 395.63,-8.5001 395.63,-15.5001"/>
</g>
<!-- proc~init_solver -->
<g id="interface~~set_default_options~~CalledByGraph_node3" class="node"><title>proc~init_solver</title>
<g id="a_interface~~set_default_options~~CalledByGraph_node3"><a xlink:href=".././proc/init_solver.html" xlink:title="init_solver">
<polygon fill="#d9534f" stroke="#d9534f" points="265.5,-24 204.5,-24 204.5,-0 265.5,-0 265.5,-24"