<map id="put_splitpoints_in_the_state" name="put_splitpoints_in_the_state">
<area shape="rect" id="node3" href="$group__splt__splitpoints__.html#gaad1fe34babdfd5fa089ec5c7119bd590" title="Sets a new splitpoint." alt="" coords="187,12,381,39"/>
</map>
