[gecode-users] Unexpected propagation/search behaviour

[Lars Otten]

The propagator has three fields, one for each array, of type set<int> (from
the STL), where I store the indices of the variables that have been
processed already. When the propagator is cloned copies of these fields are
made for the new propagagor instance, so that should be OK?

I'll see if I can send some code later...

/Lars

On 01/23/06 13:21, Christian Schulte wrote:
> Hmmm, another thing: how do you store the info that a variable is already
> done? Do you copy that properly?
> 
> Otherwise, no real idea yet. Maybe send the real code.
> 
> Christian