[gecode-users] Custom branching and Custom Propagator

[Guido Tack]

Debdeep Banerjee wrote:

> Hi,
> I am using my own propagator and branching. But when I am using my
> branching ( via post()  method) the propagator is not working. But  
> if I
> use the gecode branching method ( branch() ) then the propagator  
> works.
> I have checked the custom branching.....the methods ( status,
> description , commit ) are called from the DFS Search engine, but the
> propagator did not propagate.
>
> What would be the reason ?

Perhaps your propagator does not respond to the modification events  
generated by your custom branching, but to those from the standard  
branchings.  E.g., the standard INT_VAL_MIN branching always assigns a  
variable on the left branch, and that triggers propagators registered  
for the PC_INT_VAL propagation condition.  If you registered for  
PC_INT_VAL, but your branching does not assign variables (it might  
only partition the domain, for instance), then your propagator won't  
be.  That's just a guess, of course.

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/20080405/8551765d/attachment.bin>