Gecode::Gist Namespace Reference
The Gecode Interactive Search Tool. More...
Namespaces | |
namespace | LayoutConfig |
Parameters for the tree layout. | |
Classes | |
class | DrawingCursor |
A cursor that draws a tree on a QWidget. More... | |
class | Logos |
Class holding Gecode and Gist logo icons. More... | |
class | LayoutCursor |
A cursor that computes a tree layout for VisualNodes. More... | |
class | AboutGist |
Display information about Gist. More... | |
class | GistMainWindow |
Main window for stand-alone Gist. More... | |
class | NodeAllocatorBase |
Node allocator. More... | |
class | Node |
Base class for nodes of the search tree. More... | |
class | NodeCursor |
A cursor that can be run over a tree. More... | |
class | HideFailedCursor |
A cursor that marks failed subtrees as hidden. More... | |
class | UnhideAllCursor |
A cursor that marks all nodes in the tree as not hidden. More... | |
class | UnstopAllCursor |
A cursor that marks all nodes in the tree as not stopping. More... | |
class | NextSolCursor |
A cursor that finds the next solution. More... | |
class | StatCursor |
A cursor that collects statistics. More... | |
class | DisposeCursor |
A cursor that frees all memory. More... | |
class | NodeStatInspector |
Display information about nodes. More... | |
class | NodeVisitor |
Base class for a visitor that runs a cursor over a tree. More... | |
class | PostorderNodeVisitor |
Run a cursor over a tree, processing nodes in post-order. More... | |
class | PreorderNodeVisitor |
Run a cursor over a tree, processing nodes in pre-order. More... | |
class | NodeWidget |
Small node drawings for the status bar. More... | |
class | PreferencesDialog |
Preferences dialog for Gist. More... | |
class | Gist |
Gecode Interactive Search Tool More... | |
class | Branch |
Representation of a branch in the search tree. More... | |
class | Statistics |
Statistics about the search tree More... | |
class | BestNode |
Static reference to the currently best space. More... | |
class | SpaceNode |
A node of a search tree of Gecode spaces. More... | |
class | StopChoice |
Choice for StopBrancher More... | |
class | StopBrancher |
Brancher that stops exploration in Gist More... | |
class | GistOutputStream |
An outputstream that prints on a QTextEdit. More... | |
class | TextOutputI |
Window with associated ostream, used for inspecting Gist nodes. More... | |
class | SearchItem |
A stack item for depth first search. More... | |
class | SearcherThread |
A thread that concurrently explores the tree. More... | |
class | TreeCanvas |
A canvas that displays the search tree. More... | |
class | ShapeAllocator |
Allocate shapes statically. More... | |
class | Layouter |
Helper functions for the layout algorithm. More... | |
class | Layout |
Layout parameters More... | |
class | BoundingBox |
Bounding box. More... | |
class | Extent |
Extent representing shape of a tree at one depth level More... | |
class | Shape |
The shape of a subtree. More... | |
class | VisualNode |
Node class that supports visual layout More... | |
class | Inspector |
Abstract base class for inspectors. More... | |
class | Comparator |
Abstract base class for comparators. More... | |
class | TextOutput |
An window for simple text output. More... | |
class | |
An inspector for printing simple text output. More... | |
class | VarComparator |
A simple comparator. More... | |
class | Options |
Options for Gist More... | |
Enumerations | |
enum | NodeStatus { SOLVED, FAILED, BRANCH, UNDETERMINED, STOP, UNSTOP } |
Status of nodes in the search tree. More... | |
Functions | |
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. | |
int | dfs (Space *root, const Gist::Options &opt=Gist::Options::def) |
Create a new stand-alone Gist for root. | |
int | bab (Space *root, const Gist::Options &opt=Gist::Options::def) |
Create a new stand-alone Gist for branch-and-bound search of root. | |
Variables | |
const double | nodeWidth = 20.0 |
const double | halfNodeWidth = nodeWidth / 2.0 |
const double | quarterNodeWidth = halfNodeWidth / 2.0 |
const double | failedWidth = 14.0 |
const double | halfFailedWidth = failedWidth / 2.0 |
const double | quarterFailedWidthF = failedWidth / 4.0 |
const double | shadowOffset = 3.0 |
const double | hiddenDepth |
ShapeAllocator | shapeAllocator |
Allocate shapes statically. | |
const unsigned char | zoomToFitIcon [] |
Detailed Description
The Gecode Interactive Search Tool.
The Gecode::Gist namespace contains the Gecode Interactive Search Tool, a Qt-based graphical search engine.
Enumeration Type Documentation
Status of nodes in the search tree.
- Enumerator:
SOLVED Node representing a solution.
FAILED Node representing failure.
BRANCH Node representing a branch.
UNDETERMINED Node that has not been explored yet.
STOP Node representing stop point.
UNSTOP Node representing ignored stop point.
Definition at line 48 of file spacenode.hh.
Function Documentation
int Gecode::Gist::explore | ( | Space * | root, | |
bool | bab, | |||
const Options & | opt | |||
) |
Create a new stand-alone Gist for root using bab.
void Gecode::Gist::stopBranch | ( | Space & | home | ) |
A branching that stops exploration.
Variable Documentation
const double Gecode::Gist::nodeWidth = 20.0 |
Definition at line 59 of file drawingcursor.cpp.
const double Gecode::Gist::halfNodeWidth = nodeWidth / 2.0 |
Definition at line 60 of file drawingcursor.cpp.
const double Gecode::Gist::quarterNodeWidth = halfNodeWidth / 2.0 |
Definition at line 61 of file drawingcursor.cpp.
const double Gecode::Gist::failedWidth = 14.0 |
Definition at line 62 of file drawingcursor.cpp.
const double Gecode::Gist::halfFailedWidth = failedWidth / 2.0 |
Definition at line 63 of file drawingcursor.cpp.
const double Gecode::Gist::quarterFailedWidthF = failedWidth / 4.0 |
Definition at line 64 of file drawingcursor.cpp.
const double Gecode::Gist::shadowOffset = 3.0 |
Definition at line 65 of file drawingcursor.cpp.
const double Gecode::Gist::hiddenDepth |
static_cast<double>(Layout::dist_y) + failedWidth
Definition at line 66 of file drawingcursor.cpp.
Allocate shapes statically.
Definition at line 68 of file visualnode.cpp.
const unsigned char Gecode::Gist::zoomToFitIcon[] |
Definition at line 40 of file zoomToFitIcon.hpp.