[gecode-users] BDD-based propagator for Gecode

[Anden blah]

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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.ps.uni-sb.de/pipermail/users/attachments/20081211/e5a6604b/attachment.htm>