[gecode-users] unassign variables

[kTorpi]

Thank you Christian, it works now! :)


2013/10/1 Christian Schulte <cschulte at kth.se>

> Hi,****
>
> ** **
>
> If you set up your problem (and the variables) correctly as described in
> MPG, then it is quite simple:****
>
> - create a space s for your problem****
>
> - create a clone c of s (by the clone member function): now the variables
> in s have been cloned to c.****
>
> - solve on s****
>
> - later you can use c where the variables are not assigned.****
>
> ** **
>
> Christian****
>
> --****
>
> Christian Schulte, Professor of Computer Science, KTH,
> www.ict.kth.se/~cschulte/****
>
> ** **
>
> *From:* users-bounces at gecode.org [mailto:users-bounces at gecode.org] *On
> Behalf Of *kTorpi
> *Sent:* Tuesday, October 01, 2013 1:45 PM
> *To:* users at gecode.org
> *Subject:* [gecode-users] unassign variables****
>
> ** **
>
> [image: Image removed by sender.]****
>
> 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****
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.gecode.org/pipermail/users/attachments/20131006/2b1dd2e5/attachment.html>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: ~WRD000.jpg
Type: image/jpeg
Size: 823 bytes
Desc: not available
URL: <http://www.gecode.org/pipermail/users/attachments/20131006/2b1dd2e5/attachment.jpg>