[gecode-users] complementview question

[Alberto Delgado]

Hi all,

I need to implement a function that returns a variable with the complement
of a setvar given as a parameter (pretty much as FS.compl from Mozart-Oz).
I ran into complementview and i tought i could use it to get it done.  The
thing is it seems i can't initialize a setvar with a complementview,  or
even cast the complementview<setview> to a setview.  Since i don't want to
implement my own complement algorithm is there any way to get this done in
gecode?

I also like know something,  a view from a variable is a reference to the
variable,  so i can declare as many views as i need and it won't be adding
any extra stuff to the space,  am i correct??

By the way,  I'm working with the trunk version of gecode,  hope this won't
be the problem.

Regards,

Alberto Delgado
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.ps.uni-sb.de/pipermail/users/attachments/20071106/18970aae/attachment.htm>