gecoder-with-gecode 0.9.0 → 0.9.1

data/ext/gecode-2.2.0/gecode/gist/gecodelogo.hh

@@ -0,0 +1,64 @@
+/*
+ *  Main authors:
+ *     Guido Tack <tack@gecode.org>
+ *
+ *  Copyright:
+ *     Guido Tack, 2006
+ *
+ *  Last modified:
+ *     $Date: 2008-08-20 18:45:46 +0200 (Wed, 20 Aug 2008) $ by $Author: schulte $
+ *     $Revision: 7669 $
+ *
+ *  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_GECODELOGO_HH_
+#define __GECODE_GIST_GECODELOGO_HH_
+
+namespace Gecode { namespace Gist {
+  
+  /// Class holding Gecode and Gist logo icons
+  class Logos {
+  public:
+    /// The Gecode logo
+    const unsigned char* logo;
+    /// Size of the Gecode logo
+    const unsigned int logoSize;
+  
+    /// A smaller logo used as a window icon
+    const unsigned char* gistLogo;
+    /// Size of the smaller logo
+    const unsigned int gistLogoSize;
+    
+    /// Constructor
+    Logos(void);
+  };
+  
+
+}}
+
+#endif
+
+// STATISTICS: gist-any

data/ext/gecode-2.2.0/gecode/gist/layoutcursor.cc

@@ -0,0 +1,115 @@
+/*
+ *  Main authors:
+ *     Guido Tack <tack@gecode.org>
+ *
+ *  Copyright:
+ *     Guido Tack, 2006
+ *
+ *  Last modified:
+ *     $Date: 2008-07-11 15:48:58 +0200 (Fri, 11 Jul 2008) $ by $Author: schulte $
+ *     $Revision: 7366 $
+ *
+ *  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/layoutcursor.hh"
+
+namespace Gecode { namespace Gist {
+
+  Shape*
+  Shape::allocate(Extent e, const Shape* subShape) {
+    Shape* shape = Shape::allocate(subShape->depth() + 1);
+    (*shape)[0] = e;
+    for (int i=subShape->depth(); i--;) {
+      (*shape)[i+1] = (*subShape)[i];
+    }
+    return shape;
+  }
+  
+  Shape*
+  Shape::allocate(const Shape* subShape) {
+    Shape* shape = Shape::allocate(subShape->depth());
+    for (int i=subShape->depth(); i--;) {
+      (*shape)[i] = (*subShape)[i];
+    }    
+    return shape;
+  }
+    
+  bool
+  Shape::getExtentAtDepth(int depth, Extent& extent) {
+    if (depth > _depth)
+      return false;
+    extent = Extent(0,0);
+    for (int i=0; i <= depth; i++) {
+      Extent currentExtent = shape[i];
+      extent.l += currentExtent.l;
+      extent.r += currentExtent.r;
+    }
+    return true;
+  }
+  
+  BoundingBox
+  Shape::getBoundingBox(void) {
+    int lastLeft = 0;
+    int lastRight = 0;
+    int left = 0;
+    int right = 0;
+    for (int i=0; i<_depth; i++) {
+      Extent curExtent = shape[i];
+      lastLeft = lastLeft + curExtent.l;
+      lastRight = lastRight + curExtent.r;
+      if (lastLeft < left)
+        left = lastLeft;
+      if (lastRight > right)
+        right = lastRight;
+    }
+    return BoundingBox(left, right);
+  }
+  
+  LayoutCursor::LayoutCursor(VisualNode* theNode)
+   : NodeCursor<VisualNode>(theNode) {}
+      
+  void
+  LayoutCursor::processCurrentNode() {
+    VisualNode* currentNode = node();
+    if (currentNode->isDirty()) {
+      Extent extent(Layout::extent);
+      unsigned int numberOfChildren = currentNode->getNumberOfChildren();
+      if (currentNode->isHidden()) {
+        currentNode->setShape(Shape::hidden);
+      } else if (numberOfChildren < 1) {
+        currentNode->setShape(Shape::leaf);
+      } else {
+        currentNode->computeShape();
+      }
+      currentNode->setDirty(false);
+    }
+    if (currentNode->getNumberOfChildren() >= 1)
+      currentNode->setChildrenLayoutDone(true);
+  }
+    
+}}
+
+// STATISTICS: gist-any

data/ext/gecode-2.2.0/gecode/gist/layoutcursor.hh

@@ -0,0 +1,75 @@
+/*
+ *  Main authors:
+ *     Guido Tack <tack@gecode.org>
+ *
+ *  Copyright:
+ *     Guido Tack, 2006
+ *
+ *  Last modified:
+ *     $Date: 2008-07-11 15:48:58 +0200 (Fri, 11 Jul 2008) $ by $Author: schulte $
+ *     $Revision: 7366 $
+ *
+ *  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_LAYOUTCURSOR_HH
+#define GECODE_GIST_LAYOUTCURSOR_HH
+
+#include "gecode/gist/nodecursor.hh"
+#include "gecode/gist/visualnode.hh"
+
+namespace Gecode { namespace Gist {
+  
+  /// \brief Layout parameters
+  class Layout {
+  public:
+    static const int dist_y = 38;
+    static const int extent = 20;
+    static const int minimalSeparation = 10;
+  };
+
+  
+  /// \brief A cursor that computes a tree layout for VisualNodes
+  class LayoutCursor : public NodeCursor<VisualNode> {
+  public:
+    /// Constructor
+    LayoutCursor(VisualNode* theNode);
+
+    /// \name Cursor interface
+    //@{
+    /// Test if the cursor may move to the first child node
+    bool mayMoveDownwards(void);
+    /// Compute layout for current node
+    void processCurrentNode(void);
+    //@}
+  };
+
+}}
+
+#include "gecode/gist/layoutcursor.icc"
+
+#endif
+
+// STATISTICS: gist-any

data/ext/gecode-2.2.0/gecode/gist/layoutcursor.icc

@@ -0,0 +1,48 @@
+/*
+ *  Main authors:
+ *     Guido Tack <tack@gecode.org>
+ *
+ *  Copyright:
+ *     Guido Tack, 2006
+ *
+ *  Last modified:
+ *     $Date: 2008-07-11 15:48:58 +0200 (Fri, 11 Jul 2008) $ by $Author: schulte $
+ *     $Revision: 7366 $
+ *
+ *  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.
+ *
+ */
+
+namespace Gecode { namespace Gist {
+  
+  forceinline bool
+  LayoutCursor::mayMoveDownwards(void) {
+    return NodeCursor<VisualNode>::mayMoveDownwards() &&
+           node()->isDirty() /*&&
+           (! n->isHidden() )*/;
+  }
+
+}}
+
+// STATISTICS: gist-any

