Generated on Mon Nov 30 23:53:48 2009 for Gecode by doxygen 1.6.1

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  Print
 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

Enumerator:
BK_NORMAL 
BK_SPECIAL_IN 
BK_SPECIAL_OUT 
BK_STEP 

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.

Definition at line 61 of file drawingcursor.cpp.

Definition at line 62 of file drawingcursor.cpp.

const int Gecode::Gist::failedWidth = 14

Definition at line 63 of file drawingcursor.cpp.

Definition at line 64 of file drawingcursor.cpp.

Definition at line 65 of file drawingcursor.cpp.

Definition at line 66 of file drawingcursor.cpp.

Definition at line 67 of file drawingcursor.cpp.

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.