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" 102 virtual void inspect(
const Space& s) = 0;
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);
191 Print(
const std::string& name);
193 virtual void inspect(
const Space& node);
195 virtual std::string name(
void);
197 virtual void finalize(
void);
218 virtual std::string name(
void);
220 virtual void finalize(
void);
240 unsigned int n_click;
242 unsigned int n_solution;
246 unsigned int n_compare;
262 Inspector* solution(
unsigned int i)
const;
Abstract base class for comparators.
#define GECODE_GIST_EXPORT
void stopBranch(Space &home)
A branching that stops exploration.
Array with arbitrary number of elements.
Helper class storing inspectors.
Abstract base class for inspectors.
Gecode::FloatVal c(-8, 8)
Gecode::IntArgs i(4, 1, 2, 3, 4)
int n
Number of negative literals for node type.
int dfs(Space *root, const Gist::Options &opt)
Create a new stand-alone Gist for root.
Boolean integer variables.
Post propagator for SetVar SetOpType SetVar y
int bab(Space *root, const Gist::Options &opt)
Create a new stand-alone Gist for branch-and-bound search of root.
An window for simple text output.
Post propagator for SetVar x
static const Options def
Default options.
CompareStatus compare(I &i, J &j)
Check whether range iterator i is a subset of j, or whether they are disjoint.
int explore(Space *root, bool bab, const Options &opt)
Create a new stand-alone Gist for root using bab.
Gecode toplevel namespace
Argument array for variables.
An inspector for printing simple text output.
Window with associated ostream, used for inspecting Gist nodes.