Gecode::Gist::GistMainWindow Class Reference

Main window for stand-alone Gist. More...

#include <gecode/gist/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.

Detailed Description

Main window for stand-alone Gist.

Definition at line 54 of file mainwindow.hh.

Constructor & Destructor Documentation

GistMainWindow()

Gecode::Gist::GistMainWindow::GistMainWindow	(	Space *	root,
		bool	bab,
		const Options &	opt )

Constructor.

Member Function Documentation

statusChanged

void Gecode::Gist::GistMainWindow::statusChanged ( const Statistics & stats, bool finished )

protectedslot

The status has changed (e.g., new solutions have been found).

about

void Gecode::Gist::GistMainWindow::about ( void )

protectedslot

Open the about dialog.

preferences

void Gecode::Gist::GistMainWindow::preferences ( bool setup = false )

protectedslot

Open the preferences dialog.

populateInspectorSelection

void Gecode::Gist::GistMainWindow::populateInspectorSelection ( void )

protectedslot

Populate the inspector menus from the actions found in Gist.

populateInspectors

void Gecode::Gist::GistMainWindow::populateInspectors ( void )

protectedslot

Populate the inspector menus from the actions found in Gist.

populateBookmarks

void Gecode::Gist::GistMainWindow::populateBookmarks ( void )

protectedslot

Populate the bookmarks menus from the actions found in Gist.

closeEvent()

void Gecode::Gist::GistMainWindow::closeEvent ( QCloseEvent * event )

protected

Close Gist.

Member Data Documentation

c

Gist* Gecode::Gist::GistMainWindow::c

protected

The contained Gist object.

Definition at line 91 of file mainwindow.hh.

menuBar

QMenuBar* Gecode::Gist::GistMainWindow::menuBar

protected

A menu bar.

Definition at line 93 of file mainwindow.hh.

aboutGist

AboutGist Gecode::Gist::GistMainWindow::aboutGist

protected

About dialog.

Definition at line 95 of file mainwindow.hh.

---

The documentation for this class was generated from the following file:

• gecode/gist/mainwindow.hh