[gecode-users] last question

[Guido Tack]

Hi Kilian.

> this is surely my last question for today:

Don't worry - this list is not exactly flooded with traffic ;-)

> There is something I dont understand about using the minimodel -- I  
> can see that it provides a more functional approach, creating  
> variables on the fly in nested expressions.
>
> But it does not seem to be necessary to attach those variables to  
> the Store... Dont they need to be copied?

Variables are always copied automatically by the propagators that use  
them. However, if a propagator "loses interest" in a variable, it can  
drop its subscription and not copy it. That is why you have to copy  
all those variables manually that you want to access in your solution.
For temporary variables, not copying them explicitly does exactly the  
right thing: they are copied as long as any propagator depends on  
them, and after that they are discarded.

Cheers,
	Guido

-- 
Guido Tack
Programming Systems Lab, Saarland University, Germany
http://www.ps.uni-sb.de/~tack