45 namespace Gecode {
namespace Gist {
106 char argv0=
'\0';
char* argv1=&argv0;
108 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.
void flush(void)
Flush output.
virtual std::string name(void)
Name of the comparator.
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.
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.