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

[David Rijsman]

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.