[Scip] Prune selected node

[何河]

Hi there,

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.

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!!

He
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://listserv.zib.de/pipermail/scip/attachments/20140924/4cda320d/attachment.html>