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 | Layout |
Layout parameters. 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 | 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 | NextSolCursor |
A cursor that finds the next solution. More... | |
class | StatCursor |
A cursor that collects statistics. 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 | StepDesc |
Description for step nodes. More... | |
class | SpecialDesc |
Description for special nodes. 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 | GistOutputStream |
An outputstream that prints on a QTextEdit. More... | |
class | TextOutput |
Window with associated ostream, used for inspecting Gist nodes. More... | |
class | SearchItem |
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 | 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 | TextInspector |
An inspector base class for simple text output. More... | |
class | |
An inspector for printing simple text output. More... | |
class | Options |
Options for Gist. More... | |
Enumerations | |
enum | BranchKind { BK_NORMAL, BK_SPECIAL_IN, BK_SPECIAL_OUT, BK_STEP } |
enum | NodeStatus { SOLVED, FAILED, BRANCH, UNDETERMINED, SPECIAL, STEP } |
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. | |
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 int | nodeWidth = 20 |
const int | halfNodeWidth = nodeWidth / 2 |
const int | quarterNodeWidth = halfNodeWidth / 2 |
const int | failedWidth = 14 |
const int | halfFailedWidth = failedWidth / 2 |
const int | shadowOffset = 3 |
const int | dSolvedOffset = nodeWidth / 6 |
const int | dSolvedHalfWidth = (nodeWidth-2*dSolvedOffset) / 2 |
const int | hiddenDepth = Layout::dist_y + failedWidth |
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
Definition at line 46 of file spacenode.cpp.
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.
SPECIAL Node representing user controlled exploration.
STEP Node representing one propagation step.
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.
Variable Documentation
const int Gecode::Gist::nodeWidth = 20 |
Definition at line 60 of file drawingcursor.cpp.
const int Gecode::Gist::halfNodeWidth = nodeWidth / 2 |
Definition at line 61 of file drawingcursor.cpp.
const int Gecode::Gist::quarterNodeWidth = halfNodeWidth / 2 |
Definition at line 62 of file drawingcursor.cpp.
const int Gecode::Gist::failedWidth = 14 |
Definition at line 63 of file drawingcursor.cpp.
const int Gecode::Gist::halfFailedWidth = failedWidth / 2 |
Definition at line 64 of file drawingcursor.cpp.
const int Gecode::Gist::shadowOffset = 3 |
Definition at line 65 of file drawingcursor.cpp.
const int Gecode::Gist::dSolvedOffset = nodeWidth / 6 |
Definition at line 66 of file drawingcursor.cpp.
const int Gecode::Gist::dSolvedHalfWidth = (nodeWidth-2*dSolvedOffset) / 2 |
Definition at line 67 of file drawingcursor.cpp.
const int Gecode::Gist::hiddenDepth = Layout::dist_y + failedWidth |
Definition at line 68 of file drawingcursor.cpp.
Allocate shapes statically.
Definition at line 65 of file visualnode.cpp.
const unsigned char Gecode::Gist::zoomToFitIcon[] |
Definition at line 40 of file zoomToFitIcon.hpp.