2009/12/19 Torsten Anders <[email protected]> > Dear Gustavo, > > Thanks for your detailed reply. > > > On 19.12.2009, at 03:47, Gustavo Gutierrez wrote: > >> 2009/12/18 Maity, Ashis K <[email protected]> >> >>> However, improved recomputation using Gecode functionalities might help? >>> >> >> The current design of the integration only consider constraint propagation >> in gecode and search is done in mozart. This means that we don't inherit >> neither the existing search engines in gecode nor the search stop objects. >> Allowing the direct use of the serch engines is not straight forward but we >> have some ideas on how to handle it. >> > > Ah, that is good to know. I assume that one of the advantages of this > design is that Geoz (i.e. Mozart with Gecode interface) distributor > strategies (branching strategies) can employ arbitrary Mozart code. > > Nevertheless, does that also mean that Gecode features like batch > recomputation are not available? If not, could that be reimplemented on the > Mozart side? >
As Alejandro already pointed, the design of the integration handles batch recomputation. From a simplistic point of view we transformed the default eager propagation approach into a lazy one. Existing distributors will continue working but *won't* take advantage of batch recomputation. New distributors are implemented in such a way that will take advantage of it. The main idea behind doing the search from mozart is two fold: the user can easily implement new distributors and search engines. This is basically the reason of why we don't inherit existing search engines in gecode (i.e. LDS). For the distributor implementation there is something special: even in the current design (mozart 1.4.0) it is possible for the user to implement distributors in oz but there are implementation of the most common distribution strategies directly in C++ for performance reasons. The current state of the mozart-gecode branch provides the same distributors as gecode and you can implement your ones in oz.
_________________________________________________________________________________ mozart-users mailing list [email protected] http://www.mozart-oz.org/mailman/listinfo/mozart-users
