<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="gmail_extra"><br><div class="gmail_quote">On Wed, Sep 24, 2014 at 6:22 PM, Gerald Gamrath <span dir="ltr"><<a 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 class="h5">
      <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 href="mailto:Scip@zib.de" target="_blank">Scip@zib.de</a>
<a 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>