[gecode-users] Question about Gist

[Mikael Zayenz Lagerkvist]

Hi,

There is no general mechanism in Gist for viewing the choices made during
search. Gecode supports advanced, user defined choices that post propagators
and/or modify variables, so it would be very hard to make something general.

If you would like to know how your particular problem works, you could hack
it together for your particular application though. If you implement your
own Brancher you could let it record the last choice made during search in
the Space. The print-function could add this to the output when you inspect
a node. Implementing your own Brancher is fairly straight-forward, see
examples/black-hole.cpp and examples/knights.cpp for two custom Branchers.

Cheers,
Mikael

On Tue, Oct 27, 2009 at 6:37 PM, benoit <benoitlaurent at neuf.fr> wrote:

> Hello,
> I beg your pardon if my question is trivial. When exploring the search
> tree using Gist, I would like to display the variable considered at a
> node and the assignment performed. How can I do this ? The documentation
> suggests the implementation of an inspector but I don't know how to do.
> Thanks in advance.
> Benoît
>
> _______________________________________________
> Gecode users mailing list
> users at gecode.org
> https://www.gecode.org/mailman/listinfo/gecode-users
>



-- 
Mikael Zayenz Lagerkvist, http://www.ict.kth.se/~zayenz/
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.ps.uni-sb.de/pipermail/users/attachments/20091027/1f803e40/attachment.htm>