38 #ifndef GECODE_GIST_MAINWINDOW_HH 39 #define GECODE_GIST_MAINWINDOW_HH 44 namespace Gecode {
namespace Gist {
78 QMenu* solutionInspectorsMenu;
80 QMenu* doubleClickInspectorsMenu;
82 QMenu* moveInspectorsMenu;
84 QMenu* comparatorsMenu;
88 QMenu* inspectNodeMenu;
90 QMenu* inspectNodeBeforeFPMenu;
103 void statusChanged(
const Statistics& stats,
bool finished);
107 void preferences(
bool setup=
false);
109 void populateInspectorSelection(
void);
111 void populateInspectors(
void);
113 void populateBookmarks(
void);
119 void closeEvent(QCloseEvent* event);
Gist * c
The contained Gist object.
Main window for stand-alone Gist.
Gecode Interactive Search Tool
AboutGist(QWidget *parent=0)
Constructor.
#define GECODE_GIST_EXPORT
QMenuBar * menuBar
A menu bar.
int bab(Space *root, const Gist::Options &opt)
Create a new stand-alone Gist for branch-and-bound search of root.
AboutGist aboutGist
About dialog.
Gecode toplevel namespace
Display information about Gist.
Statistics about the search tree