gecoder-with-gecode 0.9.0 → 0.9.1

data/ext/gecode-2.1.1/gecode/gist/spacenode.hh

@@ -1,224 +0,0 @@
-/*
- *  Main authors:
- *     Guido Tack <tack@gecode.org>
- *
- *  Copyright:
- *     Guido Tack, 2006
- *
- *  Last modified:
- *     $Date: 2008-02-19 11:05:15 +0100 (Tue, 19 Feb 2008) $ by $Author: tack $
- *     $Revision: 6231 $
- *
- *  This file is part of Gecode, the generic constraint
- *  development environment:
- *     http://www.gecode.org
- *
- * Permission is hereby granted, free of charge, to any person obtaining
- * a copy of this software and associated documentation files (the
- * "Software"), to deal in the Software without restriction, including
- * without limitation the rights to use, copy, modify, merge, publish,
- * distribute, sublicense, and/or sell copies of the Software, and to
- * permit persons to whom the Software is furnished to do so, subject to
- * the following conditions:
- *
- * The above copyright notice and this permission notice shall be
- * included in all copies or substantial portions of the Software.
- *
- * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
- * EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF
- * MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND
- * NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE
- * LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION
- * OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION
- * WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
- *
- */
-
-#ifndef GECODE_GIST_SPACENODE_HH
-#define GECODE_GIST_SPACENODE_HH
-
-#include "gecode/gist/node.hh"
-#include "gecode/gist/better.hh"
-#include "gecode/kernel.hh"
-
-namespace Gecode { namespace Gist {
-
-  /// \brief Status of nodes in the search tree
-  enum NodeStatus {
-    SOLVED,       ///< Node representing a solution
-    FAILED,       ///< Node representing failure
-    BRANCH,       ///< Node representing a branch
-    UNDETERMINED, ///< Node that has not been explored yet
-    SPECIAL,      ///< Node representing user controlled exploration
-    STEP          ///< Node representing one propagation step
-  };
-
-  // TODO nikopp: doxygen comments
-  class StepDesc {
-  public:
-    int noOfSteps;
-    bool debug;
-    StepDesc(int steps);
-    void toggleDebug(void);
-  };
-  
-  // TODO nikopp: doxygen comments
-  class SpecialDesc {
-  public:
-    const std::string vn;
-    const int v;
-    const int rel;
-    SpecialDesc(std::string varName, int rel0, int v0);
-  };
-  
-  /// Statistics about the search tree
-  class Statistics {
-  public:
-    int solutions;
-    int failures;
-    int choices;
-    int undetermined;
-    int maxDepth;
-    
-    Statistics(void)
-    : solutions(0), failures(0), choices(0), undetermined(1), maxDepth(0) {}
-    
-    static Statistics dummy;
-  };
-
-  class SpaceNode;
-
-  /// \brief Static reference to the currently best space
-  class BestNode {
-  public:
-    /// The currently best node found, or NULL
-    SpaceNode* s;
-    /// The object used for constraining spaces to be better
-    Better* b;
-    /// Constructor
-    BestNode(SpaceNode* s0, Better* b);
-  };
-
-  /// \brief A node of a search tree of Gecode spaces
-  class SpaceNode : public Node {
-  private:
-    /// A copy used for recomputation, or NULL
-    Space* copy;
-    /// Working space used for computing the status
-    Space* workingSpace;
-    
-    union {
-      /// Branching description
-      const BranchingDesc* branch;
-      /// Special branching description
-      const SpecialDesc* special;
-      /// Step description
-      StepDesc* step;
-    } desc;
-    
-    /// Current status of the node
-    NodeStatus status;
-
-  protected:
-    /// Reference to currently best node (for branch-and-bound)
-    BestNode* curBest;
-  private:
-    /// Reference to best space when the node was created
-    SpaceNode* ownBest;
-    
-    /// Number of children that are not fully explored
-    int noOfOpenChildren;
-    /// Whether the subtree of this node is known to contain failure
-    bool _hasFailedChildren;
-    /// Whether the subtree of this node is known to contain solutions
-    bool _hasSolvedChildren;
-    
-    /// Recompute workingSpace from a copy higher up, return distance to copy
-    int recompute(void);
-    /// Try to get workingSpace from parent
-    Space* donateSpace(int alt, SpaceNode* ownBest);
-    /// Try to get copy from parent if this node is the last alternative
-    Space* checkLAO(int alt, SpaceNode* ownBest);
-    /// Acquire working space, either through donateSpace or recompute
-    void acquireSpace(void);
-
-    /// Mark all ancestors as having solved children
-    void solveUp(void);
-    /// Book-keeping of open children
-    void closeChild(bool hadFailures, bool hadSolutions);
-  public:
-    /// Construct node for alternative \a alt
-    SpaceNode(int alt, BestNode* cb = NULL);
-    /// Construct root node from Space \a root and branch-and-bound object \a better
-    SpaceNode(Space* root, Better* b);
-    /// Destructor
-    virtual ~SpaceNode(void);
-
-    /// Return the branch-and-bound wrapper
-    Better* getBetterWrapper(void) const;
-
-    /// Return working space.  Receiver must delete the space.
-    Space* getSpace(void);
-
-    /// Return whether this node is the currently best solution
-    bool isCurrentBest(void);
-
-    /** \brief Compute and return the number of children
-      *
-      * On a node whose status is already determined, this function
-      * just returns the number of children.  On an undetermined node,
-      * it first acquires a Space (possibly through recomputation), and
-      * then asks for its status.  If the space is solved or failed, the
-      * node's status will be set accordingly, and 0 will be returned.
-      * Otherwise, the status is SS_BRANCH, and as many new children will
-      * be created as the branch has alternatives, and the number returned.
-      */
-    int getNumberOfChildNodes(Statistics& stats = Statistics::dummy);
-    
-    /// Return current status of the node
-    NodeStatus getStatus(void);
-    /// Change the status of the to \a s
-    void setStatus(NodeStatus s);
-    /// Return whether this node represents a propagation step
-    bool isStepNode(void);
-    /// Change the SpecialDesc to \a d
-    void setSpecialDesc(const SpecialDesc* d);
-    /// Change the StepDesc to \a d
-    void setStepDesc(StepDesc* d);
-    /// Return the StepDesc
-    StepDesc* getStepDesc(void);
-    
-    /// Return alternative number of this node
-    int getAlternative(void);
-    /// Return whether this node still has open children
-    bool isOpen(void);
-    /// Opens all nodes on the path up to the root
-    void openUp(void);
-    /// Return whether the subtree of this node has any failed children
-    bool hasFailedChildren(void);
-    /// Return whether the subtree of this node has any solved children
-    bool hasSolvedChildren(void);
-    /// Return number of open children
-    int getNoOfOpenChildren(void);
-    /// Set number of open children to \a n
-    void setNoOfOpenChildren(int n);
-    /// Return whether the node has a copy
-    bool hasCopy(void);
-    /// Return whether the node has a working space
-    bool hasWorkingSpace(void);
-       
-    /// Return the parent
-    SpaceNode* getParent(void);
-    /// Return child \a i
-    SpaceNode* getChild(int i);
-    /// Pseudo-constructor to allow creation of nodes of sub-classes from getNoOfChildNodes
-    virtual SpaceNode* createChild(int alternative);
-    /// Called when the status has changed
-    virtual void changedStatus(void);
-  };
-
-}}
-
-#endif
-
-// STATISTICS: gist-any

