Sébastien Mouthuy wrote:
I have another question: posting propagators in the commit function of
one Branching is acceptable ? The fact is that I would like to delay a
heavy propagator taht does not do a lot of pruning high in the search
tree, but is very useful down in the tree.
Could you please explain why this cannot be done by the propagator
itself? I think that the propagator can decide whether doing the
expensive pruning or not based on the the current domains of the variables.
Cheers,
Luis
_______________________________________________
Gecode users mailing list
[EMAIL PROTECTED]
https://www.gecode.org/mailman/listinfo/gecode-users
