mainwindow.hh
Go to the documentation of this file.00001
00002
00003
00004
00005
00006
00007
00008
00009
00010
00011
00012
00013
00014
00015
00016
00017
00018
00019
00020
00021
00022
00023
00024
00025
00026
00027
00028
00029
00030
00031
00032
00033
00034 #ifndef GECODE_GIST_MAINWINDOW_HH
00035 #define GECODE_GIST_MAINWINDOW_HH
00036
00037 #include <gecode/gist.hh>
00038 #include <gecode/gist/qtgist.hh>
00039
00040 namespace Gecode { namespace Gist {
00041
00043 class AboutGist : public QDialog {
00044 public:
00046 AboutGist(QWidget* parent = 0);
00047 };
00048
00054 class GECODE_GIST_EXPORT GistMainWindow : public QMainWindow {
00055 Q_OBJECT
00056 private:
00058 Options opt;
00060 bool isSearching;
00062 Support::Timer searchTimer;
00064 QLabel* depthLabel;
00066 QLabel* solvedLabel;
00068 QLabel* failedLabel;
00070 QLabel* choicesLabel;
00072 QLabel* openLabel;
00074 QMenu* solutionInspectorsMenu;
00076 QMenu* doubleClickInspectorsMenu;
00078 QMenu* moveInspectorsMenu;
00080 QMenu* comparatorsMenu;
00082 QMenu* bookmarksMenu;
00084 QMenu* inspectNodeMenu;
00086 QMenu* inspectNodeBeforeFPMenu;
00088 QAction* prefAction;
00089 protected:
00091 Gist* c;
00093 QMenuBar* menuBar;
00095 AboutGist aboutGist;
00096
00097 protected Q_SLOTS:
00099 void statusChanged(const Statistics& stats, bool finished);
00101 void about(void);
00103 void preferences(bool setup=false);
00105 void populateInspectorSelection(void);
00107 void populateInspectors(void);
00109 void populateBookmarks(void);
00110 public:
00112 GistMainWindow(Space* root, bool bab, const Options& opt);
00113 protected:
00115 void closeEvent(QCloseEvent* event);
00116 };
00117
00118 }}
00119
00120 #endif
00121
00122
00123