data/ext/gecode-2.1.1/gecode/gist/textoutput.cc

@@ -1,114 +0,0 @@
-/*
- *  Main authors:
- *     Guido Tack <tack@gecode.org>
- *
- *  Copyright:
- *     Guido Tack, 2006
- *
- *  Last modified:
- *     $Date: 2007-12-03 13:33:28 +0100 (Mon, 03 Dec 2007) $ by $Author: tack $
- *     $Revision: 5559 $
- *
- *  This file is part of Gecode, the generic constraint
- *  development environment:
- *     http://www.gecode.org
- *
- * Permission is hereby granted, free of charge, to any person obtaining
- * a copy of this software and associated documentation files (the
- * "Software"), to deal in the Software without restriction, including
- * without limitation the rights to use, copy, modify, merge, publish,
- * distribute, sublicense, and/or sell copies of the Software, and to
- * permit persons to whom the Software is furnished to do so, subject to
- * the following conditions:
- *
- * The above copyright notice and this permission notice shall be
- * included in all copies or substantial portions of the Software.
- *
- * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
- * EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF
- * MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND
- * NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE
- * LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION
- * OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION
- * WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
- *
- */
-
-#include <QtGui>
-
-#include <iostream>
-#include "gecode/gist/textoutput.hh"
-
-namespace Gecode { namespace Gist {
-  
-  /// \brief An outputstream that prints on a QTextEdit
-  class GistOutputStream
-  : public std::basic_ostream<char, std::char_traits<char> > {
-    /// \brief Buffer for printing on a QTextEdit
-    class Buf
-    : public std::basic_streambuf<char, std::char_traits<char> > {
-      QString buffer;
-      QTextEdit* editor;
-    protected:
-      virtual int overflow(int v = std::char_traits<char>::eof()) {
-        if (v == '\n') {
-          editor->append(buffer);
-          buffer.clear();
-        } else {
-          buffer += (char)v;
-        }
-        return v;
-      }
-    public:
-      Buf(QTextEdit* e) : editor(e) {}
-    };
-    
-    Buf _buf;
-  public:
-    GistOutputStream(QTextEdit* editor)
-    : std::basic_ostream<char, std::char_traits<char> >(&_buf),
-      _buf(editor) {
-      clear();
-    }
-  };
-  
-  TextOutput::TextOutput(const std::string& name, QWidget *parent)
-  : QMainWindow(parent) {
-    QFont font;
-    font.setFamily("Courier");
-    font.setFixedPitch(true);
-    font.setPointSize(12);
-
-    editor = new QTextEdit;
-    editor->setFont(font);
-    editor->setReadOnly(true);
-    editor->setLineWrapMode(QTextEdit::FixedColumnWidth);
-    editor->setLineWrapColumnOrWidth(80);
-    editor->setTabStopWidth(2);
-    os = new GistOutputStream(editor);
-
-    setCentralWidget(editor);
-    setWindowTitle(QString((std::string("Gist Console: ") + name).c_str()));
-    
-    setAttribute(Qt::WA_QuitOnClose, false);
-    setAttribute(Qt::WA_DeleteOnClose, false);
-    resize(600,300);
-  }
-
-  TextOutput::~TextOutput(void) {
-    delete os;
-  }
-
-  std::ostream&
-  TextOutput::getStream(void) {
-    return *os;
-  }
-
-  void
-  TextOutput::insertHtml(const QString& s) {
-    editor->insertHtml(s);
-  }
-
-}}
-
-// STATISTICS: gist-any

data/ext/gecode-2.1.1/gecode/gist/treecanvas.cc

