[gecode-users] Propagator(Space *home, bool fd=false)

[Christian Schulte]

This is when your propagator uses some external resources (such as memory
that is not allocated from a space). Normally, when a space is deleted the
destructor of a propagator is _not_ called. Only if you give "true" for
"fd", the destructor will be called. So it only matters for propagators that
use some internal datastructures to perform incremental propagation: these
datastructures are not copied and hence are not allocated from memory
maintained by a space.

Hope that helps
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 Grégoire Dooms
Sent: Thursday, November 03, 2005 3:24 PM
To: Technical discussions about Gecode
Subject: [gecode-users] Propagator(Space *home, bool fd=false)


Hello,
what is the meaning of the force deletion parameter of Propagator ? It seems
only element, gcc and sortedness force it to true. When should I force it to
true ? Best,
--
Grégoire Dooms


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