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);