38 #ifndef GECODE_GIST_MAINWINDOW_HH
39 #define GECODE_GIST_MAINWINDOW_HH
44 namespace Gecode {
namespace Gist {
80 QMenu* solutionInspectorsMenu;
82 QMenu* doubleClickInspectorsMenu;
84 QMenu* moveInspectorsMenu;
86 QMenu* comparatorsMenu;
90 QMenu* inspectNodeMenu;
92 QMenu* inspectNodeBeforeFPMenu;
105 void statusChanged(
const Statistics& stats,
bool finished);
109 void preferences(
bool setup=
false);
111 void populateInspectorSelection(
void);
113 void populateInspectors(
void);
115 void populateBookmarks(
void);
121 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