[gecode-users] cloning variable problem

[Alberto Delgado]

Hi all,

I've been trying to create an IntVar X1 in a space S1, and  create a
clone of X1 namely X2 in a space S2.  i called the update method of
IntVar to create the clone.
It all seems to work ok,  but when i try to impose some propagators i
got a Segmentation Fault.
I implemented a propagator which inherits from UnaryPropagator and
imposed it on  X1 and X2.  The imposition of the propagator on X1
crashed the execution.
I thought the problem might be my propagator and i tried with eq.  I
created a new variable XTMP in S1 and imposed eq between X1 and XTMP
right after creating X2 by cloning.  it crashed again.

I attach the source code of my example. Could any of you guys tell me
what i am doing wrong?

Thanks in advance,

Regards,

Alberto Delgado
-------------- next part --------------
A non-text attachment was scrubbed...
Name: test3.cc
Type: text/x-c++src
Size: 1064 bytes
Desc: not available
URL: <http://www.ps.uni-sb.de/pipermail/users/attachments/20061024/f17fcd69/attachment.cc>