42namespace Gecode {
namespace Gist {
106 if (
char* gd = getenv(
"GECODEDIR")) {
107 unsigned int gdl =
static_cast<unsigned int>(strlen(gd) + 32U);
110 strcat(gdb,
"/bin/");
111 QCoreApplication::addLibraryPath(gdb);
116 char argv0=
'\0';
char* argv1=&argv0;
120 QApplication app(argc, &argv1);
int n
Number of negative literals for node type.
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 flush(void)
Flush output.
void insertHtml(const QString &s)
Add html string s to the output.
std::ostream & getStream(void)
Return stream that prints to the text display.
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.
void free(T *b, long unsigned int n)
Delete n objects starting at b.
T * alloc(long unsigned int n)
Allocate block of n objects of type T from heap.
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.
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