38 #ifndef GECODE_GIST_TREECANVAS_HH
39 #define GECODE_GIST_TREECANVAS_HH
48 namespace Gecode {
namespace Gist {
51 namespace LayoutConfig {
72 void updateCanvas(
void);
77 void update(
int w,
int h,
int scale0);
103 void activateDoubleClickInspector(
int i,
bool active);
107 void activateSolutionInspector(
int i,
bool active);
111 void activateMoveInspector(
int i,
bool active);
115 void activateComparator(
int i,
bool active);
119 void scaleTree(
int scale0,
int zoomx=-1,
int zoomy=-1);
122 void searchAll(
void);
124 void searchOne(
void);
126 void toggleHidden(
void);
128 void hideFailed(
void);
130 void unhideAll(
void);
132 void toggleStop(
void);
134 void unstopAll(
void);
136 void exportPDF(
void);
138 void exportWholeTreePDF(
void);
142 void zoomToFit(
void);
144 void centerCurrentNode(
void);
152 void inspectCurrentNode(
bool fix=
true,
int inspectorNo=-1);
154 void inspectBeforeFP(
void);
157 void stopSearch(
void);
173 void navNextSol(
bool back =
false);
175 void navPrevSol(
void);
178 void bookmarkNode(
void);
182 void inspectPath(
void);
184 void startCompareNodes(
void);
186 void startCompareNodesBeforeFP(
void);
189 void emitStatusChanged(
void);
192 void setRecompDistances(
int c_d,
int a_d);
194 void setAutoHideFailed(
bool b);
196 void setAutoZoom(
bool b);
198 bool getAutoHideFailed(
void);
200 bool getAutoZoom(
void);
202 void setShowCopies(
bool b);
204 bool getShowCopies(
void);
206 void setRefresh(
int i);
208 void setRefreshPause(
int i);
210 bool getSmoothScrollAndZoom(
void);
212 void setSmoothScrollAndZoom(
bool b);
214 void resizeToOuter(
void);
221 void scaleChanged(
int);
223 void autoZoomChanged(
bool);
225 void contextMenu(QContextMenuEvent*);
229 void solution(
const Space*);
231 void searchFinished(
void);
233 void addedBookmark(
const QString&
id);
235 void removedBookmark(
int idx);
306 bool event(QEvent *event);
308 void paintEvent(QPaintEvent* event);
310 void mousePressEvent(QMouseEvent* event);
312 void mouseDoubleClickEvent(QMouseEvent* event);
314 void contextMenuEvent(QContextMenuEvent* event);
316 void resizeEvent(QResizeEvent* event);
318 void wheelEvent(QWheelEvent* event);
320 void setCurrentNode(
VisualNode* n,
bool update=
true);
345 virtual void timerEvent(QTimerEvent* e);
353 void layoutDone(
int w,
int h,
int scale0);
356 void statusChanged(
bool);
360 void inspectSolution(
const Space* s);