[gecode-users] (if/ else) constraint.

[Guido Tack]

You need to use reification to express if-then-else.  E.g. if for the constraint if b then c1 else c2 you need to essentially implement "b implies c1" and "not b implies c2". Reification is explained in the documentation.

Cheers,
Guido

> On 23 Oct 2014, at 10:01 am, Bouchene Sabrina <genius_linda1987 at yahoo.fr> wrote:
> 
> Hello,
> 
> I would to write an (if/ else) constraint. in gecode i find how to write a loop constraint, but how to write an (
> 
>                  if ......then
>                             ..... 
>                       else...... 
>                  endif.) constraint ?.
> Cordially.
> Sabrina.
> 
> _______________________________________________
> Gecode users mailing list
> users at gecode.org
> https://www.gecode.org/mailman/listinfo/gecode-users

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.gecode.org/pipermail/users/attachments/20141026/f61cfa1b/attachment-0001.html>