Dear Alejandro and Gustavo,
Thank you very much for clearing up this matters.
Best
Torsten
On 21.12.2009, at 06:50, Gustavo Gutierrez wrote:
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.
<ATT00001..txt>
Best wishes,
Torsten
--
Torsten Anders
Interdisciplinary Centre for Computer Music Research
University of Plymouth
Office: +44-1752-586219
Private: +44-1752-558917
http://strasheela.sourceforge.net
http://www.torsten-anders.de
_________________________________________________________________________________
mozart-users mailing list
[email protected]
http://www.mozart-oz.org/mailman/listinfo/mozart-users
