No, it is not (and never will be). What you can do, though: create a clone of a space before you add a constraint. That is exactly how search in Gecode works!
Cheers Christian From: [email protected] [mailto:[email protected]] On Behalf Of Nacho Sent: Monday, January 25, 2010 6:41 PM To: [email protected] Subject: [gecode-users] Removing constraints from a Space Hi all, I am using Gecode for reason about models. I know how to add new constraints from anywhere in my C++ application, but I don't know how to remove any of the constraints previously imposed. I have read the Modeling with Gecode documentation, but I haven't found any reference on how to do it. Is it possible? Thank you very much in advance. Nacho
_______________________________________________ Gecode users mailing list [email protected] https://www.gecode.org/mailman/listinfo/gecode-users
