[gecode-users] Porting bool_not and bool_and

[Guido Tack]

Mauricio Toro wrote:

> Hello,
>
> I looked at http://www.gecode.org/gecode-doc-latest/group__TaskModelIntRelBool.html
> and it was very helpful, but I could not find how to port the  
> function bool_not
>
> void bool_not_boolvar_boolvar_intconlevel(Space *home, BoolVar *b0,  
> BoolVar *b1, IntConLevel icl)
> {
>    Gecode::bool_not(home, *b0, *b1, icl); --> it was used this way  
> on gecode 1.3.1
> }
>
> BOT_NOT is not declared, as BOT_AND, BOT_OR, etc.

You can use IRT_NQ.

> In the other hand, this works fine:
>
> //Gecode::bool_and(home, *b0, *b1, *b2, icl); --> it was used this  
> way on gecode 1.3.1
>   Gecode::rel(home,*b0, BOT_AND, *b1, *b2, icl,pk);
>
> But, I can not find an equivalent function for this one: (notice  
> that b2 type is bool)
>
>
> void bool_and_boolvar_boolvar_bool_intconlevel(Space *home, BoolVar  
> *b0, BoolVar *b1, bool b2, IntConLevel icl,PropKind pk=PK_DEF)
> {
>    Gecode::bool_and(home, *b0, *b1, b2, icl);  --> it was used this  
> way on gecode 1.3.1
>   // ???
> }

There is
Gecode::rel (Space *home, BoolVar x0, BoolOpType o, BoolVar x1, int n,  
IntConLevel icl=ICL_DEF,PropKind pk=PK_DEF)
Just use 0 for false and 1 for true as usual (implicit casts should do  
it automatically).

> Thank you very much

You're welcome!

Guido

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.ps.uni-sb.de/pipermail/users/attachments/20080104/6298e3a8/attachment.htm>