Generated on Thu Apr 11 13:59:26 2019 for Gecode by doxygen 1.6.3

gist.cpp File Reference

#include <cstdlib>
#include <QtGui>
#include <gecode/gist.hh>
#include <gecode/gist/textoutput.hh>
#include <QMainWindow>
#include <QTextEdit>
#include <gecode/kernel.hh>
#include <gecode/gist/visualnode.hh>
#include <gecode/support/auto-link.hpp>

Go to the source code of this file.

Namespaces

namespace  Gecode
 

Gecode toplevel namespace


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.
void Gecode::Gist::stopBranch (Space &home)
 A branching that stops exploration.