@@ -1,1140 +0,0 @@
-/*
- *  Main authors:
- *     Guido Tack <tack@gecode.org>
- *
- *  Copyright:
- *     Guido Tack, 2006
- *
- *  Last modified:
- *     $Date: 2008-03-04 13:54:11 +0100 (Tue, 04 Mar 2008) $ by $Author: tack $
- *     $Revision: 6405 $
- *
- *  This file is part of Gecode, the generic constraint
- *  development environment:
- *     http://www.gecode.org
- *
- * Permission is hereby granted, free of charge, to any person obtaining
- * a copy of this software and associated documentation files (the
- * "Software"), to deal in the Software without restriction, including
- * without limitation the rights to use, copy, modify, merge, publish,
- * distribute, sublicense, and/or sell copies of the Software, and to
- * permit persons to whom the Software is furnished to do so, subject to
- * the following conditions:
- *
- * The above copyright notice and this permission notice shall be
- * included in all copies or substantial portions of the Software.
- *
- * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
- * EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF
- * MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND
- * NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE
- * LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION
- * OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION
- * WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
- *
- */
-
-#include <QtGui/QPainter>
-
-#include <stack>
-#include <fstream>
-
-#include "gecode/gist/treecanvas.hh"
-
-#include "gecode/gist/nodevisitor.hh"
-#include "gecode/gist/shapelist.hh"
-#include "gecode/gist/visualnode.hh"
-#include "gecode/gist/postscript.hh"
-#include "gecode/gist/drawingcursor.hh"
-#include "gecode/gist/analysiscursor.hh"
-#include "gecode/gist/addchild.hh"
-#include "gecode/gist/addvisualisationdialog.hh"
-
-namespace Gecode { namespace Gist {
-
-  Inspector::~Inspector(void) {}
-    
-  TreeCanvasImpl::TreeCanvasImpl(Space* rootSpace, Better* b,
-                                 QWidget* parent)
-    : QWidget(parent)
-    , mutex(QMutex::Recursive)
-    , layoutMutex(QMutex::Recursive)
-    , inspector(NULL), heatView(false)
-    , autoHideFailed(true), autoZoom(false)
-    , refresh(500), nextPit(0) {
-      QMutexLocker locker(&mutex);
-      root = new VisualNode(rootSpace, b);
-      root->layout();
-      root->setMarked(true);
-      currentNode = root;
-      pathHead = root;
-      scale = 1.0;
-
-      setAutoFillBackground(true);
-
-      connect(&searcher, SIGNAL(update(int,int)), this, 
-                         SLOT(layoutDone(int,int)));
-      connect(&searcher, SIGNAL(statusChanged(bool)), this, 
-              SLOT(statusChanged(bool)));
-      
-      qRegisterMetaType<Gecode::Gist::NodeStatus>("Gecode::Gist::NodeStatus");
-      update();
-  }
-  
-  TreeCanvasImpl::~TreeCanvasImpl(void) { delete root; }
-
-  void
-  TreeCanvasImpl::setInspector(Inspector* i) { inspector = i; }
-
-  void
-  TreeCanvasImpl::scaleTree(int scale0) {
-    QMutexLocker locker(&layoutMutex);
-    BoundingBox bb;
-    if (scale0<1)
-      scale0 = 1;
-    if (scale0>400)
-      scale0 = 400;
-    scale = (static_cast<double>(scale0)) / 100.0;
-    bb = root->getBoundingBox();
-    int w = static_cast<int>((bb.right-bb.left+20)*scale);
-    int h = static_cast<int>(40+bb.depth*38*scale);
-    if (heatView)
-      w = std::max(w, 300);
-    resize(w,h);
-    emit scaleChanged(scale0);
-    QWidget::update();
-  }
-
-  void
-  TreeCanvasImpl::update(void) {
-    QMutexLocker locker(&mutex);
-    layoutMutex.lock();
-    if (root != NULL) {
-      root->layout();
-      BoundingBox bb = root->getBoundingBox();
-
-      int w = static_cast<int>((bb.right-bb.left+20)*scale);
-      int h = static_cast<int>(40+bb.depth*38*scale);
-      xtrans = -bb.left+10;
-      resize(w,h);
-    }
-    if (autoZoom)
-      zoomToFit();
-    layoutMutex.unlock();
-    QWidget::update();
-  }
-
-  void
-  TreeCanvasImpl::layoutDone(int w, int h) {
-    if (heatView)
-      w = std::max(w, 300);
-    resize(w,h);
-    QWidget::update();
-  }
-
-  void
-  TreeCanvasImpl::statusChanged(bool finished) {
-    if (finished)
-      centerCurrentNode();
-    emit statusChanged(stats, finished);
-  }
-
-  void
-  SearcherThread::search(VisualNode* n, bool all, TreeCanvasImpl* ti) {
-    node = n;
-    a = all;
-    t = ti;
-    start();
-  }
-  
-  void
-  SearcherThread::updateCanvas(void) {
-    t->layoutMutex.lock();
-    if (t->root == NULL)
-      return;
-
-    if (t->autoHideFailed) {
-      t->root->hideFailed();
-    }
-    t->root->layout();
-    BoundingBox bb = t->root->getBoundingBox();
-
-    int w = static_cast<int>((bb.right-bb.left+20)*t->scale);
-    int h = static_cast<int>(40+bb.depth*38*t->scale);
-    t->xtrans = -bb.left+10;
-
-    if (t->autoZoom) {
-      QWidget* p = t->parentWidget();
-      if (p) {
-        double newXScale =
-          static_cast<double>(p->width()) / (bb.right - bb.left + 20);
-        double newYScale =
-          static_cast<double>(p->height()) / (bb.depth * 38 + 40);
-
-        int scale0 = static_cast<int>(std::min(newXScale, newYScale)*100);
-        if (scale0<1)
-          scale0 = 1;
-        if (scale0>400)
-          scale0 = 400;
-        t->scale = (static_cast<double>(scale0)) / 100.0;
-
-        w = static_cast<int>((bb.right-bb.left+20)*t->scale);
-        h = static_cast<int>(40+bb.depth*38*t->scale);
-
-        emit scaleChanged(scale0);
-      }
-    }
-    t->layoutMutex.unlock();
-    emit update(w,h);
-  }
-  
-  void
-  SearcherThread::run() {
-    {
-      t->mutex.lock();
-      emit statusChanged(false);
-      std::stack<VisualNode*> stck;
-      stck.push(node);
-
-      VisualNode* sol = NULL;
-      int nodeCount = 0;
-      t->stopSearchFlag = false;
-      while (!stck.empty() && !t->stopSearchFlag) {
-        if (t->refresh > 0 && ++nodeCount > t->refresh) {
-          node->dirtyUp();
-          updateCanvas();
-          emit statusChanged(false);
-          nodeCount = 0;
-        }
-        VisualNode* n = stck.top(); stck.pop();
-        if (n->isOpen()) {
-          int kids = n->getNumberOfChildNodes(t->stats);
-          if (!a && n->getStatus() == SOLVED) {
-            sol = n;
-            break;
-          }
-          for (int i=kids; i--;) {
-            stck.push(n->getChild(i));
-          }
-        }
-      }
-      node->dirtyUp();
-      t->stopSearchFlag = false;
-      t->mutex.unlock();
-      if (sol != NULL) {
-        t->setCurrentNode(sol);
-      } else {
-        t->setCurrentNode(node);
-      }
-    }
-    updateCanvas();
-    emit statusChanged(true);
-  }
-
-  void
-  TreeCanvasImpl::searchAll(void) {
-    QMutexLocker locker(&mutex);
-    searcher.search(currentNode, true, this);
-  }
-
-  void
-  TreeCanvasImpl::searchOne(void) {
-    QMutexLocker locker(&mutex);
-    searcher.search(currentNode, false, this);
-  }
-
-  void
-  TreeCanvasImpl::toggleHidden(void) {
-    QMutexLocker locker(&mutex);
-    currentNode->toggleHidden();
-    update();
-    centerCurrentNode();
-  }
-  
-  void
-  TreeCanvasImpl::hideFailed(void) {
-    QMutexLocker locker(&mutex);
-    currentNode->hideFailed();
-    update();
-    centerCurrentNode();
-  }
-  
-  void
-  TreeCanvasImpl::unhideAll(void) {
-    QMutexLocker locker(&mutex);
-    QMutexLocker layoutLocker(&layoutMutex);
-    currentNode->unhideAll();
-    update();
-    centerCurrentNode();
-  }
-  
-  void
-  TreeCanvasImpl::zoomToFit(void) {
-    QMutexLocker locker(&layoutMutex);
-    if (root != NULL) {
-      BoundingBox bb;
-      bb = root->getBoundingBox();
-      QWidget* p = parentWidget();
-      if (p) {
-        double newXScale =
-          static_cast<double>(p->width()) / (bb.right - bb.left + 20);
-        double newYScale =
-          static_cast<double>(p->height()) / (bb.depth * 38 + 40);
-        scaleTree(static_cast<int>(std::min(newXScale, newYScale)*100));
-      }
-    }
-  }
-
-  void
-  TreeCanvasImpl::centerCurrentNode(void) {
-    QMutexLocker locker(&mutex);
-    int x=0;
-    int y=0;
-
-    VisualNode* c = currentNode;
-    while (c != NULL) {
-      x += c->getOffset();
-      y += 38;
-      c = c->getParent();
-    }
-    
-    x = static_cast<int>((xtrans+x)*scale); y = static_cast<int>(y*scale);
-    
-    QScrollArea* sa = 
-      static_cast<QScrollArea*>(parentWidget()->parentWidget());
-    sa->ensureVisible(x, y);
-  }
-
-  void
-  TreeCanvasImpl::analyzeTree(void) {
-    QMutexLocker locker(&mutex);
-    int min, max;
-    AnalysisCursor ac(root, min, max);
-    PostorderNodeVisitor<AnalysisCursor> va(ac);
-    while (va.next()) {}
-    DistributeCursor dc(root, min, max);
-    PreorderNodeVisitor<DistributeCursor> vd(dc);
-    while (vd.next()) {}
-    if (!heatView)
-      toggleHeatView();
-    QWidget::update();    
-  }
-
-  void
-  TreeCanvasImpl::toggleHeatView(void) {
-    heatView = !heatView;
-    QPalette pal(palette());
-    QScrollArea* sa = 
-      static_cast<QScrollArea*>(parentWidget()->parentWidget());
-    pal.setColor(QPalette::Window, heatView ? Qt::black : Qt::white);
-    setPalette(pal);
-    sa->setPalette(pal);
-    if (heatView) {
-      setMinimumWidth(300);
-    }
-    QWidget::update();
-  }
-
-  void
-  TreeCanvasImpl::inspectCurrentNode(void) {
-    QMutexLocker locker(&mutex);
-    
-    if (currentNode->isHidden()) {
-      toggleHidden();
-      return;
-    }
-    
-    switch (currentNode->getStatus()) {
-    case UNDETERMINED:
-        {
-          (void) currentNode->getNumberOfChildNodes(stats);
-          emit statusChanged(stats,true);
-          emit currentNodeChanged(currentNode->getSpace(), currentNode->getStatus());
-        }
-        break;
-    case FAILED:
-    case STEP:
-    case SPECIAL:
-    case BRANCH:
-    case SOLVED:
-      Space* curSpace = currentNode->getSpace();
-      Reflection::VarMap vm;
-      curSpace->getVars(vm, false);
-      emit inspect(vm, nextPit);
-      saveCurrentNode();
-      if (inspector != NULL) {
-        inspector->inspect(curSpace);
-      }
-      break;
-    }
-    
-    currentNode->dirtyUp();
-    update();
-    centerCurrentNode();
-  }
-
-  void
-  TreeCanvasImpl::stopSearch(void) {
-    stopSearchFlag = true;
-  }
-
-  void
-  TreeCanvasImpl::reset(void) {
-    QMutexLocker locker(&mutex);
-    Space* rootSpace = root->getSpace();
-    Better* b = root->getBetterWrapper();
-    delete root;
-    root = new VisualNode(rootSpace, b);
-    root->setMarked(true);
-    currentNode = root;
-    pathHead = root;
-    nodeMap.clear();
-    nextPit = 0;
-    scale = 1.0;
-    stats = Statistics();
-    root->layout();
-    
-    emit statusChanged(stats, true);
-    emit currentNodeChanged(NULL, UNDETERMINED);
-    update();
-  }
-
-  void
-  TreeCanvasImpl::setPath(void) {
-    QMutexLocker locker(&mutex);
-    if(currentNode == pathHead)
-      return;
-
-    pathHead->unPathUp();
-    pathHead = currentNode;
-
-    currentNode->setPathInfos(true, -1, true);
-    currentNode->pathUp();
-    currentNode->dirtyUp();
-    update();
-  }
-
-  void
-  TreeCanvasImpl::inspectPath(void) {
-    QMutexLocker locker(&mutex);
-    setCurrentNode(root);
-    while(currentNode->isOnPath()) {
-      inspectCurrentNode();
-      if(!currentNode->isLastOnPath())
-        setCurrentNode(currentNode->getChild(currentNode->getPathAlternative()));
-      else
-        break;
-    }
-    update();
-  }
-
-  void
-  TreeCanvasImpl::navUp(void) {
-    QMutexLocker locker(&mutex);
-    
-    VisualNode* p = currentNode->getParent();
-    
-    setCurrentNode(p);
-
-    if (p != NULL) {
-      centerCurrentNode();
-    }
-  }
-
-  void
-  TreeCanvasImpl::navDown(void) {
-    QMutexLocker locker(&mutex);
-    if (!currentNode->isHidden()) {
-      switch (currentNode->getStatus()) {
-      case STEP:
-      case SPECIAL:
-        if (currentNode->getNumberOfChildren() < 1)
-          break;
-      case BRANCH: 
-          {
-            int alt = 0;
-            if(currentNode->isOnPath() && !currentNode->isLastOnPath()) {
-              alt = currentNode->getPathAlternative();
-            }
-            VisualNode* n = currentNode->getChild(alt);
-            setCurrentNode(n);
-            centerCurrentNode();
-            break;
-          }
-      case SOLVED:
-      case FAILED:
-      case UNDETERMINED:
-        break;
-      }
-    }
-  }
-
-  void
-  TreeCanvasImpl::navLeft(void) {
-    QMutexLocker locker(&mutex);
-    VisualNode* p = currentNode->getParent();
-    if (p != NULL) {
-      int alt = currentNode->getAlternative();
-      if (alt > 0) {
-        VisualNode* n = p->getChild(alt-1);
-        setCurrentNode(n);
-        centerCurrentNode();
-      }
-    }
-  }
-
-  void
-  TreeCanvasImpl::navRight(void) {
-    QMutexLocker locker(&mutex);
-    VisualNode* p = currentNode->getParent();
-    if (p != NULL) {
-      int alt = currentNode->getAlternative();
-      if (alt + 1 < p->getNumberOfChildNodes()) {
-        VisualNode* n = p->getChild(alt+1);
-        setCurrentNode(n);
-        centerCurrentNode();
-      }
-    }
-  }
-  
-  void
-  TreeCanvasImpl::navRoot(void) {
-    QMutexLocker locker(&mutex);
-    setCurrentNode(root);
-    centerCurrentNode();
-  }
-  
-  void
-  TreeCanvasImpl::markCurrentNode(int pit) {
-    QMutexLocker locker(&mutex);
-    if(nodeMap.size() > pit && nodeMap[pit] != NULL) {
-      setCurrentNode(nodeMap[pit]);
-      centerCurrentNode();
-      emit pointInTimeChanged(pit);
-    }
-  }
-
-  void
-  TreeCanvasImpl::saveCurrentNode(void) {
-    QMutexLocker locker(&mutex);
-    assert(nextPit == nodeMap.size());
-    nodeMap << currentNode;
-    nextPit++;
-  }
-
-  void
-  TreeCanvasImpl::exportPostscript(void) {
-    QString filename = QFileDialog::getSaveFileName(this, tr("Save tree as postscript"), "", tr("Postscript (*.ps *.eps)"));
-    if (filename != "") {
-      std::ofstream outfile(filename.toStdString().c_str());
-      QMutexLocker locker(&mutex);
-      Postscript::output(outfile, root);      
-      outfile.close();
-    }
-  }
-
-  void
-  TreeCanvasImpl::print(void) {
-    QPrinter printer;
-    if (QPrintDialog(&printer).exec() == QDialog::Accepted) {
-      QMutexLocker locker(&mutex);
-
-      BoundingBox bb = root->getBoundingBox();
-      QRect pageRect = printer.pageRect();
-      double newXScale =
-        static_cast<double>(pageRect.width()) / (bb.right - bb.left + 20);
-      double newYScale =
-        static_cast<double>(pageRect.height()) / (bb.depth * 38 + 40);
-      double printScale = std::min(newXScale, newYScale)*100;
-      if (printScale<1.0)
-        printScale = 1.0;
-      if (printScale > 400.0)
-        printScale = 400.0;
-      printScale = printScale / 100.0;
-
-      QPainter painter(&printer);
-      painter.setRenderHint(QPainter::Antialiasing);
-      painter.scale(printScale,printScale);
-      painter.translate(xtrans, 0);
-      QRect clip(0,0,0,0);
-      DrawingCursor dc(root, painter, heatView, clip);
-      PreorderNodeVisitor<DrawingCursor> v(dc);
-      while (v.next()) {}
-    }
-  }
-
-  VisualNode*
-  TreeCanvasImpl::eventNode(QEvent* event) {
-    int x = 0;
-    int y = 0;
-    switch (event->type()) {
-    case QEvent::ToolTip:
-        {
-          QHelpEvent* he = static_cast<QHelpEvent*>(event);
-          x = he->x();
-          y = he->y();
-          break;
-        }
-    case QEvent::MouseButtonDblClick:
-    case QEvent::MouseButtonPress:
-    case QEvent::MouseButtonRelease:
-    case QEvent::MouseMove:
-        {
-          QMouseEvent* me = static_cast<QMouseEvent*>(event);
-          x = me->x();
-          y = me->y();
-          break;
-        }
-    case QEvent::ContextMenu:
-        {
-          QContextMenuEvent* ce = static_cast<QContextMenuEvent*>(event);
-          x = ce->x();
-          y = ce->y();
-          break;
-        }
-    default:
-      return NULL;
-    }
-    VisualNode* n;
-    n = root->findNode(static_cast<int>(x/scale-xtrans),
-                       static_cast<int>((y-30)/scale));
-    return n;  
-  }
-  
-  bool
-  TreeCanvasImpl::event(QEvent* event) {
-    if (event->type() == QEvent::ToolTip) {
-      VisualNode* n = eventNode(event);
-      if (n != NULL && !n->isHidden() && n->getStatus() == BRANCH) {
-        QHelpEvent* he = static_cast<QHelpEvent*>(event);
-        QToolTip::showText(he->globalPos(), QString(n->toolTip().c_str()));
-      } else {
-        QToolTip::hideText();
-      }
-    }
-    return QWidget::event(event);
-  }
-  
-  void
-  TreeCanvasImpl::resizeToOuter(void) {
-    if (autoZoom)
-      zoomToFit();
-  }
-  
-  void
-  TreeCanvasImpl::paintEvent(QPaintEvent* event) {
-    QMutexLocker locker(&layoutMutex);
-    QPainter painter(this);
-    painter.setRenderHint(QPainter::Antialiasing);
-
-    if (heatView) {
-      painter.setPen(Qt::white);
-      painter.drawText(QRect(0,5,40,15), Qt::AlignRight, tr("cold"));
-      painter.setPen(Qt::black);
-      // Draw legend
-      for (int i=0; i<180; i+=10) {
-        int heat = (240 + i) % 360;
-        painter.setBrush(QBrush(QColor::fromHsv(heat,255,255)));
-        painter.drawRect(45+i, 5, 10, 15);
-      }
-      painter.setPen(Qt::white);
-      painter.drawText(QRect(230,5,40,15), Qt::AlignLeft, tr("hot"));
-      painter.setPen(Qt::black);
-    }
-
-    BoundingBox bb = root->getBoundingBox();
-    QRect origClip = event->rect();
-    painter.translate(0, 30);
-    painter.scale(scale,scale);
-    painter.translate(xtrans, 0);
-    QRect clip(static_cast<int>(origClip.x()/scale-xtrans), 
-               static_cast<int>(origClip.y()/scale),
-               static_cast<int>(origClip.width()/scale), 
-               static_cast<int>(origClip.height()/scale));
-    DrawingCursor dc(root, painter, heatView, clip);
-    PreorderNodeVisitor<DrawingCursor> v(dc);
-    while (v.next()) {}
-  }
-
-  void
-  TreeCanvasImpl::mouseDoubleClickEvent(QMouseEvent* event) {
-    if(event->button() == Qt::LeftButton) {
-      VisualNode* n = eventNode(event);
-      if(n == currentNode) {      
-        inspectCurrentNode();
-        event->accept();
-        return;
-      }
-    }
-    event->ignore();
-  }
-  
-  void
-  TreeCanvasImpl::contextMenuEvent(QContextMenuEvent* event) {
-    QMutexLocker locker(&mutex);
-    VisualNode* n = eventNode(event);
-    if (n != NULL) {
-      setCurrentNode(n);
-      emit contextMenu(event);
-      event->accept();
-      return;
-    }
-    event->ignore();
-  }
-
-  void
-  TreeCanvasImpl::finish(void) {
-    stopSearchFlag = true;
-    searcher.wait();    
-  }
-  
-  void
-  TreeCanvasImpl::setCurrentNode(VisualNode* n) {
-    QMutexLocker locker(&mutex);
-    if (n != NULL) {
-      currentNode->setMarked(false);
-      currentNode = n;
-      currentNode->setMarked(true);
-      NodeStatus status = n->getStatus();
-      if(status != UNDETERMINED) {
-        emit currentNodeChanged(n->getSpace(), status);
-      } else {
-        emit currentNodeChanged(NULL, status);
-      }
-      QWidget::update();
-    }
-  }
-  
-  void
-  TreeCanvasImpl::mousePressEvent(QMouseEvent* event) {
-    QMutexLocker locker(&mutex);
-    if (event->button() == Qt::LeftButton) {
-      VisualNode* n = eventNode(event);
-      setCurrentNode(n);
-      if (n != NULL) {
-        event->accept();
-        return;
-      }
-    }
-    event->ignore();
-  }
-  
-  void
-  TreeCanvasImpl::setAutoHideFailed(bool b) {
-    autoHideFailed = b;
-  }
-  
-  void
-  TreeCanvasImpl::setAutoZoom(bool b) {
-    autoZoom = b;
-    if (autoZoom) {
-      zoomToFit();
-    }
-  }
-
-  bool
-  TreeCanvasImpl::getAutoHideFailed(void) {
-    return autoHideFailed;
-  }
-  
-  bool
-  TreeCanvasImpl::getAutoZoom(void) {
-    return autoZoom;
-  }
-
-  void
-  TreeCanvasImpl::setRefresh(int i) {
-    refresh = i;
-  }
-  
-  void
-  TreeCanvasImpl::getRootVars(Gecode::Reflection::VarMap& vm) {
-    QMutexLocker locker(&mutex);
-    if(root != NULL) {
-      Space* space = root->getSpace();
-      space->getVars(vm, false);
-      delete space;
-    }
-  }
-
-  void
-  TreeCanvasImpl::addVisualisation(QStringList vars, QString visType, QString windowName) {
-    Config conf;
-    
-    pt2createView cv = conf.visualisationMap.value(visType);
-    
-    if(cv != NULL) {
-      Reflection::VarMap vm;
-      Space* rootSpace = root->getSpace();
-      rootSpace->getVars(vm, false);
-      delete rootSpace;
-
-      QWidget* varView = cv(vm, nextPit, vars, this);
-
-      varView->setWindowTitle(windowName);
-
-      varView->setWindowFlags(Qt::Tool);
-
-      varView->show();
-
-      connect(this, SIGNAL(inspect(Gecode::Reflection::VarMap&, int)),
-              varView, SLOT(display(Gecode::Reflection::VarMap&, int)));
-      connect(this, SIGNAL(pointInTimeChanged(int)),
-              varView, SLOT(displayOld(int)));
-      connect(varView, SIGNAL(pointInTimeChanged(int)),
-              this, SLOT(markCurrentNode(int)));
-    }
-  }
-  
-  void
-  TreeCanvasImpl::addVisualisation(void) {
-
-    Config conf;
-    
-    Reflection::VarMap rootVm;
-    getRootVars(rootVm);
-
-    AddVisualisationDialog* addVisDialog = new AddVisualisationDialog(conf, rootVm, this);
-
-    if(addVisDialog->exec()) {
-
-      QStringList itemList = addVisDialog->vars();
-      QString visualisation = addVisDialog->vis();
-      QString name = addVisDialog->name();
-
-      addVisualisation(itemList, visualisation, name);
-    }
-  }
-
-  TreeCanvas::TreeCanvas(Space* root, Better* b,
-                         QWidget* parent) : QWidget(parent) {
-    QGridLayout* layout = new QGridLayout(this);    
-
-    QScrollArea* scrollArea = new QScrollArea(this);
-    
-    scrollArea->setHorizontalScrollBarPolicy(Qt::ScrollBarAlwaysOn);
-    scrollArea->setVerticalScrollBarPolicy(Qt::ScrollBarAlwaysOn);
-    scrollArea->setAlignment(Qt::AlignHCenter);
-    scrollArea->setAutoFillBackground(true);
-    QPalette myPalette(scrollArea->palette());
-    myPalette.setColor(QPalette::Window, Qt::white);
-    scrollArea->setPalette(myPalette);
-    canvas = new TreeCanvasImpl(root, b, this);
-    canvas->setPalette(myPalette);
-    canvas->setObjectName("canvas");
-
-    scrollArea->setWidget(canvas);
-
-    QSlider* scaleBar = new QSlider(Qt::Vertical, this);
-    scaleBar->setObjectName("scaleBar");
-    scaleBar->setMinimum(1);
-    scaleBar->setMaximum(400);
-    scaleBar->setValue(100);
-    
-    inspectCN = new QAction("Inspect", this);
-    inspectCN->setShortcut(QKeySequence("Return"));
-    connect(inspectCN, SIGNAL(triggered()), canvas, 
-                       SLOT(inspectCurrentNode()));
-
-    stopCN = new QAction("Stop search", this);
-    stopCN->setShortcut(QKeySequence("Esc"));
-    connect(stopCN, SIGNAL(triggered()), canvas, 
-                    SLOT(stopSearch()));
-
-    reset = new QAction("Reset", this);
-    reset->setShortcut(QKeySequence("Ctrl+R"));
-    connect(reset, SIGNAL(triggered()), canvas, 
-            SLOT(reset()));
-
-    navUp = new QAction("Up", this);
-    navUp->setShortcut(QKeySequence("Up"));
-    connect(navUp, SIGNAL(triggered()), canvas, 
-                   SLOT(navUp()));
-
-    navDown = new QAction("Down", this);
-    navDown->setShortcut(QKeySequence("Down"));
-    connect(navDown, SIGNAL(triggered()), canvas, 
-                     SLOT(navDown()));
-
-    navLeft = new QAction("Left", this);
-    navLeft->setShortcut(QKeySequence("Left"));
-    connect(navLeft, SIGNAL(triggered()), canvas, 
-                     SLOT(navLeft()));
-
-    navRight = new QAction("Right", this);
-    navRight->setShortcut(QKeySequence("Right"));
-    connect(navRight, SIGNAL(triggered()), canvas, 
-                      SLOT(navRight()));
-
-    navRoot = new QAction("Root", this);
-    navRoot->setShortcut(QKeySequence("R"));
-    connect(navRoot, SIGNAL(triggered()), canvas, 
-                      SLOT(navRoot()));
-
-    searchNext = new QAction("Next solution", this);
-    searchNext->setShortcut(QKeySequence("N"));
-    connect(searchNext, SIGNAL(triggered()), canvas, SLOT(searchOne()));
-
-    searchAll = new QAction("All solutions", this);
-    searchAll->setShortcut(QKeySequence("A"));
-    connect(searchAll, SIGNAL(triggered()), canvas, SLOT(searchAll()));
-
-    toggleHidden = new QAction("Hide/unhide", this);
-    toggleHidden->setShortcut(QKeySequence("H"));
-    connect(toggleHidden, SIGNAL(triggered()), canvas, SLOT(toggleHidden()));
-
-    hideFailed = new QAction("Hide failed subtrees", this);
-    hideFailed->setShortcut(QKeySequence("F"));
-    connect(hideFailed, SIGNAL(triggered()), canvas, SLOT(hideFailed()));
-
-    unhideAll = new QAction("Unhide all", this);
-    unhideAll->setShortcut(QKeySequence("U"));
-    connect(unhideAll, SIGNAL(triggered()), canvas, SLOT(unhideAll()));
-
-    zoomToFit = new QAction("Zoom to fit", this);
-    zoomToFit->setShortcut(QKeySequence("Z"));
-    connect(zoomToFit, SIGNAL(triggered()), canvas, SLOT(zoomToFit()));
-
-    centerCN = new QAction("Center current node", this);
-    centerCN->setShortcut(QKeySequence("C"));
-    connect(centerCN, SIGNAL(triggered()), canvas, SLOT(centerCurrentNode()));
-
-    exportPostscript = new QAction("Export postscript...", this);
-    exportPostscript->setShortcut(QKeySequence("Ctrl+Shift+P"));
-    connect(exportPostscript, SIGNAL(triggered()), canvas, 
-            SLOT(exportPostscript()));
-
-    print = new QAction("Print...", this);
-    print->setShortcut(QKeySequence("Ctrl+P"));
-    connect(print, SIGNAL(triggered()), canvas, 
-            SLOT(print()));
-
-    setPath = new QAction("Set path", this);
-    setPath->setShortcut(QKeySequence("Shift+P"));
-    connect(setPath, SIGNAL(triggered()), canvas, SLOT(setPath()));
-
-    inspectPath = new QAction("Inspect path", this);
-    inspectPath->setShortcut(QKeySequence("Shift+I"));
-    connect(inspectPath, SIGNAL(triggered()), canvas, SLOT(inspectPath()));
-
-    addVisualisation = new QAction("Add visualisation", this);
-    addVisualisation->setShortcut(QKeySequence("Shift+V"));
-    connect(addVisualisation, SIGNAL(triggered()), canvas, SLOT(addVisualisation()));
-
-    toggleHeatView = new QAction("Toggle heat view", this);
-    toggleHeatView->setShortcut(QKeySequence("Y"));
-    connect(toggleHeatView, SIGNAL(triggered()), canvas, 
-            SLOT(toggleHeatView()));
-
-    analyzeTree = new QAction("Analyze tree", this);
-    analyzeTree->setShortcut(QKeySequence("Shift+Y"));
-    connect(analyzeTree, SIGNAL(triggered()), canvas, 
-            SLOT(analyzeTree()));
-
-    addAction(inspectCN);
-    addAction(stopCN);
-    addAction(reset);
-    addAction(navUp);
-    addAction(navDown);
-    addAction(navLeft);
-    addAction(navRight);
-    addAction(navRoot);
-
-    addAction(searchNext);
-    addAction(searchAll);
-    addAction(toggleHidden);
-    addAction(hideFailed);
-    addAction(unhideAll);
-    addAction(zoomToFit);
-    addAction(centerCN);
-    addAction(exportPostscript);
-    addAction(print);
-
-    addAction(addVisualisation);
-    addAction(toggleHeatView);
-    addAction(analyzeTree);
-    
-    addAction(setPath);
-    addAction(inspectPath);
-
-    contextMenu = new QMenu(this);
-    contextMenu->addAction(inspectCN);
-    contextMenu->addAction(centerCN);
-
-    contextMenu->addSeparator();
-
-    contextMenu->addAction(searchNext);
-    contextMenu->addAction(searchAll);      
-
-    contextMenu->addSeparator();
-
-    contextMenu->addAction(toggleHidden);
-    contextMenu->addAction(hideFailed);
-    contextMenu->addAction(unhideAll);
-
-    contextMenu->addSeparator();
-
-    contextMenu->addAction(setPath);
-    contextMenu->addAction(inspectPath);
-
-    contextMenu->addSeparator();
-
-    connect(scaleBar, SIGNAL(valueChanged(int)), canvas, SLOT(scaleTree(int)));
-
-    connect(canvas, SIGNAL(scaleChanged(int)), scaleBar, SLOT(setValue(int)));
-    connect(&canvas->searcher, SIGNAL(scaleChanged(int)),
-            scaleBar, SLOT(setValue(int)));
-    
-    layout->addWidget(scrollArea, 0,0);
-    layout->addWidget(scaleBar, 0,1);
-    
-    setLayout(layout);
-
-    canvas->show();
-
-    resize(500, 400);
-
-    // enables on_<sender>_<signal>() mechanism
-    QMetaObject::connectSlotsByName(this);
-  }
-
-  void
-  TreeCanvas::resizeEvent(QResizeEvent*) {
-    canvas->resizeToOuter();
-  }
-
-  void
-  TreeCanvas::setInspector(Inspector* i0) { canvas->setInspector(i0); }
-  
-  TreeCanvas::~TreeCanvas(void) { delete canvas; }
-  
-  void
-  TreeCanvas::on_canvas_contextMenu(QContextMenuEvent* event) {
-    contextMenu->popup(event->globalPos());    
-  }
-
-  void
-  TreeCanvas::on_canvas_statusChanged(const Statistics& stats,
-                                      bool finished) {
-    if (!finished) {
-      inspectCN->setEnabled(false);
-      reset->setEnabled(false);
-      navUp->setEnabled(false);
-      navDown->setEnabled(false);
-      navLeft->setEnabled(false);
-      navRight->setEnabled(false);
-      navRoot->setEnabled(false);
-
-      searchNext->setEnabled(false);
-      searchAll->setEnabled(false);
-      toggleHidden->setEnabled(false);
-      hideFailed->setEnabled(false);
-      unhideAll->setEnabled(false);
-      zoomToFit->setEnabled(false);
-      centerCN->setEnabled(false);
-      exportPostscript->setEnabled(false);
-      print->setEnabled(false);
-
-      setPath->setEnabled(false);
-      inspectPath->setEnabled(false);
-      addVisualisation->setEnabled(false);
-
-      toggleHeatView->setEnabled(false);
-      analyzeTree->setEnabled(false);
-    } else {
-      inspectCN->setEnabled(true);
-      reset->setEnabled(true);
-      navUp->setEnabled(true);
-      navLeft->setEnabled(true);
-      navRight->setEnabled(true);
-      navRoot->setEnabled(true);
-
-      zoomToFit->setEnabled(true);
-      centerCN->setEnabled(true);
-      exportPostscript->setEnabled(true);
-      print->setEnabled(true);
-
-      setPath->setEnabled(true);
-      inspectPath->setEnabled(true);
-      addVisualisation->setEnabled(true);
-
-      toggleHeatView->setEnabled(true);
-      analyzeTree->setEnabled(true);
-    }
-    emit statusChanged(stats,finished);
-  }
-
-  void
-  TreeCanvas::on_canvas_currentNodeChanged(Gecode::Space*, Gecode::Gist::NodeStatus status) {
-    switch (status) {
-        case Gecode::Gist::SOLVED:
-        case Gecode::Gist::FAILED:
-          navDown->setEnabled(false);
-
-          searchNext->setEnabled(false);
-          searchAll->setEnabled(false);
-          toggleHidden->setEnabled(false);
-          hideFailed->setEnabled(false);
-          unhideAll->setEnabled(false);
-
-          break;
-        case Gecode::Gist::UNDETERMINED:
-          navDown->setEnabled(false);
-
-          searchNext->setEnabled(true);
-          searchAll->setEnabled(true);
-          toggleHidden->setEnabled(false);
-          hideFailed->setEnabled(false);
-          unhideAll->setEnabled(false);
-
-          break;
-        case Gecode::Gist::BRANCH:
-        case Gecode::Gist::SPECIAL:
-          navDown->setEnabled(true);
-
-          searchNext->setEnabled(true);
-          searchAll->setEnabled(true);
-          toggleHidden->setEnabled(true);
-          hideFailed->setEnabled(true);
-          unhideAll->setEnabled(true);
-
-          break;
-        case Gecode::Gist::STEP:
-          navDown->setEnabled(true);
-
-          searchNext->setEnabled(true);
-          searchAll->setEnabled(true);
-          toggleHidden->setEnabled(true);
-          hideFailed->setEnabled(false);
-          unhideAll->setEnabled(true);
-
-          break;
-    }
-  }
-  
-  void
-  TreeCanvas::finish(void) {
-    canvas->finish();
-  }
-
-  void
-  TreeCanvas::closeEvent(QCloseEvent* event) {
-    canvas->finish();
-    event->accept();
-  }
-
-  void
-  TreeCanvas::setAutoHideFailed(bool b) { canvas->setAutoHideFailed(b); }
-  void
-  TreeCanvas::setAutoZoom(bool b) { canvas->setAutoZoom(b); }
-  bool
-  TreeCanvas::getAutoHideFailed(void) { return canvas->getAutoHideFailed(); }
-  bool
-  TreeCanvas::getAutoZoom(void) { return canvas->getAutoZoom(); }
-  void
-  TreeCanvas::setRefresh(int i) { canvas->setRefresh(i); }
-
-}}
-
-// STATISTICS: gist-any
-