gecoder-with-gecode 0.9.0 → 0.9.1

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

@@ -0,0 +1,361 @@
+/*
+ *  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.
+ *
+ */
+
+#ifndef GECODE_GIST_TREECANVAS_HH
+#define GECODE_GIST_TREECANVAS_HH
+
+#include <QtGui>
+
+#include "gecode/kernel.hh"
+#include "gecode/gist.hh"
+
+#include "gecode/gist/visualnode.hh"
+
+namespace Gecode {  namespace Gist {
+  
+  class TreeCanvasImpl;
+  
+  class SearcherThread : public QThread {
+    Q_OBJECT
+  private:
+    VisualNode* node;
+    bool a;
+    TreeCanvasImpl* t;
+    void updateCanvas(void);
+  public:
+    void search(VisualNode* n, bool all, TreeCanvasImpl* ti);
+    
+  Q_SIGNALS:
+    void update(int w, int h, int scale0);
+    void statusChanged(bool);
+    void scaleChanged(int);
+    
+  protected:
+    void run(void);
+  };
+
+  /// \brief Implementation of the TreeCanvas
+  class GECODE_GIST_EXPORT TreeCanvasImpl : public QWidget {
+    Q_OBJECT
+
+    friend class SearcherThread;
+    friend class TreeCanvas;
+
+  public:
+    /// Constructor
+    TreeCanvasImpl(Space* rootSpace, Better* b, QWidget* parent = NULL);
+    /// Destructor
+    ~TreeCanvasImpl(void);
+
+    /// Set Inspector to \a i0
+    void setInspector(Inspector* i);
+
+  public Q_SLOTS:
+    /// Set scale factor to \a scale0
+    void scaleTree(int scale0);
+    
+    /// Explore complete subtree of selected node
+    void searchAll(void);
+    /// Find next solution below selected node
+    void searchOne(void);
+    /// Toggle hidden state of selected node
+    void toggleHidden(void);
+    /// Hide failed subtrees of selected node
+    void hideFailed(void);
+    /// Unhide all nodes below selected node
+    void unhideAll(void);
+    /// Export pdf of the current subtree
+    void exportPDF(void);
+    /// Export pdf of the whole tree
+    void exportWholeTreePDF(void);
+    /// Print the tree
+    void print(void);
+    /// Zoom the canvas so that the whole tree fits
+    void zoomToFit(void);
+    /// Center the view on the currently selected node
+    void centerCurrentNode(void);
+    /// Call the inspector for the currently selected node
+    void inspectCurrentNode(void);
+        
+    /// Stop current search
+    void stopSearch(void);
+    
+    /// Reset
+    void reset(void);
+    
+    /// Move selection to the parent of the selected node
+    void navUp(void);
+    /// Move selection to the first child of the selected node
+    void navDown(void);
+    /// Move selection to the left sibling of the selected node
+    void navLeft(void);
+    /// Move selection to the right sibling of the selected node
+    void navRight(void);
+    /// Move selection to the root node
+    void navRoot(void);
+    /// Move selection to next solution (in DFS order)
+    void navNextSol(bool back = false);
+    /// Move selection to previous solution (in DFS order)
+    void navPrevSol(void);
+    /// Recall selection of point in time \a pit
+    void markCurrentNode(int pit);
+    
+    /// Set the current node to be the head of the path
+    void setPath(void);
+    /// Call the inspector for all nodes on the path from root to head of the path
+    void inspectPath(void);
+
+    /// Set preference whether to automatically hide failed subtrees
+    void setAutoHideFailed(bool b);
+    /// Set preference whether to automatically zoom to fit
+    void setAutoZoom(bool b);
+    /// Return preference whether to automatically hide failed subtrees
+    bool getAutoHideFailed(void);
+    /// Return preference whether to automatically zoom to fit
+    bool getAutoZoom(void);
+    /// Set refresh rate
+    void setRefresh(int i);
+    /// Return preference wheter to use smooth scrolling and zooming
+    bool getSmoothScrollAndZoom(void);
+    /// Set preference wheter to use smooth scrolling and zooming
+    void setSmoothScrollAndZoom(bool b);
+    /// Resize to the outer widget size if auto zoom is enabled
+    void resizeToOuter(void);
+
+    /// Calls getVars(\a vm) on the space of the root node
+    void getRootVars(Gecode::Reflection::VarMap& vm);
+    /// Add a visualisation of type \a visType for \a vars
+    void addVisualisation(QStringList vars, QString visType, QString windowName = "");
+    /// Add a visualisation via a dialog
+    void addVisualisation(void);
+
+    /// Stop search and wait for it to finish
+    void finish(void);
+    
+  Q_SIGNALS:
+    /// The scale factor has changed
+    void scaleChanged(int);
+    /// The auto-zoom state was changed
+    void autoZoomChanged(bool);
+    /// Context menu triggered
+    void contextMenu(QContextMenuEvent*);
+    /// Status bar update
+    void statusChanged(VisualNode*,const Statistics&, bool);
+    /// The node with space \a s is inspected at point in time \a pit
+    void inspect(Gecode::Reflection::VarMap& vm, int pit);
+    /// The point in time changed to \a pit
+    void pointInTimeChanged(int pit);
+  protected:
+    /// Mutex for synchronizing acccess to the tree
+    QMutex mutex;
+    /// Mutex for synchronizing layout and drawing
+    QMutex layoutMutex;
+    /// Search engine thread
+    SearcherThread searcher;
+    /// Flag signalling the search to stop
+    bool stopSearchFlag;
+    /// Allocator for nodes
+    Node::NodeAllocator* na;
+    /// The root node of the tree
+    VisualNode* root;
+    /// The currently best solution (for branch-and-bound)
+    BestNode* curBest;
+    /// The currently selected node
+    VisualNode* currentNode;
+    /// The head of the currently selected path
+    VisualNode* pathHead;
+    /// The history of inspected nodes
+    QVector<VisualNode*> nodeMap;
+    /// The active inspector
+    Inspector* inspector;
+    
+    /// The scale bar
+    QSlider* scaleBar;
+    
+    /// Statistics about the search tree
+    Statistics stats;
+    
+    /// Current scale factor
+    double scale;
+    /// Offset on the x axis so that the tree is centered
+    int xtrans;
+
+    /// Whether to hide failed subtrees automatically
+    bool autoHideFailed;
+    /// Whether to zoom automatically
+    bool autoZoom;
+    /// Refresh rate
+    int refresh;
+    /// Whether to use smooth scrolling and zooming
+    bool smoothScrollAndZoom;
+
+    /// The next point in time
+    int nextPit;
+
+    /// Return the node corresponding to the \a event position
+    VisualNode* eventNode(QEvent *event);
+    /// General event handler, used for displaying tool tips
+    bool event(QEvent *event);
+    /// Paint the tree
+    void paintEvent(QPaintEvent* event);
+    /// Handle mouse press event
+    void mousePressEvent(QMouseEvent* event);
+    /// Handle mouse double click event
+    void mouseDoubleClickEvent(QMouseEvent* event);
+    /// Handle context menu event
+    void contextMenuEvent(QContextMenuEvent* event);
+    /// Set the selected node to \a n
+    void setCurrentNode(VisualNode* n);
+    /// Log the current node as new point in time
+    void saveCurrentNode(void);
+
+    /// Target zoom value for smooth zooming
+    int targetZoom;
+    /// Meta current zoom value
+    double metaZoomCurrent;
+    /// Timer id for smooth zooming
+    int zoomTimerId;
+
+    /// Target x coordinate for smooth scrolling
+    int targetScrollX;
+    /// Target y coordinate for smooth scrolling
+    int targetScrollY;
+    /// Meta current x coordinate
+    double metaScrollXCurrent;
+    /// Meta current y coordinate
+    double metaScrollYCurrent;
+    /// Timer id for smooth scrolling
+    int scrollTimerId;
+
+    /// Timer invoked for smooth zooming and scrolling
+    virtual void timerEvent(QTimerEvent* e);
+
+  public Q_SLOTS:
+    /// Update display
+    void update(void);
+    /// Layout done
+    void layoutDone(int w, int h, int scale0);
+  private Q_SLOTS:
+    /// Search has finished
+    void statusChanged(bool);
+    /// Export PDF of the subtree of \a n
+    void exportNodePDF(VisualNode* n);
+  };
+  
+  /// Tree canvas widget
+  class TreeCanvas : public QWidget {
+    Q_OBJECT
+  private:
+    /// The canvas implementation
+    TreeCanvasImpl* canvas;
+    /// The time slider
+    QSlider* timeBar;
+    /// Context menu
+    QMenu* contextMenu;
+
+  public:
+    QAction* inspectCN;
+    QAction* stopCN;
+    QAction* reset;
+    QAction* navUp;
+    QAction* navDown;
+    QAction* navLeft;
+    QAction* navRight;
+    QAction* navRoot;
+    QAction* navNextSol;
+    QAction* navPrevSol;
+
+    QAction* searchNext;
+    QAction* searchAll;
+    QAction* toggleHidden;
+    QAction* hideFailed;
+    QAction* unhideAll;
+    QAction* zoomToFit;
+    QAction* centerCN;
+    QAction* exportPDF;
+    QAction* exportWholeTreePDF;
+    QAction* print;
+
+    QAction* setPath;
+    QAction* inspectPath;
+    QAction* addVisualisation;
+
+  public:
+    /// Constructor
+    TreeCanvas(Space* root, Better* b = NULL, QWidget* parent = NULL);
+    /// Destructor
+    ~TreeCanvas(void);
+
+    /// Set Inspector to \a i0
+    void setInspector(Inspector* i0);
+
+    /// Set preference whether to automatically hide failed subtrees
+    void setAutoHideFailed(bool b);
+    /// Set preference whether to automatically zoom to fit
+    void setAutoZoom(bool b);
+    /// Return preference whether to automatically hide failed subtrees
+    bool getAutoHideFailed(void);
+    /// Return preference whether to automatically zoom to fit
+    bool getAutoZoom(void);
+    /// Set refresh rate
+    void setRefresh(int i);
+    /// Return preference wheter to use smooth scrolling and zooming
+    bool getSmoothScrollAndZoom(void);
+    /// Set preference wheter to use smooth scrolling and zooming
+    void setSmoothScrollAndZoom(bool b);
+
+    /// Stop search and wait until finished
+    void finish(void);
+
+    /// Handle resize event
+    void resizeEvent(QResizeEvent*);
+
+  Q_SIGNALS:
+    void statusChanged(const Statistics&, bool);
+
+  private Q_SLOTS:
+    void on_canvas_contextMenu(QContextMenuEvent*);
+    void on_canvas_statusChanged(VisualNode*, const Statistics&, bool);
+  protected:
+    /// Close the widget
+    void closeEvent(QCloseEvent* event);
+  };
+  
+}}
+
+#endif
+
+// STATISTICS: gist-any

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

