Preferences dialog for Gist. More...
#include <preferences.hh>
Public Member Functions | |
PreferencesDialog (const Options &opt, QWidget *parent=0) | |
Constructor. | |
Public Attributes | |
bool | hideFailed |
Whether to automatically hide failed subtrees during search. | |
bool | zoom |
Whether to automatically zoom during search. | |
bool | copies |
Whether to show where copies are in the tree. | |
int | refresh |
How often to refresh the display during search. | |
int | refreshPause |
Milliseconds to wait after each refresh (to slow down search) | |
bool | smoothScrollAndZoom |
Whether to use smooth scrolling and zooming. | |
int | c_d |
The copying distance. | |
int | a_d |
The adaptive recomputation distance. | |
Protected Slots | |
void | writeBack (void) |
Write settings. | |
void | defaults (void) |
Reset to defaults. | |
void | toggleSlow (int state) |
Toggle slow down setting. | |
Protected Attributes | |
QCheckBox * | hideCheck |
QCheckBox * | zoomCheck |
QCheckBox * | smoothCheck |
QCheckBox * | copiesCheck |
QSpinBox * | refreshBox |
QCheckBox * | slowBox |
QSpinBox * | cdBox |
QSpinBox * | adBox |
Preferences dialog for Gist.
Definition at line 49 of file preferences.hh.
Gecode::Gist::PreferencesDialog::PreferencesDialog | ( | const Options & | opt, |
QWidget * | parent = 0 |
||
) |
Constructor.
Definition at line 42 of file preferences.cpp.
void Gecode::Gist::PreferencesDialog::writeBack | ( | void | ) | [protected, slot] |
Write settings.
Definition at line 145 of file preferences.cpp.
void Gecode::Gist::PreferencesDialog::defaults | ( | void | ) | [protected, slot] |
Reset to defaults.
Definition at line 166 of file preferences.cpp.
void Gecode::Gist::PreferencesDialog::toggleSlow | ( | int | state | ) | [protected, slot] |
Toggle slow down setting.
Definition at line 184 of file preferences.cpp.
QCheckBox* Gecode::Gist::PreferencesDialog::hideCheck [protected] |
Definition at line 53 of file preferences.hh.
QCheckBox* Gecode::Gist::PreferencesDialog::zoomCheck [protected] |
Definition at line 54 of file preferences.hh.
QCheckBox* Gecode::Gist::PreferencesDialog::smoothCheck [protected] |
Definition at line 55 of file preferences.hh.
QCheckBox* Gecode::Gist::PreferencesDialog::copiesCheck [protected] |
Definition at line 56 of file preferences.hh.
QSpinBox* Gecode::Gist::PreferencesDialog::refreshBox [protected] |
Definition at line 57 of file preferences.hh.
QCheckBox* Gecode::Gist::PreferencesDialog::slowBox [protected] |
Definition at line 58 of file preferences.hh.
QSpinBox* Gecode::Gist::PreferencesDialog::cdBox [protected] |
Definition at line 59 of file preferences.hh.
QSpinBox* Gecode::Gist::PreferencesDialog::adBox [protected] |
Definition at line 60 of file preferences.hh.
Whether to automatically hide failed subtrees during search.
Definition at line 73 of file preferences.hh.
Whether to automatically zoom during search.
Definition at line 75 of file preferences.hh.
Whether to show where copies are in the tree.
Definition at line 77 of file preferences.hh.
How often to refresh the display during search.
Definition at line 79 of file preferences.hh.
Milliseconds to wait after each refresh (to slow down search)
Definition at line 81 of file preferences.hh.
Whether to use smooth scrolling and zooming.
Definition at line 83 of file preferences.hh.
The copying distance.
Definition at line 86 of file preferences.hh.
The adaptive recomputation distance.
Definition at line 88 of file preferences.hh.