data/ext/gecode-2.2.0/gecode/gist/mainwindow.cc

@@ -0,0 +1,274 @@
+/*
+ *  Main authors:
+ *     Guido Tack <tack@gecode.org>
+ *
+ *  Copyright:
+ *     Guido Tack, 2006
+ *
+ *  Last modified:
+ *     $Date: 2008-07-26 22:53:19 +0200 (Sat, 26 Jul 2008) $ by $Author: tack $
+ *     $Revision: 7427 $
+ *
+ *  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/mainwindow.hh"
+#include "gecode/gist/preferences.hh"
+#include "gecode/gist/drawingcursor.hh"
+
+#include "gecode/gist/gecodelogo.hh"
+
+namespace Gecode { namespace Gist {
+  
+  class StatusBarNode : public QWidget {
+  public:
+    StatusBarNode(NodeStatus s) : status(s) {
+      setMinimumSize(22,22);
+      setMaximumSize(22,22);
+    }
+  protected:
+    NodeStatus status;
+    void paintEvent(QPaintEvent*) {
+      QPainter painter(this);
+      painter.setRenderHint(QPainter::Antialiasing);
+      int hw= width()/2;
+      int myx = hw+2; int myy = 2;
+      switch (status) {
+        case SOLVED:
+          {
+            QPoint points[4] = {QPoint(myx,myy),
+                                QPoint(myx+8,myy+8),
+                                QPoint(myx,myy+16),
+                                QPoint(myx-8,myy+8)
+                               };
+            painter.setBrush(QBrush(DrawingCursor::green));
+            painter.drawConvexPolygon(points, 4);            
+          }
+          break;
+        case FAILED:
+          {
+            painter.setBrush(QBrush(DrawingCursor::red));
+            painter.drawRect(myx-6, myy+2, 12, 12);
+          }
+          break;
+        case BRANCH:
+          {
+            painter.setBrush(QBrush(DrawingCursor::blue));
+            painter.drawEllipse(myx-8, myy, 16, 16);            
+          }
+          break;
+        case UNDETERMINED:
+          {
+            painter.setBrush(QBrush(Qt::white));
+            painter.drawEllipse(myx-8, myy, 16, 16);            
+          }
+          break;
+        default:
+          break;
+      }
+      
+    }
+  };
+  
+  AboutGist::AboutGist(QWidget* parent) : QDialog(parent) {
+
+    Logos logos;
+    QPixmap myPic;
+    myPic.loadFromData(logos.logo, logos.logoSize);
+
+    QPixmap myPic2;
+    myPic2.loadFromData(logos.gistLogo, logos.gistLogoSize);
+    setWindowIcon(myPic2);
+
+
+    setMinimumSize(300, 240);
+    setMaximumSize(300, 240);
+    QVBoxLayout* layout = new QVBoxLayout();
+    QLabel* logo = new QLabel();
+    logo->setPixmap(myPic);
+    layout->addWidget(logo, 0, Qt::AlignCenter);
+    QLabel* aboutLabel =
+      new QLabel(tr("<h2>Gist</h2>"
+                     "<p><b>The Gecode Interactive Search Tool</b</p> "
+                    "<p>You can find more information about Gecode and Gist "
+                    "at</p>"
+                    "<p><a href='http://www.gecode.org'>www.gecode.org</a>"
+                    "</p"));
+    aboutLabel->setOpenExternalLinks(true);
+    aboutLabel->setWordWrap(true);
+    aboutLabel->setAlignment(Qt::AlignCenter);
+    layout->addWidget(aboutLabel);
+    setLayout(layout);
+    setWindowTitle(tr("About Gist"));
+    setAttribute(Qt::WA_QuitOnClose, false);
+    setAttribute(Qt::WA_DeleteOnClose, false);
+  }
+  
+  GistMainWindow::GistMainWindow(Space* root, Better* b,
+                                 Gist::Inspector* gi)
+  : c(root,b,this), aboutGist(this) {
+    if (gi != NULL)
+      c.setInspector(gi);
+    setCentralWidget(&c);
+    setWindowTitle(tr("Gist"));
+
+    Logos logos;
+    QPixmap myPic;
+    myPic.loadFromData(logos.gistLogo, logos.gistLogoSize);
+    setWindowIcon(myPic);
+
+    resize(500,500);
+    setMinimumSize(400, 200);
+
+    menuBar = new QMenuBar(0);
+
+    QMenu* fileMenu = menuBar->addMenu(tr("&File"));
+    fileMenu->addAction(c.print);
+#if QT_VERSION >= 0x040400
+    fileMenu->addAction(c.exportWholeTreePDF);
+#endif
+    QAction* quitAction = fileMenu->addAction(tr("Quit"));
+    quitAction->setShortcut(QKeySequence("Ctrl+Q"));
+    connect(quitAction, SIGNAL(triggered()),
+            this, SLOT(close()));
+    QAction* prefAction = fileMenu->addAction(tr("Preferences"));
+    connect(prefAction, SIGNAL(triggered()), this, SLOT(preferences()));
+    
+    QMenu* nodeMenu = menuBar->addMenu(tr("&Node"));
+    nodeMenu->addAction(c.inspectCN);
+    nodeMenu->addAction(c.setPath);
+    nodeMenu->addAction(c.inspectPath);
+    nodeMenu->addSeparator();
+    nodeMenu->addAction(c.navUp);
+    nodeMenu->addAction(c.navDown);
+    nodeMenu->addAction(c.navLeft);
+    nodeMenu->addAction(c.navRight);
+    nodeMenu->addAction(c.navRoot);
+    nodeMenu->addAction(c.navNextSol);
+    nodeMenu->addAction(c.navPrevSol);
+    nodeMenu->addSeparator();
+    nodeMenu->addAction(c.toggleHidden);
+    nodeMenu->addAction(c.hideFailed);
+    nodeMenu->addAction(c.unhideAll);
+    nodeMenu->addSeparator();
+    nodeMenu->addAction(c.zoomToFit);
+    nodeMenu->addAction(c.centerCN);
+#if QT_VERSION >= 0x040400
+    nodeMenu->addAction(c.exportPDF);
+#endif
+    
+    QMenu* searchMenu = menuBar->addMenu(tr("&Search"));
+    searchMenu->addAction(c.searchNext);
+    searchMenu->addAction(c.searchAll);
+    searchMenu->addSeparator();
+    searchMenu->addAction(c.stopCN);
+    searchMenu->addSeparator();
+    searchMenu->addAction(c.reset);
+
+    QMenu* toolsMenu = menuBar->addMenu(tr("&Tools"));
+    toolsMenu->addAction(c.addVisualisation);
+    
+    QMenu* helpMenu = menuBar->addMenu(tr("&Help"));
+    QAction* aboutAction = helpMenu->addAction(tr("About"));
+    connect(aboutAction, SIGNAL(triggered()),
+            this, SLOT(about()));
+
+    // Don't add the menu bar on Mac OS X
+#ifndef Q_WS_MAC
+    setMenuBar(menuBar);
+#endif
+
+    // Set up status bar
+    QWidget* stw = new QWidget();
+    QHBoxLayout* hbl = new QHBoxLayout();
+    hbl->setContentsMargins(0,0,0,0);
+    hbl->addWidget(new StatusBarNode(SOLVED));
+    solvedLabel = new QLabel("0");
+    hbl->addWidget(solvedLabel);
+    hbl->addWidget(new StatusBarNode(FAILED));
+    failedLabel = new QLabel("0");
+    hbl->addWidget(failedLabel);
+    hbl->addWidget(new StatusBarNode(BRANCH));
+    choicesLabel = new QLabel("0");
+    hbl->addWidget(choicesLabel);
+    hbl->addWidget(new StatusBarNode(UNDETERMINED));
+    openLabel = new QLabel("     0");
+    hbl->addWidget(openLabel);
+    stw->setLayout(hbl);
+    statusBar()->addPermanentWidget(stw);
+    
+    isSearching = false;
+    statusBar()->showMessage("Ready");
+    
+    connect(&c,SIGNAL(statusChanged(const Statistics&,bool)),
+            this,SLOT(statusChanged(const Statistics&,bool)));
+    
+    preferences(true);
+    show();
+    c.reset->trigger();
+  }
+
+  void
+  GistMainWindow::closeEvent(QCloseEvent* event) {
+    c.finish();
+    event->accept();
+  }
+
+  void
+  GistMainWindow::statusChanged(const Statistics& stats, bool finished) {
+    if (isSearching && finished) {
+      statusBar()->showMessage("Ready");
+      isSearching = false;
+    } else if (!isSearching && !finished) {
+      statusBar()->showMessage("Searching");
+      isSearching = true;
+    }
+    solvedLabel->setNum(stats.solutions);
+    failedLabel->setNum(stats.failures);
+    choicesLabel->setNum(stats.choices);
+    openLabel->setNum(stats.undetermined);
+  }
+
+  void
+  GistMainWindow::about(void) {
+    aboutGist.show();
+  }
+
+  void
+  GistMainWindow::preferences(bool setup) {
+    PreferencesDialog pd(this);
+    if (setup) {
+      c.setAutoZoom(pd.zoom);      
+    }
+    if (setup || pd.exec() == QDialog::Accepted) {
+      c.setAutoHideFailed(pd.hideFailed);
+      c.setRefresh(pd.refresh);
+      c.setSmoothScrollAndZoom(pd.smoothScrollAndZoom);
+    }
+  }
+
+}}
+
+// STATISTICS: gist-any