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 <benoitlaur...@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
> us...@gecode.org
> https://www.gecode.org/mailman/listinfo/gecode-users
>



-- 
Mikael Zayenz Lagerkvist, http://www.ict.kth.se/~zayenz/
_______________________________________________
Gecode users mailing list
us...@gecode.org
https://www.gecode.org/mailman/listinfo/gecode-users

Reply via email to