gecoder-with-gecode 0.7.1 → 0.8.0

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

@@ -0,0 +1,162 @@
+/*
+ *  Main authors:
+ *     Guido Tack <tack@gecode.org>
+ *
+ *  Copyright:
+ *     Guido Tack, 2006
+ *
+ *  Last modified:
+ *     $Date: 2008-02-05 18:46:41 +0100 (Tue, 05 Feb 2008) $ by $Author: schulte $
+ *     $Revision: 6067 $
+ *
+ *  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_HH__
+#define __GECODE_GIST_HH__
+
+#include "gecode/kernel.hh"
+
+/*
+ * Configure linking
+ *
+ */
+
+#if !defined(GIST_STATIC_LIBS) && \
+    (defined(__CYGWIN__) || defined(__MINGW32__) || defined(_MSC_VER))
+
+#ifdef GECODE_BUILD_GIST
+#define GECODE_GIST_EXPORT __declspec( dllexport )
+#else
+#define GECODE_GIST_EXPORT __declspec( dllimport )
+#endif
+
+#else
+
+#ifdef GECODE_GCC_HAS_CLASS_VISIBILITY
+#define GECODE_GIST_EXPORT __attribute__ ((visibility("default")))
+#else
+#define GECODE_GIST_EXPORT
+#endif
+
+#endif
+
+class QWidget;
+
+#include <string>
+#include <sstream>
+
+#include "gecode/gist/better.hh"
+
+namespace Gecode { 
+  
+  /** 
+   * \namespace Gecode::Gist
+   * \brief The Gecode Interactive Search Tool
+   * 
+   * The Gecode::Gist namespace contains the %Gecode Interactive Search Tool,
+   * a Qt-based graphical search engine.
+   *
+   */
+  
+  namespace Gist {
+  /** \brief Abstract base class for Inspectors
+    *
+    * An inspector provides a virtual method that is called
+    * when a node in the search tree is inspected (e.g. by
+    * double-clicking)
+    */
+  class GECODE_GIST_EXPORT Inspector {
+  public:
+    /// Call-back function
+    virtual void inspect(Space* node) = 0;
+    /// Destructor
+    virtual ~Inspector(void);
+  };
+  
+  /// \brief An inspector base class for simple text output
+  class GECODE_GIST_EXPORT TextInspector : public Inspector {
+  private:
+    class TextInspectorImpl;
+    /// The implementation object
+    TextInspectorImpl *t;
+    /// The name of the inspector
+    std::string n;
+  protected:
+    /// Initialize the implementation object
+    void init(void);
+    /// Get the stream that is used to output text
+    std::ostream& getStream(void);
+    /// Add html text \a s to the output
+    void addHtml(const char* s);
+  public:
+    /// Constructor
+    TextInspector(const std::string& name);
+    /// Destructor
+    virtual ~TextInspector(void);
+  };
+  
+  /// \brief An inspector for printing simple text output
+  template <class S>
+  class PrintingInspector : public TextInspector {
+  public:
+    /// Constructor
+    PrintingInspector(const std::string& name);
+    /// Use the print method of the template class S to print a space
+    virtual void inspect(Space* node);
+  };
+  
+  /// Create a new stand-alone Gist for \a root using \a b and \a gi
+  GECODE_GIST_EXPORT
+  int explore(Space* root, Better* b, Inspector* gi);
+  
+  /// Create a new Gist widget with parent \a parent for \a root using \a b and \a gi
+  GECODE_GIST_EXPORT
+  QWidget* exploreWidget(QWidget* parent, 
+                         Space* root, Better* b, Inspector* gi);
+  }	
+
+  /// Create a new stand-alone Gist for \a root using \a gi
+  GECODE_GIST_EXPORT
+  int explore(Space* root, Gist::Inspector* gi = 0);
+  /// Create a new Gist widget with parent \a parent for \a root and \a gi
+  GECODE_GIST_EXPORT
+  void exploreWidget(QWidget* parent, Space* root, Gist::Inspector* gi = 0);
+
+  /// Create a new stand-alone Gist for branch-and-bound search of \a root, using \a gi
+  template <class S>
+  int exploreBest(S* root, Gist::Inspector* gi = 0);
+
+  /// Create a new Gist widget with parent \a parent for branch-and-bound search of \a root, using \a gi
+  template <class S>
+  void exploreBestWidget(QWidget* parent, S* root, Gist::Inspector* gi = 0);
+
+}
+
+#include "gecode/gist/gist.icc"
+
+#endif
+
+// STATISTICS: gist-any

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

