[gecode-users] Space::force and Space::unforce

[Mikael Zayenz Lagerkvist]

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
<David.Rijsman at quintiq.com> 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
> users at gecode.org
> https://www.gecode.org/mailman/listinfo/gecode-users
>



-- 
Mikael Zayenz Lagerkvist, http://www.ict.kth.se/~zayenz/