Main window for stand-alone Gist. More...
#include <mainwindow.hh>
Public Member Functions | |
GistMainWindow (Space *root, bool bab, const Options &opt) | |
Constructor. | |
Protected Slots | |
void | statusChanged (const Statistics &stats, bool finished) |
The status has changed (e.g., new solutions have been found) | |
void | about (void) |
Open the about dialog. | |
void | preferences (bool setup=false) |
Open the preferences dialog. | |
void | populateInspectorSelection (void) |
Populate the inspector menus from the actions found in Gist. | |
void | populateInspectors (void) |
Populate the inspector menus from the actions found in Gist. | |
void | populateBookmarks (void) |
Populate the bookmarks menus from the actions found in Gist. | |
Protected Member Functions | |
void | closeEvent (QCloseEvent *event) |
Close Gist. | |
Protected Attributes | |
Gist * | c |
The contained Gist object. | |
QMenuBar * | menuBar |
A menu bar. | |
AboutGist | aboutGist |
About dialog. |
Main window for stand-alone Gist.
Definition at line 58 of file mainwindow.hh.
Gecode::Gist::GistMainWindow::GistMainWindow | ( | Space * | root, |
bool | bab, | ||
const Options & | opt | ||
) |
Constructor.
Definition at line 81 of file mainwindow.cpp.
void Gecode::Gist::GistMainWindow::statusChanged | ( | const Statistics & | stats, |
bool | finished | ||
) | [protected, slot] |
The status has changed (e.g., new solutions have been found)
Definition at line 240 of file mainwindow.cpp.
void Gecode::Gist::GistMainWindow::about | ( | void | ) | [protected, slot] |
Open the about dialog.
Definition at line 286 of file mainwindow.cpp.
void Gecode::Gist::GistMainWindow::preferences | ( | bool | setup = false | ) | [protected, slot] |
Open the preferences dialog.
Definition at line 291 of file mainwindow.cpp.
void Gecode::Gist::GistMainWindow::populateInspectorSelection | ( | void | ) | [protected, slot] |
Populate the inspector menus from the actions found in Gist.
Definition at line 310 of file mainwindow.cpp.
void Gecode::Gist::GistMainWindow::populateInspectors | ( | void | ) | [protected, slot] |
Populate the inspector menus from the actions found in Gist.
Definition at line 331 of file mainwindow.cpp.
void Gecode::Gist::GistMainWindow::populateBookmarks | ( | void | ) | [protected, slot] |
Populate the bookmarks menus from the actions found in Gist.
Definition at line 323 of file mainwindow.cpp.
void Gecode::Gist::GistMainWindow::closeEvent | ( | QCloseEvent * | event | ) | [protected] |
Close Gist.
Definition at line 232 of file mainwindow.cpp.
Gist* Gecode::Gist::GistMainWindow::c [protected] |
The contained Gist object.
Definition at line 97 of file mainwindow.hh.
QMenuBar* Gecode::Gist::GistMainWindow::menuBar [protected] |
A menu bar.
Definition at line 99 of file mainwindow.hh.
AboutGist Gecode::Gist::GistMainWindow::aboutGist [protected] |
About dialog.
Definition at line 101 of file mainwindow.hh.