34#ifndef GECODE_GIST_PREFERENCES_HH
35#define GECODE_GIST_PREFERENCES_HH
38#if QT_VERSION >= 0x050000
void writeBack(void)
Write settings.
void toggleSlow(int state)
Toggle slow down setting.
bool hideFailed
Whether to automatically hide failed subtrees during search.
int c_d
The copying distance.
bool moveDuringSearch
Whether to move cursor during search.
void defaults(void)
Reset to defaults.
int a_d
The adaptive recomputation distance.
bool smoothScrollAndZoom
Whether to use smooth scrolling and zooming.
bool zoom
Whether to automatically zoom during search.
PreferencesDialog(const Options &opt, QWidget *parent=0)
Constructor.
bool copies
Whether to show where copies are in the tree.
QCheckBox * moveDuringSearchBox
int refresh
How often to refresh the display during search.
int refreshPause
Milliseconds to wait after each refresh (to slow down search)
The Gecode Interactive Search Tool.
Gecode toplevel namespace