86 return t->getStream();
106 if (
char* gd = getenv(
"GECODEDIR")) {
107 unsigned int gdl =
static_cast<unsigned int>(strlen(gd) + 32U);
108 char* gdb =
heap.alloc<
char>(gdl);
110 strcat(gdb,
"/bin/");
111 QCoreApplication::addLibraryPath(gdb);
116 char argv0=
'\0';
char* argv1=&argv0;
120 QApplication app(argc, &argv1);
virtual std::string name(void)
Name of the comparator.
virtual void finalize(void)
Clean up when Gist exits.
virtual ~Comparator(void)
Destructor.
Main window for stand-alone Gist.
virtual void finalize(void)
Clean up when Gist exits.
virtual ~Inspector(void)
Destructor.
virtual std::string name(void)
Name of the inspector.
static const Options def
Default options.
static void post(Home home)
Post brancher.
Window with associated ostream, used for inspecting Gist nodes.
void finalize(void)
Clean up when Gist exits.
void flush(void)
Flush stream.
virtual ~TextOutput(void)
Destructor.
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.
Heap heap
The single global heap.
int bab(Space *root, const Gist::Options &opt=Gist::Options::def)
Create a new stand-alone Gist for branch-and-bound search of root.
The Gecode Interactive Search Tool.
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