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

Attachment: smime.p7s
Description: S/MIME cryptographic signature

_______________________________________________
Gecode users mailing list
[EMAIL PROTECTED]
https://www.gecode.org/mailman/listinfo/gecode-users

Reply via email to