qtgist.hh

Go to the documentation of this file.

/* -*- mode: C++; c-basic-offset: 2; indent-tabs-mode: nil -*- */
/*
 *  Main authors:
 *     Guido Tack <tack@gecode.org>
 *
 *  Copyright:
 *     Guido Tack, 2006
 *
 *  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_QTGIST_HH
#define GECODE_GIST_QTGIST_HH

#include <gecode/gist/treecanvas.hh>
#include <gecode/gist/nodestats.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

// Configure auto-linking
#ifndef GECODE_BUILD_GIST
#define GECODE_LIBRARY_NAME "Gist"
#include <gecode/support/auto-link.hpp>
#endif

namespace Gecode {  namespace Gist {

  class GECODE_GIST_EXPORT Gist : public QWidget {
    Q_OBJECT
  private:
    TreeCanvas* canvas;
    QSlider* timeBar;
    QMenu* contextMenu;
    QAction* nullSolutionInspector;
    QMenu* solutionInspectorMenu;
    QAction* nullDoubleClickInspector;
    QMenu* doubleClickInspectorMenu;
    QAction* nullMoveInspector;
    QMenu* moveInspectorMenu;
    QAction* nullComparator;
    QMenu* comparatorMenu;
    QAction* nullBookmark;
    QMenu* bookmarksMenu;
    QMenu* inspectNodeMenu;
    QMenu* inspectNodeBeforeFPMenu;
    NodeStatInspector* nodeStatInspector;
  public:
    QAction* inspect;
    QAction* inspectBeforeFP;
    QAction* stop;
    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* labelBranches;
    QAction* labelPath;
    QAction* zoomToFit;
    QAction* center;
    QAction* exportPDF;
    QAction* exportWholeTreePDF;
    QAction* print;

    QAction* bookmarkNode;
    QAction* compareNode;
    QAction* compareNodeBeforeFP;
    QAction* setPath;
    QAction* inspectPath;
    QAction* showNodeStats;
    QAction* toggleStop;
    QAction* unstopAll;

    QActionGroup* solutionInspectorGroup;
    QActionGroup* doubleClickInspectorGroup;
    QActionGroup* moveInspectorGroup;
    QActionGroup* comparatorGroup;
    QActionGroup* bookmarksGroup;
    QActionGroup* inspectGroup;
    QActionGroup* inspectBeforeFPGroup;
  public:
    Gist(Space* root, bool bab, QWidget* parent, const Options& opt);
    ~Gist(void);

    void addDoubleClickInspector(Inspector* i0);
    void addSolutionInspector(Inspector* i0);
    void addMoveInspector(Inspector* i0);
    void addComparator(Comparator* c0);

    void setAutoHideFailed(bool b);
    void setAutoZoom(bool b);
    bool getAutoHideFailed(void);
    bool getAutoZoom(void);
    void setShowCopies(bool b);
    bool getShowCopies(void);

    void setRefresh(int i);
    void setRefreshPause(int i);
    bool getSmoothScrollAndZoom(void);
    void setSmoothScrollAndZoom(bool b);
    bool getMoveDuringSearch(void);
    void setMoveDuringSearch(bool b);

    void setRecompDistances(int c_d, int a_d);
    int getCd(void);
    int getAd(void);

    bool finish(void);

    void resizeEvent(QResizeEvent*);

  Q_SIGNALS:
    void statusChanged(const Statistics&, bool);

    void solution(const Space*);

    void searchFinished(void);

  private Q_SLOTS:
    void on_canvas_contextMenu(QContextMenuEvent*);
    void on_canvas_statusChanged(VisualNode*, const Statistics&, bool);
    void selectDoubleClickInspector(QAction*);
    void selectSolutionInspector(QAction*);
    void selectMoveInspector(QAction*);
    void selectComparator(QAction*);
    void selectBookmark(QAction*);
    void addBookmark(const QString& id);
    void removeBookmark(int idx);
    void populateInspectors(void);
    void populateBookmarksMenu(void);
    void showStats(void);
    void inspectWithAction(QAction* a);
    void inspectBeforeFPWithAction(QAction* a);
  protected:
    void addInspector(Inspector* i, QAction*& nas, QAction*& nad,
                      QAction*& nam);
  };

}}

#endif

// STATISTICS: gist-any