Generated on Wed Feb 7 10:29:33 2018 for Gecode by doxygen 1.6.3

Gecode::Search::Seq::DFS< Tracer > Class Template 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

template<class Tracer>
class Gecode::Search::Seq::DFS< Tracer >

Depth-first search engine implementation.

Definition at line 50 of file dfs.hh.


Constructor & Destructor Documentation

template<class Tracer >
Gecode::Search::Seq::DFS< Tracer >::DFS ( Space s,
const Options o 
) [inline]

Initialize for space s with options o.

Definition at line 42 of file dfs.hpp.

template<class Tracer >
Gecode::Search::Seq::DFS< Tracer >::~DFS ( void   )  [inline]

Destructor.

Definition at line 181 of file dfs.hpp.


Member Function Documentation

template<class Tracer >
Space * Gecode::Search::Seq::DFS< Tracer >::next ( void   )  [inline]

Search for next solution

Definition at line 82 of file dfs.hpp.

template<class Tracer >
Statistics Gecode::Search::Seq::DFS< Tracer >::statistics ( void   )  const [inline]

Return statistics.

Definition at line 168 of file dfs.hpp.

template<class Tracer >
void Gecode::Search::Seq::DFS< Tracer >::constrain ( const Space b  )  [inline]

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

Definition at line 174 of file dfs.hpp.

template<class Tracer >
void Gecode::Search::Seq::DFS< Tracer >::reset ( Space s  )  [inline]

Reset engine to restart at space s.

Definition at line 60 of file dfs.hpp.

template<class Tracer >
NoGoods & Gecode::Search::Seq::DFS< Tracer >::nogoods ( void   )  [inline]

Return no-goods.

Definition at line 76 of file dfs.hpp.


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