37 #ifndef __GECODE_GIST_HH__ 38 #define __GECODE_GIST_HH__ 43 #ifdef GECODE_HAS_SET_VARS 46 #ifdef GECODE_HAS_FLOAT_VARS 55 #if !defined(GIST_STATIC_LIBS) && \ 56 (defined(__CYGWIN__) || defined(__MINGW32__) || defined(_MSC_VER)) 58 #ifdef GECODE_BUILD_GIST 59 #define GECODE_GIST_EXPORT __declspec( dllexport ) 61 #define GECODE_GIST_EXPORT __declspec( dllimport ) 66 #ifdef GECODE_GCC_HAS_CLASS_VISIBILITY 67 #define GECODE_GIST_EXPORT __attribute__ ((visibility("default"))) 69 #define GECODE_GIST_EXPORT 75 #ifndef GECODE_BUILD_GIST 76 #define GECODE_LIBRARY_NAME "Gist" 106 virtual void inspect(
const Space& s) = 0;
108 virtual std::string name(
void);
110 virtual void finalize(
void);
131 virtual std::string name(
void);
133 virtual void finalize(
void);
150 #ifdef GECODE_HAS_SET_VARS 154 #ifdef GECODE_HAS_FLOAT_VARS 174 std::ostream& getStream(
void);
178 void addHtml(
const char* s);
187 virtual std::string name(
void);
195 Print(
const std::string& name);
197 virtual void inspect(
const Space& node);
199 virtual std::string name(
void);
201 virtual void finalize(
void);
222 virtual std::string name(
void);
224 virtual void finalize(
void);
244 unsigned int n_click;
246 unsigned int n_solution;
250 unsigned int n_compare;
266 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.
Node * x
Pointer to corresponding Boolean expression node.
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.
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.