[gecode-users] Propagator(Space *home, bool fd=false)

[Grégoire Dooms]

Hello,
what is the meaning of the force deletion parameter of Propagator ?
It seems only element, gcc and sortedness force it to true.
When should I force it to true ?
Best,
--
Grégoire Dooms