gecoder-with-gecode 0.9.0 → 0.9.1

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

@@ -1,115 +0,0 @@
-/*
- *  Main authors:
- *     Guido Tack <tack@gecode.org>
- *
- *  Copyright:
- *     Guido Tack, 2006
- *
- *  Last modified:
- *     $Date: 2008-02-06 18:48:22 +0100 (Wed, 06 Feb 2008) $ by $Author: schulte $
- *     $Revision: 6102 $
- *
- *  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 "gecode/gist/analysiscursor.hh"
-
-#include "gecode/int.hh"
-
-namespace Gecode { namespace Gist {
-
-  void
-  AnalysisCursor::processTopDown(void) {
-    VisualNode* n = node();
-    if (n->getStatus() == UNDETERMINED)
-      return;
-    Space* s = n->getSpace();
-    Reflection::VarMap vm;
-    s->getVars(vm, false);
-    int h = 0;
-    for (Reflection::ActorSpecIter si(s, vm); si(); ++si) {}
-    for (Reflection::VarMapIter vmi(vm); vmi(); ++vmi) {
-      if (vmi.spec().vti() == Int::IntVarImp::vti) {
-        Reflection::IntArrayArgRanges ia(vmi.spec().dom()->toIntArray());
-        h += Iter::Ranges::size(ia);
-      }
-    }
-    n->setHeat(h);
-    delete s;    
-  }
-
-  void
-  AnalysisCursor::moveDownwards(void) {
-    NodeCursor<VisualNode>::moveDownwards();
-    processTopDown();
-  }
-
-  void
-  AnalysisCursor::moveSidewards(void) {
-    NodeCursor<VisualNode>::moveSidewards();
-    processTopDown();
-  }
-
-  void
-  AnalysisCursor::processCurrentNode(void) {
-    VisualNode* n = node();
-    if (n->getStatus() == UNDETERMINED)
-      return;
-    VisualNode* p = n->getParent();
-    if (p == NULL) {
-      n->setHeat(0);
-    } else {
-      int h = p->getHeat() - n->getHeat();
-      n->setHeat(h);
-      maxHeat = std::max(maxHeat, h);
-      minHeat = std::min(minHeat, h);
-    }
-  }
-
-  AnalysisCursor::AnalysisCursor(VisualNode* root, int& min, int& max)
-  : NodeCursor<VisualNode>(root), minHeat(min), maxHeat(max) {
-    minHeat = Gecode::Int::Limits::max;
-    maxHeat = 0;
-    processTopDown();
-  }
-
-  DistributeCursor::DistributeCursor(VisualNode* root, int min, int max)
-  : NodeCursor<VisualNode>(root), minHeat(min), maxHeat(max) {}
-
-  void
-  DistributeCursor::processCurrentNode(void) {
-    VisualNode* n = node();
-    if (n->getParent() != NULL) {
-      int h = static_cast<int>(((static_cast<double>(n->getHeat()) - static_cast<double>(minHeat)) / 
-               (static_cast<double>(maxHeat)-static_cast<double>(minHeat))) * 255);
-      n->setHeat(h);
-    } else {
-      n->setHeat(0);
-    }
-  }
-
-}}
-
-// STATISTICS: gist-any

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

@@ -1,77 +0,0 @@
-/*
- *  Main authors:
- *     Guido Tack <tack@gecode.org>
- *
- *  Copyright:
- *     Guido Tack, 2006
- *
- *  Last modified:
- *     $Date: 2007-12-02 17:24:21 +0100 (Sun, 02 Dec 2007) $ by $Author: schulte $
- *     $Revision: 5544 $
- *
- *  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_ANALYSISCURSOR_HH
-#define GECODE_GIST_ANALYSISCURSOR_HH
-
-#include "gecode/gist/nodecursor.hh"
-
-namespace Gecode { namespace Gist {
-
-  /// \brief A cursor that analyses the tree
-  class AnalysisCursor : public NodeCursor<VisualNode> {
-  private:
-    int& minHeat;
-    int& maxHeat;
-    
-    void processTopDown(void);
-  public:
-    /// Constructor
-    AnalysisCursor(VisualNode* root, int& min, int& max);
-
-    ///\name Cursor interface
-    //@{
-    void moveDownwards(void);
-    void moveSidewards(void);
-    void processCurrentNode(void);
-    //@}
-  };
-
-  class DistributeCursor : public NodeCursor<VisualNode> {
-  private:
-    int minHeat;
-    int maxHeat;
-  public:
-    /// Constructor
-    DistributeCursor(VisualNode* root, int min, int max);
-    void processCurrentNode(void);
-  };
-
-}}
-
-#endif
-
-// STATISTICS: gist-any

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

@@ -1,245 +0,0 @@
-/*
- *  Main authors:
- *     Guido Tack <tack@gecode.org>
- *
- *  Copyright:
- *     Guido Tack, 2006
- *
- *  Last modified:
- *     $Date: 2008-03-04 13:25:21 +0100 (Tue, 04 Mar 2008) $ by $Author: tack $
- *     $Revision: 6404 $
- *
- *  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 "gecode/gist/drawingcursor.hh"
-
-namespace Gecode { namespace Gist {
-  
-  /// Red color for failed nodes
-  const QColor DrawingCursor::red(218, 37, 29);
-  /// Green color for solved nodes
-  const QColor DrawingCursor::green(11, 118, 70);
-  /// Blue color for choice nodes
-  const QColor DrawingCursor::blue(0, 92, 161);
-  /// Orange color for best solutions
-  const QColor DrawingCursor::orange(235, 137, 27);
-
-  /// Red color for expanded failed nodes
-  const QColor DrawingCursor::lightRed(218, 37, 29, 120);
-  /// Green color for expanded solved nodes
-  const QColor DrawingCursor::lightGreen(11, 118, 70, 120);
-  /// Blue color for expanded choice nodes
-  const QColor DrawingCursor::lightBlue(0, 92, 161, 120);
-  
-  DrawingCursor::DrawingCursor(Gist::VisualNode* root, QPainter& painter0,
-                               bool heat,
-                               const QRect& clippingRect0)
-    : NodeCursor<VisualNode>(root), painter(painter0), 
-      clippingRect(clippingRect0), x(0), y(0), heatView(heat) {}
-
-  void
-  DrawingCursor::moveUpwards(void) { 
-    x -= node()->getOffset();
-    y -= 38;
-    NodeCursor<VisualNode>::moveUpwards();
-  }
-
-  bool
-  DrawingCursor::mayMoveDownwards(void) {
-    return NodeCursor<VisualNode>::mayMoveDownwards() &&
-           !node()->isHidden() &&
-           node()->childrenLayoutIsDone() &&
-           !isClipped();
-  }
-
-  void
-  DrawingCursor::moveDownwards(void) {
-    NodeCursor<VisualNode>::moveDownwards();
-    x += node()->getOffset();
-    y += 38;
-  }
-
-  void
-  DrawingCursor::moveSidewards(void) {
-    x -= node()->getOffset();
-    NodeCursor<VisualNode>::moveSidewards();
-    x += node()->getOffset();
-  }
-
-  bool
-  DrawingCursor::isClipped(void) {
-    if (clippingRect.width() == 0 && clippingRect.x() == 0
-        && clippingRect.height() == 0 && clippingRect.y() == 0)
-      return false;
-    BoundingBox b = node()->getBoundingBox();
-    return (x + b.left > clippingRect.x() + clippingRect.width() ||
-            x + b.right < clippingRect.x() || 
-            y > clippingRect.y() + clippingRect.height() ||
-            y + (b.depth+1) * 38 < clippingRect.y());
-  }
-  
-  void
-  DrawingCursor::processCurrentNode(void) {
-    Gist::VisualNode* n = node();
-    int parentX = x - (n->getOffset());
-    int parentY = y - 38 + 20;
-
-    int myx = x;
-    int myy = y;
-
-    // Calculate HSV hue level from heat
-    int heat = (240 + static_cast<int>(((n->getHeat() / 256.0) * 180.0))) % 360;
-
-    if (! n->isRoot()) {
-      if (heatView) {
-        if (n->isOnPath())
-          painter.setPen(Qt::green);
-        else
-          painter.setPen(Qt::gray);        
-      } else {
-        if (n->isOnPath())
-          painter.setPen(Qt::red);
-        else
-          painter.setPen(Qt::black);
-      }
-      QPainterPath path;
-      path.moveTo(myx,myy);
-      path.lineTo(parentX,parentY);
-      painter.drawPath(path);
-    }
-
-    // draw shadow
-    int shadowOffset = 3;
-    if (n->isMarked()) {
-      painter.setBrush(Qt::gray);
-      painter.setPen(Qt::NoPen);
-      if (n->isHidden()) {
-        QPoint points[3] = {QPoint(myx+shadowOffset,myy+shadowOffset),
-                            QPoint(myx+20+shadowOffset,myy+60+shadowOffset),
-                            QPoint(myx-20+shadowOffset,myy+60+shadowOffset),
-                           };
-        painter.drawConvexPolygon(points, 3);
-        
-      } else {
-        switch (n->getStatus()) {
-        case Gist::STEP:
-        case Gist::SPECIAL:
-                painter.drawEllipse(myx-5+shadowOffset, myy+shadowOffset, 10, 20);
-                break;
-        case Gist::SOLVED:
-          {
-            QPoint points[4] = {QPoint(myx+shadowOffset,myy+shadowOffset),
-                                QPoint(myx+10+shadowOffset,myy+10+shadowOffset),
-                                QPoint(myx+shadowOffset,myy+20+shadowOffset),
-                                QPoint(myx-10+shadowOffset,myy+10+shadowOffset)
-                               };
-            painter.drawConvexPolygon(points, 4);
-          }
-          break;
-        case Gist::FAILED:
-          painter.drawRect(myx-7+shadowOffset, myy+shadowOffset, 14, 14);
-          break;
-        case Gist::BRANCH:
-          painter.drawEllipse(myx-10+shadowOffset, myy+shadowOffset, 20, 20);
-          break;
-        case Gist::UNDETERMINED:
-          painter.drawEllipse(myx-10+shadowOffset, myy+shadowOffset, 20, 20);
-          break;
-        }
-      }        
-    }
-
-    painter.setPen(Qt::SolidLine);
-    if (n->isHidden()) {
-      painter.setBrush(QBrush(red));
-      QPoint points[3] = {QPoint(myx,myy),
-                          QPoint(myx+20,myy+60),
-                          QPoint(myx-20,myy+60),
-                         };
-      painter.drawConvexPolygon(points, 3);
-    } else {
-      switch (n->getStatus()) {
-      case Gist::STEP:
-      case Gist::SPECIAL:
-        painter.setBrush(Qt::yellow);
-        painter.drawEllipse(myx-5, myy+10, 10, 10);
-        if (heatView) {
-          if (n->isOnPath())
-            painter.setPen(Qt::green);
-          else
-            painter.setPen(Qt::gray);        
-        } else {
-          if (n->isOnPath())
-            painter.setPen(Qt::red);
-          else
-            painter.setPen(Qt::black);
-        }
-        painter.drawLine(myx, myy, myx, myy+10);
-        break;
-      case Gist::SOLVED:
-        {
-          if (heatView) {
-            painter.setBrush(QBrush(QColor::fromHsv(heat,255,255)));
-          } else if (n->isCurrentBest()) {
-            painter.setBrush(QBrush(orange));
-          } else {
-            painter.setBrush(QBrush(green));
-          }
-          QPoint points[4] = {QPoint(myx,myy),
-                              QPoint(myx+10,myy+10),
-                              QPoint(myx,myy+20),
-                              QPoint(myx-10,myy+10)
-                             };
-          painter.drawConvexPolygon(points, 4);
-        }
-        break;
-      case Gist::FAILED:
-        if (heatView)
-          painter.setBrush(QBrush(QColor::fromHsv(heat,255,255)));
-        else
-          painter.setBrush(QBrush(red));
-        painter.drawRect(myx-7, myy, 14, 14);
-        break;
-      case Gist::BRANCH:
-        if (heatView)
-          painter.setBrush(QBrush(QColor::fromHsv(heat,255,255)));
-        else
-          painter.setBrush(QBrush(blue));
-        painter.drawEllipse(myx-10, myy, 20, 20);
-        break;
-      case Gist::UNDETERMINED:
-        painter.setBrush(Qt::white);
-        painter.drawEllipse(myx-10, myy, 20, 20);
-        break;
-      }
-    	
-    }
-    
-  }
-  
-}}
-
-// STATISTICS: gist-any

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

@@ -1,101 +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_QT_DRAWINGCURSOR_HH
-#define GECODE_GIST_QT_DRAWINGCURSOR_HH
-
-#include "gecode/gist/nodecursor.hh"
-#include <QtGui>
-
-namespace Gecode { namespace Gist {
-
-  /// \brief A cursor that draws a tree on a QWidget
-  class DrawingCursor : public Gist::NodeCursor<VisualNode> {
-  private:
-    /// The painter where the tree is drawn
-    QPainter& painter;
-    /// The clipping area
-    QRect clippingRect;
-    /// The current coordinates
-    int x, y;
-    
-    /// Whether to draw heat view
-    bool heatView;
-    
-    /// Test if current node is clipped
-    bool isClipped(void);
-  public:
-    /// The color for failed nodes
-    static const QColor red;
-    /// The color for solved nodes
-    static const QColor green;
-    /// The color for choice nodes
-    static const QColor blue;
-    /// The color for the best solution
-    static const QColor orange;
-
-    /// The color for expanded failed nodes
-    static const QColor lightRed;
-    /// The color for expanded solved nodes
-    static const QColor lightGreen;
-    /// The color for expanded choice nodes
-    static const QColor lightBlue;
-    
-    /// Constructor
-    DrawingCursor(Gist::VisualNode* root, QPainter& painter0,
-                  bool heat,
-                  const QRect& clippingRect0);
-
-    ///\name Cursor interface
-    //@{
-    /// Move cursor to parent
-    void moveUpwards(void);
-    /// Test if cursor may move to child
-    bool mayMoveDownwards(void);
-    /// Move cursor to child
-    void moveDownwards(void);
-    /// Move cursor to sibling
-    void moveSidewards(void);
-    /// Draw the node
-    void processCurrentNode(void);
-    //@}
-  };
-
-}}
-
-#endif
-
-// STATISTICS: gist-any