gecoder-with-gecode 0.7.1 → 0.8.0

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

@@ -0,0 +1,324 @@
+/*
+ *  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_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);
+    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 postscript of the tree
+    void exportPostscript(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);
+    
+    /// Toggle the heat view display
+    void toggleHeatView(void);
+    
+    /// Run the analysis that produces the heat view
+    void analyzeTree(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);
+    /// 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);
+    /// 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);
+    /// Context menu triggered
+    void contextMenu(QContextMenuEvent*);
+    /// Status bar update
+    void statusChanged(const Statistics&, bool);
+    /// The current node has been changed to \a n
+    void currentNodeChanged(Gecode::Space*, Gecode::Gist::NodeStatus);
+    /// 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;
+    /// The root node of the tree
+    VisualNode* root;
+    /// 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;
+    
+    /// 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 display the heat view
+    bool heatView;
+
+    /// Whether to hide failed subtrees automatically
+    bool autoHideFailed;
+    /// Whether to zoom automatically
+    bool autoZoom;
+    /// Refresh rate
+    int refresh;
+
+    /// 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);
+
+  public Q_SLOTS:
+    /// Update display
+    void update(void);
+    /// Layout done
+    void layoutDone(int w, int h);
+  private Q_SLOTS:
+    /// Search has finished
+    void statusChanged(bool);
+  };
+  
+  /// 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* searchNext;
+    QAction* searchAll;
+    QAction* toggleHidden;
+    QAction* hideFailed;
+    QAction* unhideAll;
+    QAction* zoomToFit;
+    QAction* centerCN;
+    QAction* exportPostscript;
+    QAction* print;
+
+    QAction* setPath;
+    QAction* inspectPath;
+    QAction* addVisualisation;
+
+    QAction* toggleHeatView;
+    QAction* analyzeTree;
+
+  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);
+
+    /// 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_currentNodeChanged(Gecode::Space*, Gecode::Gist::NodeStatus);
+    void on_canvas_statusChanged(const Statistics&, bool);
+  protected:
+    /// Close the widget
+    void closeEvent(QCloseEvent* event);
+  };
+  
+}}
+
+#endif
+
+// STATISTICS: gist-any

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

@@ -0,0 +1,163 @@
+/*
+ *  Main authors:
+ *     Niko Paltzer <nikopp@ps.uni-sb.de>
+ *
+ *  Copyright:
+ *     Niko Paltzer, 2007
+ *
+ *  Last modified:
+ *     $Date: 2007-11-29 19:46:48 +0100 (Thu, 29 Nov 2007) $ by $Author: schulte $
+ *     $Revision: 5506 $
+ *
+ *  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 'addchild.ui'
+**
+** Created: Wed Nov 28 16:43:22 2007
+**      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_ADDCHILD_HH
+#define GECODE_GIST_UI_ADDCHILD_HH
+
+#include <QtCore/QVariant>
+#include <QtGui/QAction>
+#include <QtGui/QApplication>
+#include <QtGui/QButtonGroup>
+#include <QtGui/QDialog>
+#include <QtGui/QHBoxLayout>
+#include <QtGui/QListWidget>
+#include <QtGui/QPushButton>
+#include <QtGui/QSpacerItem>
+#include <QtGui/QSpinBox>
+#include <QtGui/QVBoxLayout>
+
+namespace Gecode { namespace Gist {
+
+class Ui_AddChildClass
+{
+public:
+    QVBoxLayout *vboxLayout;
+    QHBoxLayout *hboxLayout;
+    QListWidget *varList;
+    QListWidget *relList;
+    QSpinBox *valueSpinBox;
+    QSpacerItem *spacerItem;
+    QHBoxLayout *hboxLayout1;
+    QSpacerItem *spacerItem1;
+    QPushButton *okPushButton;
+    QPushButton *cancelPushButton;
+
+    void setupUi(QDialog *AddChildClass)
+    {
+    if (AddChildClass->objectName().isEmpty())
+        AddChildClass->setObjectName(QString::fromUtf8("AddChildClass"));
+    AddChildClass->resize(425, 251);
+    QSizePolicy sizePolicy(QSizePolicy::MinimumExpanding, QSizePolicy::MinimumExpanding);
+    sizePolicy.setHorizontalStretch(0);
+    sizePolicy.setVerticalStretch(0);
+    sizePolicy.setHeightForWidth(AddChildClass->sizePolicy().hasHeightForWidth());
+    AddChildClass->setSizePolicy(sizePolicy);
+    vboxLayout = new QVBoxLayout(AddChildClass);
+    vboxLayout->setSpacing(6);
+    vboxLayout->setMargin(11);
+    vboxLayout->setObjectName(QString::fromUtf8("vboxLayout"));
+    hboxLayout = new QHBoxLayout();
+    hboxLayout->setSpacing(6);
+    hboxLayout->setObjectName(QString::fromUtf8("hboxLayout"));
+    varList = new QListWidget(AddChildClass);
+    varList->setObjectName(QString::fromUtf8("varList"));
+
+    hboxLayout->addWidget(varList);
+
+    relList = new QListWidget(AddChildClass);
+    relList->setObjectName(QString::fromUtf8("relList"));
+
+    hboxLayout->addWidget(relList);
+
+    valueSpinBox = new QSpinBox(AddChildClass);
+    valueSpinBox->setObjectName(QString::fromUtf8("valueSpinBox"));
+
+    hboxLayout->addWidget(valueSpinBox);
+
+
+    vboxLayout->addLayout(hboxLayout);
+
+    spacerItem = new QSpacerItem(382, 16, QSizePolicy::Minimum, QSizePolicy::Expanding);
+
+    vboxLayout->addItem(spacerItem);
+
+    hboxLayout1 = new QHBoxLayout();
+    hboxLayout1->setSpacing(6);
+    hboxLayout1->setObjectName(QString::fromUtf8("hboxLayout1"));
+    spacerItem1 = new QSpacerItem(40, 20, QSizePolicy::Expanding, QSizePolicy::Minimum);
+
+    hboxLayout1->addItem(spacerItem1);
+
+    okPushButton = new QPushButton(AddChildClass);
+    okPushButton->setObjectName(QString::fromUtf8("okPushButton"));
+    okPushButton->setEnabled(false);
+
+    hboxLayout1->addWidget(okPushButton);
+
+    cancelPushButton = new QPushButton(AddChildClass);
+    cancelPushButton->setObjectName(QString::fromUtf8("cancelPushButton"));
+
+    hboxLayout1->addWidget(cancelPushButton);
+
+
+    vboxLayout->addLayout(hboxLayout1);
+
+
+    retranslateUi(AddChildClass);
+    QObject::connect(okPushButton, SIGNAL(clicked()), AddChildClass, SLOT(accept()));
+    QObject::connect(cancelPushButton, SIGNAL(clicked()), AddChildClass, SLOT(reject()));
+
+    QMetaObject::connectSlotsByName(AddChildClass);
+    } // setupUi
+
+    void retranslateUi(QDialog *AddChildClass)
+    {
+    AddChildClass->setWindowTitle(QApplication::translate("AddChildClass", "Add Child Node", 0, QApplication::UnicodeUTF8));
+    okPushButton->setText(QApplication::translate("AddChildClass", "OK", 0, QApplication::UnicodeUTF8));
+    cancelPushButton->setText(QApplication::translate("AddChildClass", "Cancel", 0, QApplication::UnicodeUTF8));
+    Q_UNUSED(AddChildClass);
+    } // retranslateUi
+
+};
+
+namespace Ui {
+    class AddChildClass: public Ui_AddChildClass {};
+} // namespace Ui
+
+#endif
+
+}}
+
+// STATISTICS: gist-any