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
smime.p7s
Description: S/MIME cryptographic signature
_______________________________________________ Gecode users mailing list [EMAIL PROTECTED] https://www.gecode.org/mailman/listinfo/gecode-users
