Hi Everyone,

Is there any way to unassign a variable?
In my application i'm building a model: creating variables and constraints
from them, thees constraints actually BoolExpr objects created using the
minimodel module.
At a point I'd like to solve the  actual constraint (a BoolExpr), I solve
it, concrete values assigned to the variables that I created earlier, and
that the constraint created from. But later, I build other constraints from
these variables, and when I try to solve them, the variables are assigned
yet, but they should not be for me.

I tried to make copy of the vars, but if I use the copy constructor it
actually does not make a "hard copy". I also tried make hard copies like
this:

IntVar var(space, 0, 10);
IntVar hard_copy(space, var.min(), var.max());

but this method creats a totally new variable, which is not part of the
constraint to be solved. :(

Thank you,
Steve
_______________________________________________
Gecode users mailing list
[email protected]
https://www.gecode.org/mailman/listinfo/gecode-users

Reply via email to