@@ -0,0 +1,165 @@
+/*
+ *  Main authors:
+ *     Niko Paltzer <nikopp@ps.uni-sb.de>
+ *
+ *  Copyright:
+ *     Niko Paltzer, 2007
+ *
+ *  Last modified:
+ *     $Date: 2008-07-11 10:37:06 +0200 (Fri, 11 Jul 2008) $ by $Author: tack $
+ *     $Revision: 7340 $
+ *
+ *  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.
+ *
+ */
+
+/********************************************************************************
+ ** Form generated from reading ui file 'addvisualisationdialog.ui'
+ **
+ ** Created: Tue Jan 8 11:36:56 2008
+ **      by: Qt User Interface Compiler version 4.3.2
+ **
+ ** WARNING! All changes made in this file will be lost when recompiling ui file!
+ ********************************************************************************/
+
+#ifndef GECODE_GIST_UI_ADDVISUALISATIONDIALOG_HH
+#define GECODE_GIST_UI_ADDVISUALISATIONDIALOG_HH
+
+#include <QtCore/QVariant>
+#include <QtGui/QAction>
+#include <QtGui/QApplication>
+#include <QtGui/QButtonGroup>
+#include <QtGui/QDialog>
+#include <QtGui/QGridLayout>
+#include <QtGui/QHBoxLayout>
+#include <QtGui/QLabel>
+#include <QtGui/QLineEdit>
+#include <QtGui/QListWidget>
+#include <QtGui/QPushButton>
+#include <QtGui/QSpacerItem>
+
+namespace Gecode { namespace Gist {
+
+  class Ui_AddVisualisationDialogClass
+  {
+  public:
+    QGridLayout *gridLayout;
+    QListWidget *visualisationsListWidget;
+    QListWidget *variablesListWidget;
+    QHBoxLayout *hboxLayout;
+    QSpacerItem *spacerItem;
+    QPushButton *OKpushButton;
+    QPushButton *cancelPushButton;
+    QHBoxLayout *hboxLayout1;
+    QLabel *nameLabel;
+    QLineEdit *nameEdit;
+
+    void setupUi(QDialog *AddVisualisationDialogClass)
+      {
+        if (AddVisualisationDialogClass->objectName().isEmpty())
+          AddVisualisationDialogClass->setObjectName(QString::fromUtf8("AddVisualisationDialogClass"));
+        AddVisualisationDialogClass->resize(400, 300);
+        gridLayout = new QGridLayout(AddVisualisationDialogClass);
+        gridLayout->setSpacing(6);
+        gridLayout->setMargin(11);
+        gridLayout->setObjectName(QString::fromUtf8("gridLayout"));
+        visualisationsListWidget = new QListWidget(AddVisualisationDialogClass);
+        visualisationsListWidget->setObjectName(QString::fromUtf8("visualisationsListWidget"));
+
+        gridLayout->addWidget(new QLabel("Visualisation type"), 0, 0, 1, 1);
+        gridLayout->addWidget(visualisationsListWidget, 1, 0, 1, 1);
+
+        variablesListWidget = new QListWidget(AddVisualisationDialogClass);
+        variablesListWidget->setObjectName(QString::fromUtf8("variablesListWidget"));
+        variablesListWidget->setSelectionMode(QAbstractItemView::MultiSelection);
+
+        gridLayout->addWidget(new QLabel("Variables"), 0, 1, 1, 1);
+        gridLayout->addWidget(variablesListWidget, 1, 1, 1, 1);
+
+        hboxLayout = new QHBoxLayout();
+        hboxLayout->setSpacing(6);
+        hboxLayout->setObjectName(QString::fromUtf8("hboxLayout"));
+        spacerItem = new QSpacerItem(40, 20, QSizePolicy::Expanding, QSizePolicy::Minimum);
+
+        hboxLayout->addItem(spacerItem);
+
+        OKpushButton = new QPushButton(AddVisualisationDialogClass);
+        OKpushButton->setObjectName(QString::fromUtf8("OKpushButton"));
+        OKpushButton->setEnabled(false);
+
+        hboxLayout->addWidget(OKpushButton);
+
+        cancelPushButton = new QPushButton(AddVisualisationDialogClass);
+        cancelPushButton->setObjectName(QString::fromUtf8("cancelPushButton"));
+
+        hboxLayout->addWidget(cancelPushButton);
+
+
+        gridLayout->addLayout(hboxLayout, 3, 0, 1, 2);
+
+        hboxLayout1 = new QHBoxLayout();
+        hboxLayout1->setSpacing(6);
+        hboxLayout1->setObjectName(QString::fromUtf8("hboxLayout1"));
+        nameLabel = new QLabel(AddVisualisationDialogClass);
+        nameLabel->setObjectName(QString::fromUtf8("nameLabel"));
+
+        hboxLayout1->addWidget(nameLabel);
+
+        nameEdit = new QLineEdit(AddVisualisationDialogClass);
+        nameEdit->setObjectName(QString::fromUtf8("nameEdit"));
+
+        hboxLayout1->addWidget(nameEdit);
+
+
+        gridLayout->addLayout(hboxLayout1, 2, 0, 1, 2);
+
+
+        retranslateUi(AddVisualisationDialogClass);
+        QObject::connect(OKpushButton, SIGNAL(clicked()), AddVisualisationDialogClass, SLOT(accept()));
+        QObject::connect(cancelPushButton, SIGNAL(clicked()), AddVisualisationDialogClass, SLOT(reject()));
+
+        QMetaObject::connectSlotsByName(AddVisualisationDialogClass);
+      } // setupUi
+
+    void retranslateUi(QDialog *AddVisualisationDialogClass)
+      {
+        AddVisualisationDialogClass->setWindowTitle(QApplication::translate("AddVisualisationDialogClass", "Add Visualisation", 0, QApplication::UnicodeUTF8));
+        OKpushButton->setText(QApplication::translate("AddVisualisationDialogClass", "OK", 0, QApplication::UnicodeUTF8));
+        cancelPushButton->setText(QApplication::translate("AddVisualisationDialogClass", "Cancel", 0, QApplication::UnicodeUTF8));
+        nameLabel->setText(QApplication::translate("AddVisualisationDialogClass", "Name", 0, QApplication::UnicodeUTF8));
+        Q_UNUSED(AddVisualisationDialogClass);
+      } // retranslateUi
+
+  };
+
+  namespace Ui {
+    class AddVisualisationDialogClass: public Ui_AddVisualisationDialogClass {};
+  } // namespace Ui
+
+
+#endif
+
+}}
+
+// STATISTICS: gist-any