[Couenne] Removing faulty assert

Pietro Belotti pbelott at clemson.edu
Fri Jun 17 09:07:22 EDT 2011


Francois,

the assert uses ||, unlike the && in the first IF condition. That's 
slightly cleaner than

    if (A && B) block1();
    else if (A) block2();
    else if (B) block3();
    else assert (false);

Pietro

--
Pietro Belotti
Dept. of Mathematical Sciences
Clemson University
email: pbelott at clemson.edu
phone: 864-656-6765
web:   myweb.clemson.edu/~pbelott

On Fri, 17 Jun 2011, Francois Margot wrote:

> Pietro:
>
> The assert on line 162 of
> trunk/Couenne/src/brtanch/CouenneBranchingObject.cpp does not make
> sense. It should be removed. The assert is
>
> assert ((brpt - l > .5) ||
>        (u - brpt > .5));
>
> as the same condition is used in the following "if-then-else" block.
>
> Francois
>
>
> _______________________________________________
> Couenne mailing list
> Couenne at list.coin-or.org
> http://list.coin-or.org/mailman/listinfo/couenne
>



More information about the Couenne mailing list