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