@@ -0,0 +1,191 @@
+/*
+ *  Main authors:
+ *     Niko Paltzer <nikopp@ps.uni-sb.de>
+ *
+ *  Copyright:
+ *     Niko Paltzer, 2007
+ *
+ *  Last modified:
+ *     $Date: 2008-02-01 12:10:00 +0100 (Fri, 01 Feb 2008) $ by $Author: schulte $
+ *     $Revision: 6034 $
+ *
+ *  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/addchild.hh"
+#ifdef GECODE_HAS_INT_VARS
+#include "gecode/int.hh"
+#endif
+#ifdef GECODE_HAS_SET_VARS
+#include "gecode/set.hh"
+#endif
+
+namespace Gecode { namespace Gist {
+
+// TODO nikopp: to make this usable for arbitrary kinds of variables, a variable must be able to
+//              return the required values
+  AddChild::AddChild(Reflection::VarMap& vm, QWidget *parent)
+  : QDialog(parent)
+  {
+    ui.setupUi(this);
+
+    Reflection::VarMapIter vmi(vm);
+
+    for(int i = 0; vmi(); ++vmi, ++i) {
+      QString desc = (vmi.spec().name().toString() + " (" + vmi.spec().vti().toString() + ")").c_str();
+      QListWidgetItem* item = new QListWidgetItem(desc, ui.varList);
+
+      QList<QVariant> data;
+      data << QVariant(QString(vmi.spec().name().toString().c_str()));
+      data << QVariant(QString(vmi.spec().vti().toString().c_str()));
+      
+      if(false) {
+#ifdef GECODE_HAS_INT_VARS
+      } else if(vmi.spec().vti() == Int::IntVarImpConf::vti) {
+        Reflection::IntArrayArg* dom = vmi.spec().dom()->toIntArray();
+        data << QVariant((*dom)[0]) << QVariant((*dom)[dom->size()-1]);
+#endif
+#ifdef GECODE_HAS_SET_VARS
+      } else if(vmi.spec().vti() == Set::SetVarImpConf::vti) {
+        Reflection::IntArrayArg* ub_dom = vmi.spec().dom()->second()->first()->toIntArray();
+        data << QVariant((*ub_dom)[0]) << QVariant((*ub_dom)[ub_dom->size()-1]);
+#endif
+        } else {
+        // TODO nikopp: implement other possibilities
+      }
+
+      item->setData(Qt::UserRole, data);
+    }
+  }
+
+  int
+  AddChild::value(void) {
+    return ui.valueSpinBox->value();
+  }
+
+  QString
+  AddChild::var(void) {
+    return ui.varList->currentItem()->data(Qt::UserRole).toList().takeFirst().toString();
+  }
+
+  int
+  AddChild::rel(void) {
+    return ui.relList->currentItem()->data(Qt::UserRole).toInt();
+  }
+
+  void
+  AddChild::on_varList_itemSelectionChanged(void) {
+    refresh_relList();
+  }
+
+  void
+  AddChild::on_relList_itemSelectionChanged(void) {
+    refresh();
+  }
+
+  void
+  AddChild::refresh(void) {
+    if(ui.varList->selectedItems().isEmpty() ||
+        ui.relList->selectedItems().isEmpty())
+      ui.okPushButton->setEnabled(false);
+    else {
+      ui.okPushButton->setEnabled(true);
+      updateValue();
+    }
+  }
+
+  void
+  AddChild::refresh_relList(void) {
+    ui.relList->clear();
+    
+    if(ui.varList->selectedItems().isEmpty()) {
+      return;
+    }
+    QVariantList data = ui.varList->currentItem()->data(Qt::UserRole).toList();
+    Support::Symbol vti = data.at(1).toString().toStdString().c_str();
+    
+    if(false) {
+#ifdef GECODE_HAS_INT_VARS
+    } else if(vti == Int::IntVarImpConf::vti) {
+      QListWidgetItem* eq = new QListWidgetItem("==", ui.relList);
+      eq->setData(Qt::UserRole, QVariant(Gecode::IRT_EQ));
+      QListWidgetItem* nq = new QListWidgetItem("!=", ui.relList);
+      nq->setData(Qt::UserRole, QVariant(Gecode::IRT_NQ));
+      QListWidgetItem* lq = new QListWidgetItem("<=", ui.relList);
+      lq->setData(Qt::UserRole, QVariant(Gecode::IRT_LQ));
+      QListWidgetItem* le = new QListWidgetItem("<", ui.relList);
+      le->setData(Qt::UserRole, QVariant(Gecode::IRT_LE));
+      QListWidgetItem* gq = new QListWidgetItem(">=", ui.relList);
+      gq->setData(Qt::UserRole, QVariant(Gecode::IRT_GQ));
+      QListWidgetItem* gr = new QListWidgetItem(">", ui.relList);
+      gr->setData(Qt::UserRole, QVariant(Gecode::IRT_GR));
+#endif
+#ifdef GECODE_HAS_SET_VARS
+    } else if (vti == Set::SetVarImpConf::vti) {
+      QListWidgetItem* in = new QListWidgetItem("contains", ui.relList);
+      in->setData(Qt::UserRole, QVariant(Gecode::SRT_SUP));
+      QListWidgetItem* out = new QListWidgetItem("does not contain", ui.relList);
+      out->setData(Qt::UserRole, QVariant(Gecode::SRT_DISJ));
+#endif
+    } else {
+      // TODO nikopp: implement other options
+    }
+  }
+  
+  void
+  AddChild::updateValue(void) {
+    QVariantList data = ui.varList->selectedItems().first()->data(Qt::UserRole).toList();
+    
+    int min = data.at(2).toInt();
+    int max = data.at(3).toInt();
+    
+    switch (ui.relList->currentRow()) {
+    case 0:
+    case 1:
+      break;
+    case 2:
+    case 5:
+      max--;
+      break;
+    case 3:
+    case 4:
+      min++;
+      break;
+    }
+    
+    if(min <= max) {
+      ui.valueSpinBox->setMinimum(min);
+      ui.valueSpinBox->setMaximum(max);
+      ui.valueSpinBox->setEnabled(true);
+    }
+    else {
+      ui.valueSpinBox->setEnabled(false);
+      ui.okPushButton->setEnabled(false);
+    }
+  }
+
+}}
+
+// STATISTICS: gist-any

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

@@ -0,0 +1,76 @@
+/*
+ *  Main authors:
+ *     Niko Paltzer <nikopp@ps.uni-sb.de>
+ *
+ *  Copyright:
+ *     Niko Paltzer, 2007
+ *
+ *  Last modified:
+ *     $Date: 2008-01-10 15:45:35 +0100 (Thu, 10 Jan 2008) $ by $Author: nikopp $
+ *     $Revision: 5837 $
+ *
+ *  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.
+ *
+ */
+
+// TODO nikopp: doxygen comments
+
+#ifndef GECODE_GIST_ADDCHILD_HH
+#define GECODE_GIST_ADDCHILD_HH
+
+#include <QtGui/QDialog>
+#include "gecode/gist/ui_addchild.hh"
+
+#include "gecode/kernel.hh"
+
+namespace Gecode { namespace Gist {
+
+  class AddChild : public QDialog
+  {
+    Q_OBJECT
+
+  public:
+    AddChild(Reflection::VarMap& vm, QWidget *parent = 0);
+
+    int value(void);
+    QString var(void);
+    int rel(void);
+
+  private Q_SLOTS:
+    void on_varList_itemSelectionChanged(void);
+    void on_relList_itemSelectionChanged(void);
+
+  private:
+    void refresh(void);
+    void refresh_relList(void);
+    void updateValue(void);
+    
+    Ui::AddChildClass ui;
+  };
+
+}}
+
+#endif
+
+// STATISTICS: gist-any

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

@@ -0,0 +1,139 @@
+/*
+ *  Main authors:
+ *     Niko Paltzer <nikopp@ps.uni-sb.de>
+ *
+ *  Copyright:
+ *     Niko Paltzer, 2007
+ *
+ *  Last modified:
+ *     $Date: 2008-02-11 16:08:32 +0100 (Mon, 11 Feb 2008) $ by $Author: nikopp $
+ *     $Revision: 6121 $
+ *
+ *  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/addvisualisationdialog.hh"
+
+namespace Gecode { namespace Gist {
+
+  AddVisualisationDialog::AddVisualisationDialog(Gecode::Gist::Config conf, 
+                                                 Gecode::Reflection::VarMap& vm,
+                                                 QWidget *parent)
+  : QDialog(parent)
+  {
+    ui.setupUi(this);
+
+    QStringList visNamesList = conf.visualisationMap.keys();
+    ui.visualisationsListWidget->insertItems(0, visNamesList);
+
+    Gecode::Reflection::VarMapIter vmi(vm);
+
+    for(int i = 0; vmi(); ++vmi, ++i) {
+      QString varName = vmi.spec().name().toString().c_str();
+      QString itemName(varName);
+      itemName.append(" (");
+      itemName.append(vmi.spec().vti().toString().c_str());
+      itemName.append(")");
+      QListWidgetItem* item = new QListWidgetItem(itemName, ui.variablesListWidget);
+      item->setData(Qt::UserRole, QVariant(varName));
+    }
+  }
+
+  QStringList
+  AddVisualisationDialog::vars(void) {
+    QList<QListWidgetItem*> itemList = ui.variablesListWidget->selectedItems();
+    QStringList varList;
+    while(!itemList.isEmpty()) {
+      varList << itemList.takeFirst()->data(Qt::UserRole).toString();
+    }
+    return varList;
+  }
+
+  QString
+  AddVisualisationDialog::vis(void) {
+    return ui.visualisationsListWidget->currentItem()->text();
+  }
+
+  QString
+  AddVisualisationDialog::name(void) {
+    return ui.nameEdit->text();
+  }
+
+  void
+  AddVisualisationDialog::on_variablesListWidget_itemSelectionChanged(void) {
+    updateName();
+    refresh();
+  }
+
+  void
+  AddVisualisationDialog::on_visualisationsListWidget_itemSelectionChanged(void) {
+    refresh();
+  }
+
+  void
+  AddVisualisationDialog::refresh(void) {
+    if(ui.variablesListWidget->selectedItems().isEmpty() ||
+        ui.visualisationsListWidget->selectedItems().isEmpty())
+      ui.OKpushButton->setEnabled(false);
+    else
+      ui.OKpushButton->setEnabled(true);
+  }
+
+  void
+  AddVisualisationDialog::updateName(void) {
+
+    QList<QListWidgetItem*> items = ui.variablesListWidget->selectedItems();
+
+    if(items.count() == 0) {
+      ui.nameEdit->setText("");
+    }
+
+    if(items.count() == 1) {
+      ui.nameEdit->setText(items.first()->text());
+    }
+
+    else if(items.count() > 1) {
+
+      QStringList varNames;
+
+      for (int i = 0; i < items.count(); ++i) {
+        varNames << items[i]->text();
+      }
+
+      varNames.sort();
+
+      QString first = varNames.first();
+      QString last = varNames.last();
+
+      while(!last.startsWith(first))
+        first.truncate(first.count() - 1);
+
+      ui.nameEdit->setText(first);
+    }
+  }
+
+}}
+
+// STATISTICS: gist-any