<map id="remove_splitpoint" name="remove_splitpoint">
<area shape="rect" id="node2" href="$splitpoints__window_8h.html#abc189c62d37659031934289e079b939d" title="Set all values of a split point." alt="" coords="190,31,322,57"/>
<area shape="rect" id="node3" href="$splitpoints__window_8h.html#a4e73e22ee27c4c036d57503397a0ea98" title="Set a splitpoint&#39;s time value." alt="" coords="371,5,576,32"/>
<area shape="rect" id="node4" href="$splitpoints__window_8h.html#a70bcb2a47a280c1724e75dbc0ce410cd" title="Toggles a splitpoint&#39;s &quot;Keep&quot; flag." alt="" coords="385,56,561,83"/>
</map>
