
#include <QtGui>#include <gecode/gist.hh>#include <gecode/gist/textoutput.hh>#include <gecode/gist/mainwindow.hh>#include <gecode/gist/stopbrancher.hh>Go to the source code of this file.
Namespaces | |
| Gecode | |
| Gecode toplevel namespace | |
| Gecode::Gist | |
| The Gecode Interactive Search Tool. | |
Functions | |
| int | Gecode::Gist::explore (Space *root, bool bab, const Options &opt) |
| Create a new stand-alone Gist for root using bab. More... | |
| void | Gecode::Gist::stopBranch (Space &home) |
| A branching that stops exploration. More... | |