<html>
<head>
<meta content="text/html; charset=utf-8" http-equiv="Content-Type">
</head>
<body text="#000000" bgcolor="#FFFFFF">
<div class="moz-cite-prefix">Hi He,<br>
<br>
just trust me and the documentation.<br>
<br>
It will cut off the node, but not immediately, since this might
mess up the internal data structures if SCIP is currently
processing this node.<br>
<br>
Best,<br>
Gerald<br>
<br>
<br>
Am 25.09.2014 um 01:39 schrieb 何河:<br>
</div>
<blockquote
cite="mid:CAL4OG_pe5FEkmqBT0Zt5Bnkpaz1AsvQtaT015z7wbU7BUkmi5w@mail.gmail.com"
type="cite">
<div dir="ltr">
<div class="gmail_default"
style="font-family:arial,helvetica,sans-serif">Hi Gerald,<br>
<br>
</div>
<div class="gmail_default"
style="font-family:arial,helvetica,sans-serif">It seems that
SCIPcutoffNode does not free the node. Do I need to free it or
it's handled elsewhere? Thanks!<br>
<br>
He<br>
</div>
</div>
<div class="gmail_extra"><br>
<div class="gmail_quote">On Wed, Sep 24, 2014 at 6:32 PM, 何河 <span
dir="ltr"><<a moz-do-not-send="true"
href="mailto:hehe.rebecca@gmail.com" target="_blank">hehe.rebecca@gmail.com</a>></span>
wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0
.8ex;border-left:1px #ccc solid;padding-left:1ex">
<div dir="ltr">
<div class="gmail_default"
style="font-family:arial,helvetica,sans-serif">Ah.
Didn't realize there's already such a function... That
makes it much easier. Thanks a lot!<br>
<br>
</div>
<div class="gmail_default"
style="font-family:arial,helvetica,sans-serif">He<br>
</div>
</div>
<div class="HOEnZb">
<div class="h5">
<div class="gmail_extra"><br>
<div class="gmail_quote">On Wed, Sep 24, 2014 at 6:22
PM, Gerald Gamrath <span dir="ltr"><<a
moz-do-not-send="true"
href="mailto:gamrath@zib.de" target="_blank">gamrath@zib.de</a>></span>
wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0
.8ex;border-left:1px #ccc solid;padding-left:1ex">
<div bgcolor="#FFFFFF" text="#000000">
<div>Dear He,<br>
<br>
what is the difference between pruning and
cutting off a node in your case? I don't see
why you need an extra method for this and
don't use SCIPcutoffNode().<br>
<br>
Best,<br>
Gerald<br>
<br>
Am 25.09.2014 um 00:06 schrieb 何河:<br>
</div>
<blockquote type="cite">
<div>
<div>
<div dir="ltr">
<div class="gmail_default"
style="font-family:arial,helvetica,sans-serif">Hi
there,<br>
<br>
</div>
<div class="gmail_default"
style="font-family:arial,helvetica,sans-serif">I'm
adding a node pruning function -- a
selected node (not cutoff) may be
optionally pruned. Where is the best
place to do this? Currently I'm
thinking of adding the piece of code
in SCIPnodeFocus and the pruned node
will be treated the same as a cutoff
node, i.e., freed. <br>
<br>
</div>
<div class="gmail_default"
style="font-family:arial,helvetica,sans-serif">Is
this the best way to do this? Do I
need take care of other things
regarding the whole cutoff business?
Thank you very much in advance!!<br>
<br>
He<br>
</div>
</div>
<br>
<fieldset></fieldset>
<br>
</div>
</div>
<pre>_______________________________________________
Scip mailing list
<a moz-do-not-send="true" href="mailto:Scip@zib.de" target="_blank">Scip@zib.de</a>
<a moz-do-not-send="true" href="http://listserv.zib.de/mailman/listinfo/scip" target="_blank">http://listserv.zib.de/mailman/listinfo/scip</a>
</pre>
</blockquote>
<br>
</div>
</blockquote>
</div>
<br>
</div>
</div>
</div>
</blockquote>
</div>
<br>
</div>
</blockquote>
<br>
</body>
</html>