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
_______________________________________________ Gecode users mailing list [EMAIL PROTECTED] https://www.gecode.org/mailman/listinfo/gecode-users
