Cheers
Christian
--
Christian Schulte, www.ict.kth.se/~cschulte/
-----Original Message-----
From: users-boun...@gecode.org [mailto:users-boun...@gecode.org] On
Behalf Of Kish Shen
Sent: Friday, August 16, 2013 10:17 PM
To: users@gecode.org
Subject: [gecode-users] Adding restart-based search to ECLiPSe's interface
to
Gecode
Hi,
I am still trying to figure out how to add restart based search to
ECLiPSe's
interface to Gecode. I tried modifying my existing code (which does not
support
restart-based search), and managed to get a restarted based bab search to
return the optimal answer, but the code then crashes, probably because I
am
not doing things correctly.
If someone can point me in the right direction, I would be very grateful.
I sent a
message about this about 2 weeks ago to this mailing list, but perhaps I
did not
give the correct information to get any help, so I will try again.
An outline of what I am doing now:
The user defines the problem to be solved in ECLiPSe, and the interface
maps
this to Gecode. At the Gecode level, the problem is represented in
GecodeSpace,
which is derived from Gecode::MinimizeSpace
Searching can be done with a Gecode search engine, or it can be done at
the
ECLiPSe level (in which case search engines are not used).
To do the search with a search engine, I have a GecodeSearch class, which
has a
Search::Engine* sengine, which is then dynamically assigned with the
problem
and search engine type when the user specify that a search is to be done
by
Gecode with a particular search method (like bab), e.g.
solver->vCost = <Cost variable>
sengine = Search::bab(solver, option)
where solver is a GecodeSpace*, and vCost is the cost variable (for
MinimizeSpace).
The MPG describes the search engine classes such as BAB, which I don't use
directly. I think the reason is that I want to be able to assign different
types of
search engines to sengine, as the search type is only known at run-time,
and in
fact the user can call search as often as they like on the same problem.
My problem is that I cannot extend this current scheme to work with
restart-
based search. What I tried was to use Search::rbs, which is also of class
Engine*,
and so can be assigned to sengine, but this crashed after returning the
solution:
sengine0 = Search::bab(solver, option);
sengine = Search::rbs(solver, metastop, sengine0, metaoption);
I needed to use an extra Engine* sengine0, because using the same engine
in
bab and rbs crashed immediately.
The crash seems to happen when the rbs engine is destroyed, and it looks
like it
is related to using 2 search engines.
Is rbs supposed to be used by the user? I found it by looking for rbs in
the
documentation, but I noticed that although it is listed, it doesn't seem
to have
any description associated with it.
Can I use Engine* in this way if I want to use restart-based search, or do
I need
to use something else (i.e. not a Engine*)?
Thanks in advance for any help!
Cheers,
Kish
_______________________________________________
Gecode users mailing list
users@gecode.org
https://www.gecode.org/mailman/listinfo/gecode-users
