34 #ifndef GECODE_GIST_QTGIST_HH 35 #define GECODE_GIST_QTGIST_HH 45 #if !defined(GIST_STATIC_LIBS) && \ 46 (defined(__CYGWIN__) || defined(__MINGW32__) || defined(_MSC_VER)) 48 #ifdef GECODE_BUILD_GIST 49 #define GECODE_GIST_EXPORT __declspec( dllexport ) 51 #define GECODE_GIST_EXPORT __declspec( dllimport ) 56 #ifdef GECODE_GCC_HAS_CLASS_VISIBILITY 57 #define GECODE_GIST_EXPORT __attribute__ ((visibility("default"))) 59 #define GECODE_GIST_EXPORT 65 #ifndef GECODE_BUILD_GIST 66 #define GECODE_LIBRARY_NAME "Gist" 70 namespace Gecode {
namespace Gist {
91 QAction* nullSolutionInspector;
93 QMenu* solutionInspectorMenu;
95 QAction* nullDoubleClickInspector;
97 QMenu* doubleClickInspectorMenu;
99 QAction* nullMoveInspector;
101 QMenu* moveInspectorMenu;
103 QAction* nullComparator;
105 QMenu* comparatorMenu;
107 QAction* nullBookmark;
109 QMenu* bookmarksMenu;
111 QMenu* inspectNodeMenu;
113 QMenu* inspectNodeBeforeFPMenu;
202 void addDoubleClickInspector(
Inspector* i0);
204 void addSolutionInspector(
Inspector* i0);
211 void setAutoHideFailed(
bool b);
213 void setAutoZoom(
bool b);
215 bool getAutoHideFailed(
void);
217 bool getAutoZoom(
void);
219 void setShowCopies(
bool b);
221 bool getShowCopies(
void);
224 void setRefresh(
int i);
226 void setRefreshPause(
int i);
228 bool getSmoothScrollAndZoom(
void);
230 void setSmoothScrollAndZoom(
bool b);
232 bool getMoveDuringSearch(
void);
234 void setMoveDuringSearch(
bool b);
237 void setRecompDistances(
int c_d,
int a_d);
247 void resizeEvent(QResizeEvent*);
254 void solution(
const Space*);
257 void searchFinished(
void);
261 void on_canvas_contextMenu(QContextMenuEvent*);
265 void selectDoubleClickInspector(QAction*);
267 void selectSolutionInspector(QAction*);
269 void selectMoveInspector(QAction*);
271 void selectComparator(QAction*);
273 void selectBookmark(QAction*);
275 void addBookmark(
const QString&
id);
277 void removeBookmark(
int idx);
279 void populateInspectors(
void);
281 void populateBookmarksMenu(
void);
283 void showStats(
void);
285 void inspectWithAction(QAction*
a);
287 void inspectBeforeFPWithAction(QAction*
a);
290 void addInspector(
Inspector*
i, QAction*& nas, QAction*& nad,
QAction * navNextSol
Navigate to next solution (to the left)
QActionGroup * doubleClickInspectorGroup
Group of all actions for double click inspectors.
QAction * toggleHidden
Toggle whether current node is hidden.
QAction * navDown
Navigate to leftmost child node.
QAction * navRoot
Navigate to root node.
QAction * bookmarkNode
Bookmark current node.
QAction * navUp
Navigate to parent node.
QAction * setPath
Set path from current node to the root.
QAction * inspect
Inspect current node.
Abstract base class for comparators.
QAction * compareNode
Compare current node to other node.
QAction * unstopAll
Bookmark current node.
QActionGroup * inspectBeforeFPGroup
Group of all actions for direct inspector selection.
QAction * hideFailed
Hide failed subtrees under current node.
QAction * navPrevSol
Navigate to previous solution (to the right)
QAction * navLeft
Navigate to left sibling.
QAction * toggleStop
Bookmark current node.
Abstract base class for inspectors.
QAction * navRight
Navigate to right sibling.
QActionGroup * bookmarksGroup
Group of all actions for bookmarks.
QAction * inspectBeforeFP
Inspect current node before fixpoint.
QAction * unhideAll
Unhide all hidden subtrees under current node.
Gecode::IntArgs i({1, 2, 3, 4})
QAction * center
Center on current node.
const unsigned int a_d
Create a clone during recomputation if distance is greater than a_d (adaptive distance) ...
QAction * exportPDF
Export PDF of current subtree.
struct Gecode::@593::NNF::@62::@63 b
For binary nodes (and, or, eqv)
Display information about nodes.
Gecode Interactive Search Tool
#define GECODE_GIST_EXPORT
QActionGroup * moveInspectorGroup
Group of all actions for move inspectors.
QAction * labelPath
Label branches on path to root.
QAction * stop
Stop search.
QAction * compareNodeBeforeFP
Compare current node to other node before fixpoint.
QAction * showNodeStats
Open node statistics inspector.
Node class that supports visual layout
QActionGroup * solutionInspectorGroup
Group of all actions for solution inspectors.
int bab(Space *root, const Gist::Options &opt)
Create a new stand-alone Gist for branch-and-bound search of root.
QAction * searchNext
Search next solution in current subtree.
const unsigned int c_d
Create a clone after every c_d commits (commit distance)
QActionGroup * inspectGroup
Group of all actions for direct inspector selection.
Gecode toplevel namespace
QAction * searchAll
Search all solutions in current subtree.
QAction * print
Print tree.
QAction * labelBranches
Label branches under current node.
QAction * reset
Reset Gist.
QAction * zoomToFit
Zoom tree to fit window.
QAction * exportWholeTreePDF
Export PDF of whole tree.
QAction * inspectPath
Inspect all nodes on selected path.
QActionGroup * comparatorGroup
Group of all actions for comparators.
struct Gecode::@593::NNF::@62::@64 a
For atomic nodes.
Statistics about the search tree
A canvas that displays the search tree.