Generated on Tue Apr 18 10:24:06 2017 for Gecode by doxygen 1.6.3

Gecode::Search::Sequential::DFS Class Reference

Depth-first search engine implementation. More...

#include <dfs.hh>

List of all members.

Public Member Functions

 DFS (Space *s, const Options &o)
 Initialize for space s with options o.
Spacenext (void)
 Search for next solution
Statistics statistics (void) const
 Return statistics.
void constrain (const Space &b)
 Constrain future solutions to be better than b (should never be called).
void reset (Space *s)
 Reset engine to restart at space s.
NoGoodsnogoods (void)
 Return no-goods.
 ~DFS (void)
 Destructor.

Detailed Description

Depth-first search engine implementation.

Definition at line 49 of file dfs.hh.


Constructor & Destructor Documentation

Gecode::Search::Sequential::DFS::DFS ( Space s,
const Options o 
) [inline]

Initialize for space s with options o.

Definition at line 77 of file dfs.hh.

Gecode::Search::Sequential::DFS::~DFS ( void   )  [inline]

Destructor.

Definition at line 184 of file dfs.hh.


Member Function Documentation

Space * Gecode::Search::Sequential::DFS::next ( void   )  [inline]

Search for next solution

Definition at line 109 of file dfs.hh.

Statistics Gecode::Search::Sequential::DFS::statistics ( void   )  const [inline]

Return statistics.

Definition at line 173 of file dfs.hh.

void Gecode::Search::Sequential::DFS::constrain ( const Space b  )  [inline]

Constrain future solutions to be better than b (should never be called).

Definition at line 178 of file dfs.hh.

void Gecode::Search::Sequential::DFS::reset ( Space s  )  [inline]

Reset engine to restart at space s.

Definition at line 90 of file dfs.hh.

NoGoods & Gecode::Search::Sequential::DFS::nogoods ( void   )  [inline]

Return no-goods.

Definition at line 104 of file dfs.hh.


The documentation for this class was generated from the following file: