gecoder-with-gecode 0.9.0 → 0.9.1

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

@@ -1,324 +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_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_addvisualisationdialog.hh

@@ -1,163 +0,0 @@
-/*
- *  Main authors:
- *     Niko Paltzer <nikopp@ps.uni-sb.de>
- *
- *  Copyright:
- *     Niko Paltzer, 2007
- *
- *  Last modified:
- *     $Date: 2008-01-13 13:20:50 +0100 (Sun, 13 Jan 2008) $ by $Author: schulte $
- *     $Revision: 5857 $
- *
- *  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(visualisationsListWidget, 0, 0, 1, 1);
-
-        variablesListWidget = new QListWidget(AddVisualisationDialogClass);
-        variablesListWidget->setObjectName(QString::fromUtf8("variablesListWidget"));
-        variablesListWidget->setSelectionMode(QAbstractItemView::MultiSelection);
-
-        gridLayout->addWidget(variablesListWidget, 0, 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, 2, 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, 1, 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 Dialog", 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