38 #ifndef GECODE_GIST_QTGIST_HH
39 #define GECODE_GIST_QTGIST_HH
49 #if !defined(GIST_STATIC_LIBS) && \
50 (defined(__CYGWIN__) || defined(__MINGW32__) || defined(_MSC_VER))
52 #ifdef GECODE_BUILD_GIST
53 #define GECODE_GIST_EXPORT __declspec( dllexport )
55 #define GECODE_GIST_EXPORT __declspec( dllimport )
60 #ifdef GECODE_GCC_HAS_CLASS_VISIBILITY
61 #define GECODE_GIST_EXPORT __attribute__ ((visibility("default")))
63 #define GECODE_GIST_EXPORT
69 #ifndef GECODE_BUILD_GIST
70 #define GECODE_LIBRARY_NAME "Gist"
74 namespace Gecode {
namespace Gist {
95 QAction* nullSolutionInspector;
97 QMenu* solutionInspectorMenu;
99 QAction* nullDoubleClickInspector;
101 QMenu* doubleClickInspectorMenu;
103 QAction* nullMoveInspector;
105 QMenu* moveInspectorMenu;
107 QAction* nullComparator;
109 QMenu* comparatorMenu;
111 QAction* nullBookmark;
113 QMenu* bookmarksMenu;
115 QMenu* inspectNodeMenu;
117 QMenu* inspectNodeBeforeFPMenu;
206 void addDoubleClickInspector(
Inspector* i0);
208 void addSolutionInspector(
Inspector* i0);
215 void setAutoHideFailed(
bool b);
217 void setAutoZoom(
bool b);
219 bool getAutoHideFailed(
void);
221 bool getAutoZoom(
void);
223 void setShowCopies(
bool b);
225 bool getShowCopies(
void);
228 void setRefresh(
int i);
230 void setRefreshPause(
int i);
232 bool getSmoothScrollAndZoom(
void);
234 void setSmoothScrollAndZoom(
bool b);
236 bool getMoveDuringSearch(
void);
238 void setMoveDuringSearch(
bool b);
241 void setRecompDistances(
int c_d,
int a_d);
251 void resizeEvent(QResizeEvent*);
258 void solution(
const Space*);
261 void searchFinished(
void);
265 void on_canvas_contextMenu(QContextMenuEvent*);
269 void selectDoubleClickInspector(QAction*);
271 void selectSolutionInspector(QAction*);
273 void selectMoveInspector(QAction*);
275 void selectComparator(QAction*);
277 void selectBookmark(QAction*);
279 void addBookmark(
const QString&
id);
281 void removeBookmark(
int idx);
283 void populateInspectors(
void);
285 void populateBookmarksMenu(
void);
287 void showStats(
void);
289 void inspectWithAction(QAction*
a);
291 void inspectBeforeFPWithAction(QAction*
a);
294 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(4, 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.
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.
struct Gecode::@518::NNF::@57::@58 b
For binary nodes (and, or, eqv)
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::@518::NNF::@57::@59 a
For atomic nodes.
Statistics about the search tree
A canvas that displays the search tree.