33#ifndef __GECODE_GIST_HH__
34#define __GECODE_GIST_HH__
39#ifdef GECODE_HAS_SET_VARS
42#ifdef GECODE_HAS_FLOAT_VARS
51#if !defined(GIST_STATIC_LIBS) && \
52 (defined(__CYGWIN__) || defined(__MINGW32__) || defined(_MSC_VER))
54#ifdef GECODE_BUILD_GIST
55#define GECODE_GIST_EXPORT __declspec( dllexport )
57#define GECODE_GIST_EXPORT __declspec( dllimport )
62#ifdef GECODE_GCC_HAS_CLASS_VISIBILITY
63#define GECODE_GIST_EXPORT __attribute__ ((visibility("default")))
65#define GECODE_GIST_EXPORT
71#ifndef GECODE_BUILD_GIST
72#define GECODE_LIBRARY_NAME "Gist"
104 virtual std::string
name(
void);
127 virtual std::string
name(
void);
146#ifdef GECODE_HAS_SET_VARS
150#ifdef GECODE_HAS_FLOAT_VARS
183 virtual std::string
name(
void);
195 virtual std::string
name(
void);
218 virtual std::string
name(
void);
240 unsigned int n_click;
242 unsigned int n_solution;
246 unsigned int n_compare;
Boolean integer variables.
Abstract base class for comparators.
virtual std::string name(void)
Name of the comparator.
virtual void compare(const Space &s0, const Space &s1)=0
Call-back function.
virtual void finalize(void)
Clean up when Gist exits.
Gecode Interactive Search Tool
Abstract base class for inspectors.
virtual void inspect(const Space &s)=0
Call-back function.
virtual void finalize(void)
Clean up when Gist exits.
virtual std::string name(void)
Name of the inspector.
void click(Inspector *i)
Add inspector that reacts on node double clicks.
void move(Inspector *i)
Add inspector that reacts on each move of the cursor.
void compare(Comparator *c)
Add comparator.
void solution(Inspector *i)
Add inspector that reacts on each new solution that is found.
Options(void)
Initialize with default values.
static const Options def
Default options.
virtual void inspect(const Space &node)
Use the print method of the template class S to print a space.
virtual std::string name(void)
Return name.
virtual void finalize(void)
Clean up when Gist exits.
Print(const std::string &name)
Constructor.
Window with associated ostream, used for inspecting Gist nodes.
void finalize(void)
Clean up when Gist exits.
void flush(void)
Flush stream.
TextOutput(const std::string &name)
Constructor.
std::ostream & getStream(void)
Get the stream that is used to output text.
virtual std::string name(void)
Name of the inspector.
void init(void)
Initialize the implementation object.
void addHtml(const char *s)
Add html text s to the output.
VarComparator(std::string name)
Constructor.
virtual void compare(const Space &s0, const Space &s1)
Compare s0 to s1.
virtual std::string name(void)
Return name.
virtual void finalize(void)
Finalize when Gist exits.
Array with arbitrary number of elements.
Argument array for variables.
#define GECODE_GIST_EXPORT
int bab(Space *root, const Gist::Options &opt=Gist::Options::def)
Create a new stand-alone Gist for branch-and-bound search of root.
int dfs(Space *root, const Gist::Options &opt=Gist::Options::def)
Create a new stand-alone Gist for root.
int explore(Space *root, bool bab, const Options &opt)
Create a new stand-alone Gist for root using bab.
void stopBranch(Space &home)
A branching that stops exploration.
Gecode toplevel namespace
Post propagator for SetVar SetOpType SetVar y
Post propagator for SetVar x