Hi all,
There isn't no way to create a SetVar from a SetView, I mean SetVar class have not constructor from a SetView. There isn't way to do this. I'm working with gecode 1.3.1 Cheers, Alejandro
_______________________________________________ Gecode users mailing list [EMAIL PROTECTED] https://www.gecode.org/mailman/listinfo/gecode-users
