[gecode-users] About making new propagator

[Guido Tack]

Mauricio Toro wrote:
> I would like to know where can I find some information about
> how to make new propagators for Gecode.
> Traditional propagators and Reified propagators.

Reified propagators are nothing special, they just have a Boolean  
variable as an extra argument.  We don't have tutorial documentation  
for propagators.  The best idea would be to start with a simple  
propagator from our library, like equality.  The classes EqBnd (for  
bounds propagation) and EqDom (for domain propagation) are defined in  
gecode/rel.hh, and you find the implementations in geocde/rel/eq.icc.   
You also find reified versions there (ReEqBnd and ReEqDom).

Cheers,
	Guido

-------------- next part --------------
A non-text attachment was scrubbed...
Name: smime.p7s
Type: application/pkcs7-signature
Size: 2436 bytes
Desc: not available
URL: <http://www.ps.uni-sb.de/pipermail/users/attachments/20080325/a1cd774f/attachment.bin>