38 #ifndef GECODE_GIST_TREECANVAS_HH
39 #define GECODE_GIST_TREECANVAS_HH
42 #if QT_VERSION >= 0x050000
51 namespace Gecode {
namespace Gist {
54 namespace LayoutConfig {
75 void updateCanvas(
void);
80 void update(
int w,
int h,
int scale0);
107 void activateDoubleClickInspector(
int i,
bool active);
111 void activateSolutionInspector(
int i,
bool active);
115 void activateMoveInspector(
int i,
bool active);
119 void activateComparator(
int i,
bool active);
123 void scaleTree(
int scale0,
int zoomx=-1,
int zoomy=-1);
126 void searchAll(
void);
128 void searchOne(
void);
130 void toggleHidden(
void);
132 void hideFailed(
void);
134 void unhideAll(
void);
136 void toggleStop(
void);
138 void unstopAll(
void);
140 void exportPDF(
void);
142 void exportWholeTreePDF(
void);
146 void zoomToFit(
void);
148 void centerCurrentNode(
void);
156 void inspectCurrentNode(
bool fix=
true,
int inspectorNo=-1);
158 void inspectBeforeFP(
void);
160 void labelBranches(
void);
162 void labelPath(
void);
165 void stopSearch(
void);
181 void navNextSol(
bool back =
false);
183 void navPrevSol(
void);
186 void bookmarkNode(
void);
190 void inspectPath(
void);
192 void startCompareNodes(
void);
194 void startCompareNodesBeforeFP(
void);
197 void emitStatusChanged(
void);
200 void setRecompDistances(
int c_d,
int a_d);
202 void setAutoHideFailed(
bool b);
204 void setAutoZoom(
bool b);
206 bool getAutoHideFailed(
void);
208 bool getAutoZoom(
void);
210 void setShowCopies(
bool b);
212 bool getShowCopies(
void);
214 void setRefresh(
int i);
216 void setRefreshPause(
int i);
218 bool getSmoothScrollAndZoom(
void);
220 void setSmoothScrollAndZoom(
bool b);
222 bool getMoveDuringSearch(
void);
224 void setMoveDuringSearch(
bool b);
226 void resizeToOuter(
void);
233 void scaleChanged(
int);
235 void autoZoomChanged(
bool);
237 void contextMenu(QContextMenuEvent*);
241 void solution(
const Space*);
243 void searchFinished(
void);
245 void addedBookmark(
const QString&
id);
247 void removedBookmark(
int idx);
320 bool event(QEvent *event);
322 void paintEvent(QPaintEvent* event);
324 void mousePressEvent(QMouseEvent* event);
326 void mouseDoubleClickEvent(QMouseEvent* event);
328 void contextMenuEvent(QContextMenuEvent* event);
330 void resizeEvent(QResizeEvent* event);
332 void wheelEvent(QWheelEvent* event);
357 virtual void timerEvent(QTimerEvent* e);
365 void layoutDone(
int w,
int h,
int scale0);
367 void setCurrentNode(
VisualNode*
n,
bool finished=
true,
bool update=
true);
370 void statusChanged(
bool);
374 void inspectSolution(
const Space* s);