gecoder-with-gecode 0.9.0 → 0.9.1

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

@@ -1,254 +0,0 @@
-/*
- *  Main authors:
- *     Guido Tack <tack@gecode.org>
- *
- *  Copyright:
- *     Guido Tack, 2006
- *
- *  Last modified:
- *     $Date: 2008-02-15 10:33:03 +0100 (Fri, 15 Feb 2008) $ by $Author: tack $
- *     $Revision: 6172 $
- *
- *  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.icc"
-
-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) {
-
-    QPixmap myPic;
-    myPic.loadFromData(logo, sizeof(logo));
-
-    setMinimumWidth(300);
-    setMaximumWidth(300);
-    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"));
-    resize(500,500);
-
-    menuBar = new QMenuBar(0);
-
-    QMenu* fileMenu = menuBar->addMenu(tr("&File"));
-    fileMenu->addAction(c.print);
-    fileMenu->addAction(c.exportPostscript);
-    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->addSeparator();
-    nodeMenu->addAction(c.toggleHidden);
-    nodeMenu->addAction(c.hideFailed);
-    nodeMenu->addAction(c.unhideAll);
-    nodeMenu->addSeparator();
-    nodeMenu->addAction(c.zoomToFit);
-    nodeMenu->addAction(c.centerCN);
-    
-    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.analyzeTree);
-    toolsMenu->addSeparator();
-    toolsMenu->addAction(c.toggleHeatView);
-    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;
-    
-    connect(&c,SIGNAL(statusChanged(const Statistics&,bool)),
-            this,SLOT(statusChanged(const Statistics&,bool)));
-    
-    show();
-    PreferencesDialog pd(this);
-    c.setAutoHideFailed(pd.hideFailed);
-    c.setAutoZoom(pd.zoom);    
-  }
-
-  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(void) {
-    PreferencesDialog pd(this);
-    if (pd.exec() == QDialog::Accepted) {
-      c.setAutoHideFailed(pd.hideFailed);
-      c.setAutoZoom(pd.zoom);
-      c.setRefresh(pd.refresh);
-    }
-  }
-
-}}
-
-// STATISTICS: gist-any

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

@@ -1,86 +0,0 @@
-/*
- *  Main authors:
- *     Guido Tack <tack@gecode.org>
- *
- *  Copyright:
- *     Guido Tack, 2006
- *
- *  Last modified:
- *     $Date: 2007-12-05 11:37:37 +0100 (Wed, 05 Dec 2007) $ by $Author: tack $
- *     $Revision: 5586 $
- *
- *  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_MAINWINDOW_HH
-#define GECODE_GIST_MAINWINDOW_HH
-
-#include "gecode/gist/treecanvas.hh"
-
-namespace Gecode { namespace Gist {
-  
-  class AboutGist : public QDialog {
-  public:
-    AboutGist(QWidget* parent = 0);
-  };
-  
-  /// \brief Main window for stand-alone %Gist
-  class GistMainWindow : public QMainWindow {
-    Q_OBJECT
-  protected:
-    /// The contained tree canvas
-    TreeCanvas c;
-    /// A menu bar
-    QMenuBar* menuBar;
-    /// About dialog
-    AboutGist aboutGist;
-    
-    /// Whether search is currently running
-    bool isSearching;
-    /// Status bar label for number of solutions
-    QLabel* solvedLabel;
-    /// Status bar label for number of failures
-    QLabel* failedLabel;
-    /// Status bar label for number of choices
-    QLabel* choicesLabel;
-    /// Status bar label for number of open nodes
-    QLabel* openLabel;
-  protected Q_SLOTS:
-    void statusChanged(const Statistics& stats, bool finished);
-    void about(void);
-    void preferences(void);
-  public:
-    /// Constructor
-    GistMainWindow(Space* root, Better* b, Gist::Inspector* gi);
-  protected:
-    void closeEvent(QCloseEvent* event);
-  };
-  
-}}
-
-#endif
-
-
-// STATISTICS: gist-any

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

@@ -1,100 +0,0 @@
-/*
- *  Main authors:
- *     Guido Tack <tack@gecode.org>
- *
- *  Copyright:
- *     Guido Tack, 2006
- *
- *  Last modified:
- *     $Date: 2007-12-05 20:01:01 +0100 (Wed, 05 Dec 2007) $ by $Author: nikopp $
- *     $Revision: 5601 $
- *
- *  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/node.hh"
-#include <cassert>
-
-namespace Gecode { namespace Gist {
-  
-  Node::Node(void) : parent(NULL), children(0), noOfChildren(-1) {}
-
-  Node::~Node(void) {
-    for (std::vector<Node*>::iterator i=children.begin(); i != children.end(); ++i)
-      delete *i;
-  }
-
-  Node*
-  Node::getParent(void) { return parent; }
-
-  Node*
-  Node::getChild(int n) { return children[n]; }
-    
-  bool
-  Node::isRoot(void) { return parent == NULL; }
-
-  int
-  Node::getDepth(void) { return isRoot() ? 1 : parent->getDepth() + 1; }
-    
-  void
-  Node::setNumberOfChildren(int n) {
-    assert(noOfChildren == -1);
-    noOfChildren = n;
-    children.resize(n);
-    for (int i=n; i--;)
-      children[i] = NULL;
-  }
-
-  void
-  Node::setChild(int n, Node* child) {
-    assert(noOfChildren > n);
-    children[n] = child;
-    child->parent = this;
-    child->alternative = n;
-  }
-
-  void
-  Node::addChild(Node* child) {
-    if(noOfChildren == -1)
-      setNumberOfChildren(0);
-
-    child->parent = this;
-    child->alternative = noOfChildren;
-    children.resize(++noOfChildren);
-    children[noOfChildren-1] = child;
-  }
-
-  int
-  Node::getNumberOfChildren(void) {
-    return noOfChildren;
-  }
-  
-  int
-  Node::getAlternative(void) {
-    return alternative;
-  }
-}}
-
-// STATISTICS: gist-any

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

@@ -1,89 +0,0 @@
-/*
- *  Main authors:
- *     Guido Tack <tack@gecode.org>
- *
- *  Copyright:
- *     Guido Tack, 2006
- *
- *  Last modified:
- *     $Date: 2007-11-27 17:43:23 +0100 (Tue, 27 Nov 2007) $ by $Author: nikopp $
- *     $Revision: 5460 $
- *
- *  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_NODE_HH
-#define GECODE_GIST_NODE_HH
-
-#include <vector>
-
-namespace Gecode { namespace Gist {
-
-  /// \brief Base class for nodes of the search tree
-  class Node {
-  protected:
-    /// The parent of this node, or NULL for the root
-    Node* parent;
-    /// The children of this node
-    std::vector<Node*> children;
-    /// The number of children of this node
-    int noOfChildren;
-    /// The alternative number this node represents
-    int alternative;
-  public:
-    /// Default constructor
-    Node(void);
-    /// Destructor
-    virtual ~Node(void);
-    
-    /// Return the parent
-    Node* getParent(void);
-    /// Return child no \a n
-    Node* getChild(int n);
-    
-    /// Check if this node is the root of a tree
-    bool isRoot(void);
-    /// Compute the depth of this node
-    int getDepth(void);
-    
-    /// Set the number of children to \a n
-    void setNumberOfChildren(int n);
-    /// Set child number \a n to be \a child
-    void setChild(int n, Node* child);
-
-    /// Add new child node
-    void addChild(Node* child);
-
-    /// Return the number of children
-    int getNumberOfChildren(void);
-    /// Return which alternative this node represents
-    int getAlternative(void);
-  };
-
-}}
-
-#endif
-
-// STATISTICS: gist-any