<html>
<head>
<meta content="text/html; charset=windows-1252"
http-equiv="Content-Type">
</head>
<body text="#000000" bgcolor="#FFFFFF">
<div class="moz-cite-prefix">Dear Jose,<br>
<br>
you are right, this check is incorrect since the local bound
changes have already been undone when the CONSDEACTIVE callback is
called. I will remove the two asserts (you are right, the second
one is essentially useless since nothing changed in between) from
the code and would recommend you to do the same in your code.
There is no easy way to check consistency in the CONSDEACTIVE
callback, but checking it after propagation should be enough.<br>
<br>
If you want to be really safe, you could also add a check at the
beginning of pricing, or even in CONSACTIVE, but there, you should
only check the first consdata->npropagatedvars there (This will
actually check what the current asserts in CONSDEACTIVE are
supposed to check).<br>
<br>
Best,<br>
Gerald<br>
<br>
On 06.08.2015 09:52, Jose Walteros wrote:<br>
</div>
<blockquote
cite="mid:C73F8FE7-BE4A-47EC-AC19-C278595C2928@gmail.com"
type="cite">
<meta http-equiv="content-type" content="text/html;
charset=windows-1252">
<div><span></span></div>
<div>
<meta http-equiv="content-type" content="text/html;
charset=windows-1252">
<span style="background-color: rgba(255, 255, 255, 0);">Hi all, </span>
<div class=""><span style="background-color: rgba(255, 255, 255,
0);"><br class="">
</span></div>
<div class=""><span style="background-color: rgba(255, 255, 255,
0);">I am currently working on a Branch Price and Cut
algorithm that requires a simple variation of the classic
Ryan-Foster branching rule. For my code, I used as a guide
the file <font class="">cons_samediff.c</font> from the bin
packing example. So far, I have been able to adapt the code
without any mayor problems. However, I am having some issues
with the assertion of line 492. This is an assertion that is
called from the method that deactivates the branching
constraints of a given node. (<span class="">SCIP_DECL_CONSDEACTIVE). </span>The
actually code of these line is <span class="">assert(
consdataCheck(scip, probdata, consdata) ); </span></span></div>
<div class=""><span style="background-color: rgba(255, 255, 255,
0);"><br class="">
</span></div>
<div class=""><span style="background-color: rgba(255, 255, 255,
0);">It seems SCIP is updating the bounds of the variables
unfixing the variables that where fixed in that node, right
before <span class="">SCIP_DECL_CONSDEACTIVE </span>is
executed (it perhaps should doubt after). In other words,
the local bounds of the variables no longer include the
printing decisions given by the constraint that is being
deactivated. I am wondering if you guys know how to fix this
issue. </span></div>
<div class=""><span style="background-color: rgba(255, 255, 255,
0);"><br class="">
</span></div>
<div class=""><span style="background-color: rgba(255, 255, 255,
0);">Also, I am would like to know if there is a special
reason for having two almost consecutive assertions that do
the same in that function, lines 492 and 502?</span></div>
<div class=""><span style="background-color: rgba(255, 255, 255,
0);"><br class="">
</span></div>
<div class=""><span style="background-color: rgba(255, 255, 255,
0);">Thanks for the help</span></div>
<div class=""><span style="background-color: rgba(255, 255, 255,
0);"><br class="">
</span></div>
<div class=""><span style="background-color: rgba(255, 255, 255,
0);">PD: I am using the 3.2.0 version.</span></div>
<div class=""><span style="background-color: rgba(255, 255, 255,
0);"><br class="">
</span></div>
<div class=""><span style="background-color: rgba(255, 255, 255,
0);">—Jose </span></div>
<div class=""><span style="background-color: rgba(255, 255, 255,
0);"><br class="">
</span></div>
<div class=""><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>