[Scip] Fwd: Re: Branching decisions not enforced in master problem during a Branch-and-Price implementation

[Timo Berthold]

Please ignore the other mail, sorry for the double posting...

Hi Egbert.

I guess the problem is the following:
addcut() is called by separateCons() which is called by consSepalpSetppc(), 
consSepasolSetppc(), and consEnfolpSetppc().
Setting 'separate=false' prevents the first two methods to be called, but not 
the latter one.

The enforcement methods check, e.g., LP solutions for their feasibility w.r.t. 
a particular constraint. Here, the current LP solutions seems to violate 
your "storage constraint"and therefore the SetPPC constraint is added to the 
LP in order to resolve this "infeasibility".
Therefore, you should try to also set 'enforce=false' (and if I understood 
your motiviation correctly, 'check=false' and local='true' should be correct 
as well).

Maybe you should also have a look at the new Coloring example in SCIP 1.1, 
what is done there seems to be quite similar to your issues (I especially 
refer to lines 250--256 of branch_coloring.c).

Best, Timo