[gecode-users] unnecessary propagator copied during space cloning

[Christian Schulte]

You have to return ES_SUBSUMED by the propagate member function, only then
it is removed (including its subscriptions).

Christian

--
Christian Schulte, http://www.imit.kth.se/~schulte/ 

-----Original Message-----
From: users-bounces at gecode.org [mailto:users-bounces at gecode.org] On Behalf
Of Jérémie Vautard
Sent: Monday, April 03, 2006 10:30 PM
To: users at gecode.org
Subject: [gecode-users] unnecessary propagator copied during space cloning


Hi !

I have some propagators subscribed to an intview. After calling 
space::status method, I cancel subscription of these propagators before 
cloning my space. However, they are still copied during the space 
cloning. Is there a way to completely remove them from the space, as 
they have become useless ? (they are not subscribed anymore to any 
view...) I tried to delete them right after cancelling subscription but, 
as I quite expected, this gives me a segmentation fault during cloning 
of the space.


Regards,

Jeremie Vautard

_______________________________________________
Gecode users mailing list
users at gecode.org https://www.gecode.org/mailman/listinfo/gecode-users