[gecode-users] BDD-based propagator for Gecode
anden_blah at hotmail.com
Thu Dec 11 13:24:50 CET 2008
I am developing a BDD-based propagator for Gecode, and I have
difficulty making it fast enough to be useful. Basically what I am doing is to
subscribe to PC_GEN_ASSIGNED events on each of the variables involved in the
BDD. Then when propagate is being called I find out which variable has been
assigned, restrict the BDD accordingly and find the new valid domains
(according to the BDD) so that I can prune values from the domain store.
One of the issues I have is that I do not know which
variable that has had a value assigned to it when propagate is being called. To
solve this I am currently iterating through each of the variables involved in
the BDD that have not been assigned so far, create a view on each of them and call
the method assigned() to find the variable. This however is inefficient and I
wonder if I can get this information in a better way (?)
If you have any good suggestions, advice or resources regarding
bdd propagators for Gecode it would be greatly appreciated.
News, entertainment and everything you care about at Live.com. Get it now!
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the gecode-users