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);
161 void stopSearch(
void);
177 void navNextSol(
bool back =
false);
179 void navPrevSol(
void);
182 void bookmarkNode(
void);
186 void inspectPath(
void);
188 void startCompareNodes(
void);
190 void startCompareNodesBeforeFP(
void);
193 void emitStatusChanged(
void);
196 void setRecompDistances(
int c_d,
int a_d);
198 void setAutoHideFailed(
bool b);
200 void setAutoZoom(
bool b);
202 bool getAutoHideFailed(
void);
204 bool getAutoZoom(
void);
206 void setShowCopies(
bool b);
208 bool getShowCopies(
void);
210 void setRefresh(
int i);
212 void setRefreshPause(
int i);
214 bool getSmoothScrollAndZoom(
void);
216 void setSmoothScrollAndZoom(
bool b);
218 bool getMoveDuringSearch(
void);
220 void setMoveDuringSearch(
bool b);
222 void resizeToOuter(
void);
229 void scaleChanged(
int);
231 void autoZoomChanged(
bool);
233 void contextMenu(QContextMenuEvent*);
237 void solution(
const Space*);
239 void searchFinished(
void);
241 void addedBookmark(
const QString&
id);
243 void removedBookmark(
int idx);
316 bool event(QEvent *event);
318 void paintEvent(QPaintEvent* event);
320 void mousePressEvent(QMouseEvent* event);
322 void mouseDoubleClickEvent(QMouseEvent* event);
324 void contextMenuEvent(QContextMenuEvent* event);
326 void resizeEvent(QResizeEvent* event);
328 void wheelEvent(QWheelEvent* event);
353 virtual void timerEvent(QTimerEvent* e);
361 void layoutDone(
int w,
int h,
int scale0);
363 void setCurrentNode(
VisualNode*
n,
bool finished=
true,
bool update=
true);
366 void statusChanged(
bool);
370 void inspectSolution(
const Space* s);