[gecode-users] order in calls to status and commit...

[Luis Quesada]

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