Hi, The functions force(Space*) and unforce(Space*) are members of the Actor-class [1], and are used to register and deregister propagators that have references to data that is external to the space. The layered graph propagator, for example, has a reference to a DFA that is shared. If a propagator does not register for deletion, then the dispose-member will not be run when a space is deleted.
Note that the members force(Space*) and unforce(Space*) will be replaced in Gecode 3.0.0 with the more general Space-members notice and ignore. Cheers, Mikael [1] http://www.gecode.org/gecode-doc-latest/classGecode_1_1Actor.html#e32f558bd1d470b3f9bbb8283a282678 On Wed, Dec 3, 2008 at 12:58 PM, David Rijsman <[EMAIL PROTECTED]> wrote: > I am implementing my own propagator and I am looking at different > implementations. In LayeredGraph for example I see the use of Space::force > and Space::unforce but in other propagators I do not see such a use. When > should I use the force and unforce and for what purpose? > > thanks, > > David > > > > > This message contains information that may be privileged or confidential and > is the property of Quintiq. It is only intended for the person to whom it is > addressed. If you are not the intended recipient, you are not authorized to > read, print, retain, copy, disseminate, distribute or use this message or any > part thereof. If you have received this message in error, please notify the > sender immediately and delete all copies of this message. Please note that > e-mails are susceptible to change, therefore they are not binding. > > _______________________________________________ > Gecode users mailing list > [EMAIL PROTECTED] > https://www.gecode.org/mailman/listinfo/gecode-users > -- Mikael Zayenz Lagerkvist, http://www.ict.kth.se/~zayenz/ _______________________________________________ Gecode users mailing list [EMAIL PROTECTED] https://www.gecode.org/mailman/listinfo/gecode-users
