Go to the documentation of this file.
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);
106 virtual void finalize(
void);
127 virtual std::string name(
void);
129 virtual void finalize(
void);
146 #ifdef GECODE_HAS_SET_VARS
150 #ifdef GECODE_HAS_FLOAT_VARS
170 std::ostream& getStream(
void);
174 void addHtml(
const char* s);
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;
void compare(Comparator *c)
Add comparator.
Post propagator for SetVar x
Post propagator for SetVar SetOpType SetVar y
Abstract base class for comparators.
void click(Inspector *i)
Add inspector that reacts on node double clicks.
class Gecode::Gist::Options::_I inspect
Array with arbitrary number of elements.
virtual void compare(const Space &s0, const Space &s1)=0
Call-back function.
void solution(Inspector *i)
Add inspector that reacts on each new solution that is found.
Abstract base class for inspectors.
virtual void finalize(void)
Clean up when Gist exits.
virtual void inspect(const Space &node)
Use the print method of the template class S to print a space.
int dfs(Space *root, const Gist::Options &opt)
Create a new stand-alone Gist for root.
Gecode toplevel namespace
Print(const std::string &name)
Constructor.
void stopBranch(Space &home)
A branching that stops exploration.
#define GECODE_GIST_EXPORT
Options(void)
Initialize with default values.
virtual void compare(const Space &s0, const Space &s1)
Compare s0 to s1.
void move(Inspector *i)
Add inspector that reacts on each move of the cursor.
Boolean integer variables.
VarComparator(std::string name)
Constructor.
An inspector for printing simple text output.
Window with associated ostream, used for inspecting Gist nodes.
int explore(Space *root, bool bab, const Options &opt)
Create a new stand-alone Gist for root using bab.
static const Options def
Default options.
virtual void inspect(const Space &s)=0
Call-back function.
int bab(Space *root, const Gist::Options &opt)
Create a new stand-alone Gist for branch-and-bound search of root.
Helper class storing inspectors.
Gecode::FloatVal c(-8, 8)
int n
Number of negative literals for node type.
virtual void finalize(void)
Finalize when Gist exits.
virtual std::string name(void)
Return name.
Argument array for variables.
CompareStatus compare(I &i, J &j)
Check whether range iterator i is a subset of j, or whether they are disjoint.
Gecode::IntArgs i({1, 2, 3, 4})
An window for simple text output.
virtual std::string name(void)
Return name.