Hi
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.
Thanks
Andreas
_________________________________________________________________
News, entertainment and everything you care about at Live.com. Get it now!
http://www.live.com/getstarted.aspx
_______________________________________________
Gecode users mailing list
[EMAIL PROTECTED]
https://www.gecode.org/mailman/listinfo/gecode-users
