main page modules namespaces classes files
Gecode home

gist.hh

Go to the documentation of this file.

/*
 *  Main authors:
 *     Guido Tack <tack@gecode.org>
 *
 *  Copyright:
 *     Guido Tack, 2006
 *
 *  Last modified:
 *     $Date: 2009-09-08 21:10:29 +0200 (Tue, 08 Sep 2009) $ by $Author: schulte $
 *     $Revision: 9692 $
 *
 *  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>
#include <gecode/search.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

#include <string>
#include <sstream>

namespace Gecode {

  namespace Gist {

    class GECODE_GIST_EXPORT Inspector {
    public:
      virtual void inspect(const Space& node) = 0;
      virtual std::string name(void);
      virtual void finalize(void);
      virtual ~Inspector(void);
    };
    
    class TextOutput;
    
    class GECODE_GIST_EXPORT TextInspector : public Inspector {
    private:
      TextOutput *t;
      std::string n;
    protected:
      void init(void);
      std::ostream& getStream(void);
      void addHtml(const char* s);
    public:
      TextInspector(const std::string& name);
      virtual void finalize(void);
      virtual ~TextInspector(void);
      virtual std::string name(void);
    };
    
    template<class S>
    class Print : public TextInspector {
    public:
      Print(const std::string& name);
      virtual void inspect(const Space& node);
    };
    
    class Options : public Search::Options {
    public:
      class _I {
      private:
        Support::DynamicArray<Inspector*,Heap> _click;
        unsigned int n_click;
        Support::DynamicArray<Inspector*,Heap> _solution;
        unsigned int n_solution;
      public:
        _I(void);
        void click(Inspector* i);
        void solution(Inspector* i);
        
        Inspector* click(unsigned int i) const;
        Inspector* solution(unsigned int i) const;
      } inspect;
      GECODE_GIST_EXPORT static const Options def;
      Options(void);
    };

    
    GECODE_GIST_EXPORT int 
    explore(Space* root, bool bab, const Options& opt);
    
    int 
    dfs(Space* root, const Gist::Options& opt = Gist::Options::def);
    
    int 
    bab(Space* root, const Gist::Options& opt = Gist::Options::def);
    
  }     

}

#include <gecode/gist/gist.hpp>

#endif

// STATISTICS: gist-any