<html>
<head>
<meta content="text/html; charset=UTF-8" http-equiv="Content-Type">
</head>
<body bgcolor="#FFFFFF" text="#000000">
<div class="moz-cite-prefix">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
cite="mid:CAL4OG_pDjHvNN1pnFuszecFpKLEEsrMkzZy-qCyGqoOjJ5srbw@mail.gmail.com"
type="cite">
<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 class="mimeAttachmentHeader"></fieldset>
<br>
<pre wrap="">_______________________________________________
Scip mailing list
<a class="moz-txt-link-abbreviated" href="mailto:Scip@zib.de">Scip@zib.de</a>
<a class="moz-txt-link-freetext" href="http://listserv.zib.de/mailman/listinfo/scip">http://listserv.zib.de/mailman/listinfo/scip</a>
</pre>
</blockquote>
<br>
</body>
</html>