46 namespace Gecode {
namespace Gist {
110 if (
char* gd = getenv(
"GECODEDIR")) {
111 unsigned int gdl =
static_cast<unsigned int>(strlen(gd) + 32U);
114 strcat(gdb,
"/bin/");
115 QCoreApplication::addLibraryPath(gdb);
120 char argv0=
'\0';
char* argv1=&argv0;
124 QApplication app(argc, &argv1);
std::ostream & getStream(void)
Get the stream that is used to output text.
virtual ~Inspector(void)
Destructor.
TextOutput(const std::string &name)
Constructor.
virtual void finalize(void)
Clean up when Gist exits.
void addHtml(const char *s)
Add html text s to the output.
void stopBranch(Space &home)
A branching that stops exploration.
virtual std::string name(void)
Name of the inspector.
void flush(void)
Flush stream.
Heap heap
The single global heap.
void flush(void)
Flush output.
virtual std::string name(void)
Name of the comparator.
T * alloc(long unsigned int n)
Allocate block of n objects of type T from heap.
int n
Number of negative literals for node type.
Main window for stand-alone Gist.
void finalize(void)
Clean up when Gist exits.
virtual std::string name(void)
Name of the inspector.
void init(void)
Initialize the implementation object.
virtual ~TextOutput(void)
Destructor.
void free(T *b, long unsigned int n)
Delete n objects starting at b.
virtual void finalize(void)
Clean up when Gist exits.
int bab(Space *root, const Gist::Options &opt)
Create a new stand-alone Gist for branch-and-bound search of root.
std::ostream & getStream(void)
Return stream that prints to the text display.
static const Options def
Default options.
virtual ~Comparator(void)
Destructor.
int explore(Space *root, bool bab, const Options &opt)
Create a new stand-alone Gist for root using bab.
Gecode toplevel namespace
void insertHtml(const QString &s)
Add html string s to the output.
Window with associated ostream, used for inspecting Gist nodes.
static void post(Home home)
Post brancher.