[gecode-users] Porting bool_not and bool_and

[Mauricio Toro]

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.

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
  // ???
}

Thank you very much

-- 
Mauricio Toro Bermudez
Estudiante de Ingeniería de Sistemas
Pontificia Universidad Javeriana, Colombia

Stagiare à l'Ircam
1, place Igor-Stravinsky 75004 Paris,
France de 2008 à 2009
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.ps.uni-sb.de/pipermail/users/attachments/20080104/82aaa843/attachment.htm>