Gecode::Gist::TreeCanvas Class Reference
A canvas that displays the search tree. More...
#include <treecanvas.hh>
Public Slots | |
void | scaleTree (int scale0, int zoomx=-1, int zoomy=-1) |
Set scale factor to scale0. | |
void | searchAll (void) |
Explore complete subtree of selected node. | |
void | searchOne (void) |
Find next solution below selected node. | |
void | toggleHidden (void) |
Toggle hidden state of selected node. | |
void | hideFailed (void) |
Hide failed subtrees of selected node. | |
void | unhideAll (void) |
Unhide all nodes below selected node. | |
void | toggleStop (void) |
Do not stop at selected stop node. | |
void | unstopAll (void) |
Do not stop at any stop node. | |
void | exportPDF (void) |
Export pdf of the current subtree. | |
void | exportWholeTreePDF (void) |
Export pdf of the whole tree. | |
void | print (void) |
Print the tree. | |
void | zoomToFit (void) |
Zoom the canvas so that the whole tree fits. | |
void | centerCurrentNode (void) |
Center the view on the currently selected node. | |
void | inspectCurrentNode (bool fix=true, int inspectorNo=-1) |
Call the double click inspector for the currently selected node. | |
void | inspectBeforeFP (void) |
Calls inspectCurrentNode(false). | |
void | labelBranches (void) |
Label all branches in subtree under current node. | |
void | labelPath (void) |
Label all branches on path to root node. | |
void | stopSearch (void) |
Stop current search. | |
void | reset (void) |
Reset. | |
void | navUp (void) |
Move selection to the parent of the selected node. | |
void | navDown (void) |
Move selection to the first child of the selected node. | |
void | navLeft (void) |
Move selection to the left sibling of the selected node. | |
void | navRight (void) |
Move selection to the right sibling of the selected node. | |
void | navRoot (void) |
Move selection to the root node. | |
void | navNextSol (bool back=false) |
Move selection to next solution (in DFS order). | |
void | navPrevSol (void) |
Move selection to previous solution (in DFS order). | |
void | bookmarkNode (void) |
Bookmark current node. | |
void | setPath (void) |
Set the current node to be the head of the path. | |
void | inspectPath (void) |
Call the double click inspector for all nodes on the path from root to head of the path. | |
void | startCompareNodes (void) |
Wait for click on node to compare with current node. | |
void | startCompareNodesBeforeFP (void) |
Wait for click on node to compare with current node before fixpoint. | |
void | emitStatusChanged (void) |
Re-emit status change information for current node. | |
void | setRecompDistances (int c_d, int a_d) |
Set recomputation distances. | |
void | setAutoHideFailed (bool b) |
Set preference whether to automatically hide failed subtrees. | |
void | setAutoZoom (bool b) |
Set preference whether to automatically zoom to fit. | |
bool | getAutoHideFailed (void) |
Return preference whether to automatically hide failed subtrees. | |
bool | getAutoZoom (void) |
Return preference whether to automatically zoom to fit. | |
void | setShowCopies (bool b) |
Set preference whether to show copies in the tree. | |
bool | getShowCopies (void) |
Return preference whether to show copies in the tree. | |
void | setRefresh (int i) |
Set refresh rate. | |
void | setRefreshPause (int i) |
Set refresh pause in msec. | |
bool | getSmoothScrollAndZoom (void) |
Return preference whether to use smooth scrolling and zooming. | |
void | setSmoothScrollAndZoom (bool b) |
Set preference whether to use smooth scrolling and zooming. | |
bool | getMoveDuringSearch (void) |
Return preference whether to move cursor during search. | |
void | setMoveDuringSearch (bool b) |
Set preference whether to move cursor during search. | |
void | resizeToOuter (void) |
Resize to the outer widget size if auto zoom is enabled. | |
bool | finish (void) |
Stop search and wait for it to finish. | |
void | update (void) |
Update display. | |
void | scroll (void) |
React to scroll events. | |
void | layoutDone (int w, int h, int scale0) |
Layout done. | |
void | setCurrentNode (VisualNode *n, bool finished=true, bool update=true) |
Set the selected node to n. | |
Signals | |
void | scaleChanged (int) |
The scale factor has changed. | |
void | autoZoomChanged (bool) |
The auto-zoom state was changed. | |
void | contextMenu (QContextMenuEvent *) |
Context menu triggered. | |
void | statusChanged (VisualNode *, const Statistics &, bool) |
Status bar update. | |
void | solution (const Space *) |
Signals that a solution has been found. | |
void | searchFinished (void) |
Signals that Gist is finished. | |
void | addedBookmark (const QString &id) |
Signals that a bookmark has been added. | |
void | removedBookmark (int idx) |
Signals that a bookmark has been removed. | |
Public Member Functions | |
TreeCanvas (Space *rootSpace, bool bab, QWidget *parent, const Options &opt) | |
Constructor. | |
~TreeCanvas (void) | |
Destructor. | |
void | addDoubleClickInspector (Inspector *i) |
Add inspector i. | |
void | activateDoubleClickInspector (int i, bool active) |
Set active inspector. | |
void | addSolutionInspector (Inspector *i) |
Add inspector i. | |
void | activateSolutionInspector (int i, bool active) |
Set active inspector. | |
void | addMoveInspector (Inspector *i) |
Add inspector i. | |
void | activateMoveInspector (int i, bool active) |
Set active inspector. | |
void | addComparator (Comparator *c) |
Add comparator c. | |
void | activateComparator (int i, bool active) |
Set active comparator. | |
Protected Member Functions | |
VisualNode * | eventNode (QEvent *event) |
Return the node corresponding to the event position. | |
bool | event (QEvent *event) |
General event handler, used for displaying tool tips. | |
void | paintEvent (QPaintEvent *event) |
Paint the tree. | |
void | mousePressEvent (QMouseEvent *event) |
Handle mouse press event. | |
void | mouseDoubleClickEvent (QMouseEvent *event) |
Handle mouse double click event. | |
void | contextMenuEvent (QContextMenuEvent *event) |
Handle context menu event. | |
void | resizeEvent (QResizeEvent *event) |
Handle resize event. | |
void | wheelEvent (QWheelEvent *event) |
Handle mouse wheel events. | |
virtual void | timerEvent (QTimerEvent *e) |
Timer invoked for smooth zooming and scrolling. | |
Protected Attributes | |
QMutex | mutex |
Mutex for synchronizing acccess to the tree. | |
QMutex | layoutMutex |
Mutex for synchronizing layout and drawing. | |
SearcherThread | searcher |
Search engine thread. | |
bool | stopSearchFlag |
Flag signalling the search to stop. | |
bool | finishedFlag |
Flag signalling that Gist is ready to be closed. | |
Node::NodeAllocator * | na |
Allocator for nodes. | |
VisualNode * | root |
The root node of the tree. | |
BestNode * | curBest |
The currently best solution (for branch-and-bound). | |
VisualNode * | currentNode |
The currently selected node. | |
VisualNode * | pathHead |
The head of the currently selected path. | |
QVector< QPair< Inspector *, bool > > | doubleClickInspectors |
The registered click inspectors, and whether they are active. | |
QVector< QPair< Inspector *, bool > > | solutionInspectors |
The registered solution inspectors, and whether they are active. | |
QVector< QPair< Inspector *, bool > > | moveInspectors |
The registered move inspectors, and whether they are active. | |
QVector< QPair< Comparator *, bool > > | comparators |
The registered comparators, and whether they are active. | |
QVector< VisualNode * > | bookmarks |
The bookmarks map. | |
bool | compareNodes |
Whether node comparison action is running. | |
bool | compareNodesBeforeFP |
Whether node comparison action computes fixpoint. | |
QSlider * | scaleBar |
The scale bar. | |
Statistics | stats |
Statistics about the search tree. | |
double | scale |
Current scale factor. | |
int | xtrans |
Offset on the x axis so that the tree is centered. | |
bool | autoHideFailed |
Whether to hide failed subtrees automatically. | |
bool | autoZoom |
Whether to zoom automatically. | |
bool | showCopies |
Whether to show copies in the tree. | |
int | refresh |
Refresh rate. | |
int | refreshPause |
Time (in msec) to pause after each refresh. | |
bool | smoothScrollAndZoom |
Whether to use smooth scrolling and zooming. | |
bool | moveDuringSearch |
Whether to move cursor during search. | |
int | c_d |
The recomputation distance. | |
int | a_d |
The adaptive recomputation distance. | |
QTimeLine | zoomTimeLine |
Timer for smooth zooming. | |
QTimeLine | scrollTimeLine |
Timer for smooth scrolling. | |
int | targetX |
Target x coordinate after smooth scrolling. | |
int | sourceX |
Source x coordinate after smooth scrolling. | |
int | targetY |
Target y coordinate after smooth scrolling. | |
int | sourceY |
Target y coordinate after smooth scrolling. | |
int | targetW |
Target width after layout. | |
int | targetH |
Target height after layout. | |
int | targetScale |
Target scale after layout. | |
int | layoutDoneTimerId |
Timer id for delaying the update. |
Detailed Description
A canvas that displays the search tree.
Definition at line 91 of file treecanvas.hh.
Constructor & Destructor Documentation
Gecode::Gist::TreeCanvas::TreeCanvas | ( | Space * | rootSpace, | |
bool | bab, | |||
QWidget * | parent, | |||
const Options & | opt | |||
) |
Constructor.
Definition at line 56 of file treecanvas.cpp.
Gecode::Gist::TreeCanvas::~TreeCanvas | ( | void | ) |
Destructor.
Definition at line 131 of file treecanvas.cpp.
Member Function Documentation
void Gecode::Gist::TreeCanvas::addDoubleClickInspector | ( | Inspector * | i | ) |
Add inspector i.
Definition at line 140 of file treecanvas.cpp.
void Gecode::Gist::TreeCanvas::activateDoubleClickInspector | ( | int | i, | |
bool | active | |||
) |
Set active inspector.
Definition at line 145 of file treecanvas.cpp.
void Gecode::Gist::TreeCanvas::addSolutionInspector | ( | Inspector * | i | ) |
Add inspector i.
Definition at line 151 of file treecanvas.cpp.
void Gecode::Gist::TreeCanvas::activateSolutionInspector | ( | int | i, | |
bool | active | |||
) |
Set active inspector.
Definition at line 156 of file treecanvas.cpp.
void Gecode::Gist::TreeCanvas::addMoveInspector | ( | Inspector * | i | ) |
Add inspector i.
Definition at line 162 of file treecanvas.cpp.
void Gecode::Gist::TreeCanvas::activateMoveInspector | ( | int | i, | |
bool | active | |||
) |
Set active inspector.
Definition at line 167 of file treecanvas.cpp.
void Gecode::Gist::TreeCanvas::addComparator | ( | Comparator * | c | ) |
Add comparator c.
Definition at line 173 of file treecanvas.cpp.
void Gecode::Gist::TreeCanvas::activateComparator | ( | int | i, | |
bool | active | |||
) |
Set active comparator.
Definition at line 178 of file treecanvas.cpp.
void Gecode::Gist::TreeCanvas::scaleTree | ( | int | scale0, | |
int | zoomx = -1 , |
|||
int | zoomy = -1 | |||
) | [slot] |
Set scale factor to scale0.
Definition at line 184 of file treecanvas.cpp.
void Gecode::Gist::TreeCanvas::searchAll | ( | void | ) | [slot] |
Explore complete subtree of selected node.
Definition at line 453 of file treecanvas.cpp.
void Gecode::Gist::TreeCanvas::searchOne | ( | void | ) | [slot] |
Find next solution below selected node.
Definition at line 459 of file treecanvas.cpp.
void Gecode::Gist::TreeCanvas::toggleHidden | ( | void | ) | [slot] |
Toggle hidden state of selected node.
Definition at line 465 of file treecanvas.cpp.
void Gecode::Gist::TreeCanvas::hideFailed | ( | void | ) | [slot] |
Hide failed subtrees of selected node.
Definition at line 474 of file treecanvas.cpp.
void Gecode::Gist::TreeCanvas::unhideAll | ( | void | ) | [slot] |
Unhide all nodes below selected node.
Definition at line 483 of file treecanvas.cpp.
void Gecode::Gist::TreeCanvas::toggleStop | ( | void | ) | [slot] |
Do not stop at selected stop node.
Definition at line 493 of file treecanvas.cpp.
void Gecode::Gist::TreeCanvas::unstopAll | ( | void | ) | [slot] |
Do not stop at any stop node.
Definition at line 502 of file treecanvas.cpp.
void Gecode::Gist::TreeCanvas::exportPDF | ( | void | ) | [slot] |
Export pdf of the current subtree.
Definition at line 1079 of file treecanvas.cpp.
void Gecode::Gist::TreeCanvas::exportWholeTreePDF | ( | void | ) | [slot] |
Export pdf of the whole tree.
Definition at line 1072 of file treecanvas.cpp.
void Gecode::Gist::TreeCanvas::print | ( | void | ) | [slot] |
Print the tree.
Definition at line 1086 of file treecanvas.cpp.
void Gecode::Gist::TreeCanvas::zoomToFit | ( | void | ) | [slot] |
Zoom the canvas so that the whole tree fits.
Definition at line 532 of file treecanvas.cpp.
void Gecode::Gist::TreeCanvas::centerCurrentNode | ( | void | ) | [slot] |
Center the view on the currently selected node.
Definition at line 568 of file treecanvas.cpp.
void Gecode::Gist::TreeCanvas::inspectCurrentNode | ( | bool | fix = true , |
|
int | inspectorNo = -1 | |||
) | [slot] |
Call the double click inspector for the currently selected node.
If fix is true, then the node is inspected after fixpoint computation, otherwise its status after branching but before fixpoint computation is inspected.
Definition at line 622 of file treecanvas.cpp.
void Gecode::Gist::TreeCanvas::inspectBeforeFP | ( | void | ) | [slot] |
Calls inspectCurrentNode(false).
Definition at line 769 of file treecanvas.cpp.
void Gecode::Gist::TreeCanvas::labelBranches | ( | void | ) | [slot] |
Label all branches in subtree under current node.
Definition at line 774 of file treecanvas.cpp.
void Gecode::Gist::TreeCanvas::labelPath | ( | void | ) | [slot] |
Label all branches on path to root node.
Definition at line 782 of file treecanvas.cpp.
void Gecode::Gist::TreeCanvas::stopSearch | ( | void | ) | [slot] |
Stop current search.
Definition at line 825 of file treecanvas.cpp.
void Gecode::Gist::TreeCanvas::reset | ( | void | ) | [slot] |
Reset.
Definition at line 831 of file treecanvas.cpp.
void Gecode::Gist::TreeCanvas::navUp | ( | void | ) | [slot] |
Move selection to the parent of the selected node.
Definition at line 940 of file treecanvas.cpp.
void Gecode::Gist::TreeCanvas::navDown | ( | void | ) | [slot] |
Move selection to the first child of the selected node.
Definition at line 953 of file treecanvas.cpp.
void Gecode::Gist::TreeCanvas::navLeft | ( | void | ) | [slot] |
Move selection to the left sibling of the selected node.
Definition at line 976 of file treecanvas.cpp.
void Gecode::Gist::TreeCanvas::navRight | ( | void | ) | [slot] |
Move selection to the right sibling of the selected node.
Definition at line 990 of file treecanvas.cpp.
void Gecode::Gist::TreeCanvas::navRoot | ( | void | ) | [slot] |
Move selection to the root node.
Definition at line 1004 of file treecanvas.cpp.
void Gecode::Gist::TreeCanvas::navNextSol | ( | bool | back = false |
) | [slot] |
Move selection to next solution (in DFS order).
Definition at line 1011 of file treecanvas.cpp.
void Gecode::Gist::TreeCanvas::navPrevSol | ( | void | ) | [slot] |
Move selection to previous solution (in DFS order).
Definition at line 1024 of file treecanvas.cpp.
void Gecode::Gist::TreeCanvas::bookmarkNode | ( | void | ) | [slot] |
Bookmark current node.
Definition at line 864 of file treecanvas.cpp.
void Gecode::Gist::TreeCanvas::setPath | ( | void | ) | [slot] |
Set the current node to be the head of the path.
Definition at line 889 of file treecanvas.cpp.
void Gecode::Gist::TreeCanvas::inspectPath | ( | void | ) | [slot] |
Call the double click inspector for all nodes on the path from root to head of the path.
Definition at line 903 of file treecanvas.cpp.
void Gecode::Gist::TreeCanvas::startCompareNodes | ( | void | ) | [slot] |
Wait for click on node to compare with current node.
Definition at line 919 of file treecanvas.cpp.
void Gecode::Gist::TreeCanvas::startCompareNodesBeforeFP | ( | void | ) | [slot] |
Wait for click on node to compare with current node before fixpoint.
Definition at line 927 of file treecanvas.cpp.
void Gecode::Gist::TreeCanvas::emitStatusChanged | ( | void | ) | [slot] |
Re-emit status change information for current node.
Definition at line 935 of file treecanvas.cpp.
void Gecode::Gist::TreeCanvas::setRecompDistances | ( | int | c_d, | |
int | a_d | |||
) | [slot] |
Set recomputation distances.
Definition at line 1402 of file treecanvas.cpp.
void Gecode::Gist::TreeCanvas::setAutoHideFailed | ( | bool | b | ) | [slot] |
Set preference whether to automatically hide failed subtrees.
Definition at line 1407 of file treecanvas.cpp.
void Gecode::Gist::TreeCanvas::setAutoZoom | ( | bool | b | ) | [slot] |
Set preference whether to automatically zoom to fit.
Definition at line 1412 of file treecanvas.cpp.
bool Gecode::Gist::TreeCanvas::getAutoHideFailed | ( | void | ) | [slot] |
Return preference whether to automatically hide failed subtrees.
Definition at line 1431 of file treecanvas.cpp.
bool Gecode::Gist::TreeCanvas::getAutoZoom | ( | void | ) | [slot] |
Return preference whether to automatically zoom to fit.
Definition at line 1436 of file treecanvas.cpp.
void Gecode::Gist::TreeCanvas::setShowCopies | ( | bool | b | ) | [slot] |
Set preference whether to show copies in the tree.
Definition at line 1422 of file treecanvas.cpp.
bool Gecode::Gist::TreeCanvas::getShowCopies | ( | void | ) | [slot] |
Return preference whether to show copies in the tree.
Definition at line 1426 of file treecanvas.cpp.
void Gecode::Gist::TreeCanvas::setRefresh | ( | int | i | ) | [slot] |
Set refresh rate.
Definition at line 1441 of file treecanvas.cpp.
void Gecode::Gist::TreeCanvas::setRefreshPause | ( | int | i | ) | [slot] |
Set refresh pause in msec.
Definition at line 1446 of file treecanvas.cpp.
bool Gecode::Gist::TreeCanvas::getSmoothScrollAndZoom | ( | void | ) | [slot] |
Return preference whether to use smooth scrolling and zooming.
Definition at line 1453 of file treecanvas.cpp.
void Gecode::Gist::TreeCanvas::setSmoothScrollAndZoom | ( | bool | b | ) | [slot] |
Set preference whether to use smooth scrolling and zooming.
Definition at line 1458 of file treecanvas.cpp.
bool Gecode::Gist::TreeCanvas::getMoveDuringSearch | ( | void | ) | [slot] |
Return preference whether to move cursor during search.
Definition at line 1463 of file treecanvas.cpp.
void Gecode::Gist::TreeCanvas::setMoveDuringSearch | ( | bool | b | ) | [slot] |
Set preference whether to move cursor during search.
Definition at line 1468 of file treecanvas.cpp.
void Gecode::Gist::TreeCanvas::resizeToOuter | ( | void | ) | [slot] |
Resize to the outer widget size if auto zoom is enabled.
Definition at line 1187 of file treecanvas.cpp.
bool Gecode::Gist::TreeCanvas::finish | ( | void | ) | [slot] |
Stop search and wait for it to finish.
Definition at line 1291 of file treecanvas.cpp.
void Gecode::Gist::TreeCanvas::scaleChanged | ( | int | ) | [signal] |
The scale factor has changed.
void Gecode::Gist::TreeCanvas::autoZoomChanged | ( | bool | ) | [signal] |
The auto-zoom state was changed.
void Gecode::Gist::TreeCanvas::contextMenu | ( | QContextMenuEvent * | ) | [signal] |
Context menu triggered.
void Gecode::Gist::TreeCanvas::statusChanged | ( | VisualNode * | , | |
const Statistics & | , | |||
bool | ||||
) | [signal] |
Status bar update.
void Gecode::Gist::TreeCanvas::solution | ( | const Space * | ) | [signal] |
Signals that a solution has been found.
void Gecode::Gist::TreeCanvas::searchFinished | ( | void | ) | [signal] |
Signals that Gist is finished.
void Gecode::Gist::TreeCanvas::addedBookmark | ( | const QString & | id | ) | [signal] |
Signals that a bookmark has been added.
void Gecode::Gist::TreeCanvas::removedBookmark | ( | int | idx | ) | [signal] |
Signals that a bookmark has been removed.
VisualNode * Gecode::Gist::TreeCanvas::eventNode | ( | QEvent * | event | ) | [protected] |
Return the node corresponding to the event position.
Definition at line 1118 of file treecanvas.cpp.
bool Gecode::Gist::TreeCanvas::event | ( | QEvent * | event | ) | [protected] |
General event handler, used for displaying tool tips.
Definition at line 1168 of file treecanvas.cpp.
void Gecode::Gist::TreeCanvas::paintEvent | ( | QPaintEvent * | event | ) | [protected] |
Paint the tree.
Definition at line 1193 of file treecanvas.cpp.
void Gecode::Gist::TreeCanvas::mousePressEvent | ( | QMouseEvent * | event | ) | [protected] |
Handle mouse press event.
Definition at line 1343 of file treecanvas.cpp.
void Gecode::Gist::TreeCanvas::mouseDoubleClickEvent | ( | QMouseEvent * | event | ) | [protected] |
Handle mouse double click event.
Definition at line 1232 of file treecanvas.cpp.
void Gecode::Gist::TreeCanvas::contextMenuEvent | ( | QContextMenuEvent * | event | ) | [protected] |
Handle context menu event.
Definition at line 1249 of file treecanvas.cpp.
void Gecode::Gist::TreeCanvas::resizeEvent | ( | QResizeEvent * | event | ) | [protected] |
Handle resize event.
Definition at line 1265 of file treecanvas.cpp.
void Gecode::Gist::TreeCanvas::wheelEvent | ( | QWheelEvent * | event | ) | [protected] |
Handle mouse wheel events.
Definition at line 1279 of file treecanvas.cpp.
void Gecode::Gist::TreeCanvas::timerEvent | ( | QTimerEvent * | e | ) | [protected, virtual] |
Timer invoked for smooth zooming and scrolling.
Definition at line 512 of file treecanvas.cpp.
void Gecode::Gist::TreeCanvas::update | ( | void | ) | [slot] |
Update display.
Definition at line 228 of file treecanvas.cpp.
void Gecode::Gist::TreeCanvas::scroll | ( | void | ) | [slot] |
React to scroll events.
Definition at line 258 of file treecanvas.cpp.
void Gecode::Gist::TreeCanvas::layoutDone | ( | int | w, | |
int | h, | |||
int | scale0 | |||
) | [slot] |
Layout done.
Definition at line 263 of file treecanvas.cpp.
void Gecode::Gist::TreeCanvas::setCurrentNode | ( | VisualNode * | n, | |
bool | finished = true , |
|||
bool | update = true | |||
) | [slot] |
Set the selected node to n.
Definition at line 1308 of file treecanvas.cpp.
Member Data Documentation
QMutex Gecode::Gist::TreeCanvas::mutex [protected] |
Mutex for synchronizing acccess to the tree.
Definition at line 250 of file treecanvas.hh.
QMutex Gecode::Gist::TreeCanvas::layoutMutex [protected] |
Mutex for synchronizing layout and drawing.
Definition at line 252 of file treecanvas.hh.
SearcherThread Gecode::Gist::TreeCanvas::searcher [protected] |
Search engine thread.
Definition at line 254 of file treecanvas.hh.
bool Gecode::Gist::TreeCanvas::stopSearchFlag [protected] |
Flag signalling the search to stop.
Definition at line 256 of file treecanvas.hh.
bool Gecode::Gist::TreeCanvas::finishedFlag [protected] |
Flag signalling that Gist is ready to be closed.
Definition at line 258 of file treecanvas.hh.
Node::NodeAllocator* Gecode::Gist::TreeCanvas::na [protected] |
Allocator for nodes.
Definition at line 260 of file treecanvas.hh.
VisualNode* Gecode::Gist::TreeCanvas::root [protected] |
The root node of the tree.
Definition at line 262 of file treecanvas.hh.
BestNode* Gecode::Gist::TreeCanvas::curBest [protected] |
The currently best solution (for branch-and-bound).
Definition at line 264 of file treecanvas.hh.
VisualNode* Gecode::Gist::TreeCanvas::currentNode [protected] |
The currently selected node.
Definition at line 266 of file treecanvas.hh.
VisualNode* Gecode::Gist::TreeCanvas::pathHead [protected] |
The head of the currently selected path.
Definition at line 268 of file treecanvas.hh.
QVector<QPair<Inspector*,bool> > Gecode::Gist::TreeCanvas::doubleClickInspectors [protected] |
The registered click inspectors, and whether they are active.
Definition at line 270 of file treecanvas.hh.
QVector<QPair<Inspector*,bool> > Gecode::Gist::TreeCanvas::solutionInspectors [protected] |
The registered solution inspectors, and whether they are active.
Definition at line 272 of file treecanvas.hh.
QVector<QPair<Inspector*,bool> > Gecode::Gist::TreeCanvas::moveInspectors [protected] |
The registered move inspectors, and whether they are active.
Definition at line 274 of file treecanvas.hh.
QVector<QPair<Comparator*,bool> > Gecode::Gist::TreeCanvas::comparators [protected] |
The registered comparators, and whether they are active.
Definition at line 276 of file treecanvas.hh.
QVector<VisualNode*> Gecode::Gist::TreeCanvas::bookmarks [protected] |
The bookmarks map.
Definition at line 279 of file treecanvas.hh.
bool Gecode::Gist::TreeCanvas::compareNodes [protected] |
Whether node comparison action is running.
Definition at line 282 of file treecanvas.hh.
bool Gecode::Gist::TreeCanvas::compareNodesBeforeFP [protected] |
Whether node comparison action computes fixpoint.
Definition at line 284 of file treecanvas.hh.
QSlider* Gecode::Gist::TreeCanvas::scaleBar [protected] |
The scale bar.
Definition at line 287 of file treecanvas.hh.
Statistics Gecode::Gist::TreeCanvas::stats [protected] |
Statistics about the search tree.
Definition at line 290 of file treecanvas.hh.
double Gecode::Gist::TreeCanvas::scale [protected] |
Current scale factor.
Definition at line 293 of file treecanvas.hh.
int Gecode::Gist::TreeCanvas::xtrans [protected] |
Offset on the x axis so that the tree is centered.
Definition at line 295 of file treecanvas.hh.
bool Gecode::Gist::TreeCanvas::autoHideFailed [protected] |
Whether to hide failed subtrees automatically.
Definition at line 298 of file treecanvas.hh.
bool Gecode::Gist::TreeCanvas::autoZoom [protected] |
Whether to zoom automatically.
Definition at line 300 of file treecanvas.hh.
bool Gecode::Gist::TreeCanvas::showCopies [protected] |
Whether to show copies in the tree.
Definition at line 302 of file treecanvas.hh.
int Gecode::Gist::TreeCanvas::refresh [protected] |
Refresh rate.
Definition at line 304 of file treecanvas.hh.
int Gecode::Gist::TreeCanvas::refreshPause [protected] |
Time (in msec) to pause after each refresh.
Definition at line 306 of file treecanvas.hh.
bool Gecode::Gist::TreeCanvas::smoothScrollAndZoom [protected] |
Whether to use smooth scrolling and zooming.
Definition at line 308 of file treecanvas.hh.
bool Gecode::Gist::TreeCanvas::moveDuringSearch [protected] |
Whether to move cursor during search.
Definition at line 310 of file treecanvas.hh.
int Gecode::Gist::TreeCanvas::c_d [protected] |
The recomputation distance.
Definition at line 313 of file treecanvas.hh.
int Gecode::Gist::TreeCanvas::a_d [protected] |
The adaptive recomputation distance.
Definition at line 315 of file treecanvas.hh.
QTimeLine Gecode::Gist::TreeCanvas::zoomTimeLine [protected] |
Timer for smooth zooming.
Definition at line 335 of file treecanvas.hh.
QTimeLine Gecode::Gist::TreeCanvas::scrollTimeLine [protected] |
Timer for smooth scrolling.
Definition at line 337 of file treecanvas.hh.
int Gecode::Gist::TreeCanvas::targetX [protected] |
Target x coordinate after smooth scrolling.
Definition at line 339 of file treecanvas.hh.
int Gecode::Gist::TreeCanvas::sourceX [protected] |
Source x coordinate after smooth scrolling.
Definition at line 341 of file treecanvas.hh.
int Gecode::Gist::TreeCanvas::targetY [protected] |
Target y coordinate after smooth scrolling.
Definition at line 343 of file treecanvas.hh.
int Gecode::Gist::TreeCanvas::sourceY [protected] |
Target y coordinate after smooth scrolling.
Definition at line 345 of file treecanvas.hh.
int Gecode::Gist::TreeCanvas::targetW [protected] |
Target width after layout.
Definition at line 348 of file treecanvas.hh.
int Gecode::Gist::TreeCanvas::targetH [protected] |
Target height after layout.
Definition at line 350 of file treecanvas.hh.
int Gecode::Gist::TreeCanvas::targetScale [protected] |
Target scale after layout.
Definition at line 352 of file treecanvas.hh.
int Gecode::Gist::TreeCanvas::layoutDoneTimerId [protected] |
Timer id for delaying the update.
Definition at line 354 of file treecanvas.hh.
The documentation for this class was generated from the following files:
- gecode/gist/treecanvas.hh (Revision: 14967)
- gecode/gist/treecanvas.cpp (Revision: 14967)