
Preferences dialog for Gist. More...
#include <preferences.hh>
Public Member Functions | |
| PreferencesDialog (const Options &opt, QWidget *parent=0) | |
| Constructor. More... | |
Public Attributes | |
| bool | hideFailed |
| Whether to automatically hide failed subtrees during search. More... | |
| bool | zoom |
| Whether to automatically zoom during search. More... | |
| bool | copies |
| Whether to show where copies are in the tree. More... | |
| int | refresh |
| How often to refresh the display during search. More... | |
| int | refreshPause |
| Milliseconds to wait after each refresh (to slow down search) More... | |
| bool | smoothScrollAndZoom |
| Whether to use smooth scrolling and zooming. More... | |
| bool | moveDuringSearch |
| Whether to move cursor during search. More... | |
| int | c_d |
| The copying distance. More... | |
| int | a_d |
| The adaptive recomputation distance. More... | |
Protected Slots | |
| void | writeBack (void) |
| Write settings. More... | |
| void | defaults (void) |
| Reset to defaults. More... | |
| void | toggleSlow (int state) |
| Toggle slow down setting. More... | |
Protected Attributes | |
| QCheckBox * | hideCheck |
| QCheckBox * | zoomCheck |
| QCheckBox * | smoothCheck |
| QCheckBox * | copiesCheck |
| QSpinBox * | refreshBox |
| QCheckBox * | slowBox |
| QCheckBox * | moveDuringSearchBox |
| QSpinBox * | cdBox |
| QSpinBox * | adBox |
Preferences dialog for Gist.
Definition at line 52 of file preferences.hh.
| Gecode::Gist::PreferencesDialog::PreferencesDialog | ( | const Options & | opt, |
| QWidget * | parent = 0 |
||
| ) |
Constructor.
Definition at line 42 of file preferences.cpp.
|
protectedslot |
Write settings.
Definition at line 151 of file preferences.cpp.
|
protectedslot |
Reset to defaults.
Definition at line 173 of file preferences.cpp.
|
protectedslot |
Toggle slow down setting.
Definition at line 193 of file preferences.cpp.
|
protected |
Definition at line 56 of file preferences.hh.
|
protected |
Definition at line 57 of file preferences.hh.
|
protected |
Definition at line 58 of file preferences.hh.
|
protected |
Definition at line 59 of file preferences.hh.
|
protected |
Definition at line 60 of file preferences.hh.
|
protected |
Definition at line 61 of file preferences.hh.
|
protected |
Definition at line 62 of file preferences.hh.
|
protected |
Definition at line 63 of file preferences.hh.
|
protected |
Definition at line 64 of file preferences.hh.
| bool Gecode::Gist::PreferencesDialog::hideFailed |
Whether to automatically hide failed subtrees during search.
Definition at line 77 of file preferences.hh.
| bool Gecode::Gist::PreferencesDialog::zoom |
Whether to automatically zoom during search.
Definition at line 79 of file preferences.hh.
| bool Gecode::Gist::PreferencesDialog::copies |
Whether to show where copies are in the tree.
Definition at line 81 of file preferences.hh.
| int Gecode::Gist::PreferencesDialog::refresh |
How often to refresh the display during search.
Definition at line 83 of file preferences.hh.
| int Gecode::Gist::PreferencesDialog::refreshPause |
Milliseconds to wait after each refresh (to slow down search)
Definition at line 85 of file preferences.hh.
| bool Gecode::Gist::PreferencesDialog::smoothScrollAndZoom |
Whether to use smooth scrolling and zooming.
Definition at line 87 of file preferences.hh.
| bool Gecode::Gist::PreferencesDialog::moveDuringSearch |
Whether to move cursor during search.
Definition at line 89 of file preferences.hh.
| int Gecode::Gist::PreferencesDialog::c_d |
The copying distance.
Definition at line 92 of file preferences.hh.
| int Gecode::Gist::PreferencesDialog::a_d |
The adaptive recomputation distance.
Definition at line 94 of file preferences.hh.