Generated on Wed Nov 5 2014 05:18:40 for Gecode by doxygen 1.7.6.1
Gecode::DFS< T > Class Template Reference

Depth-first search engine. More...

#include <search.hh>

List of all members.

Public Member Functions

 DFS (T *s, const Search::Options &o=Search::Options::def)
 Initialize search engine for space s with options o.
T * next (void)
 Return next solution (NULL, if none exists or search has been stopped)
Search::Statistics statistics (void) const
 Return statistics.
bool stopped (void) const
 Check whether engine has been stopped.
NoGoodsnogoods (void)
 Return no-goods.

Detailed Description

template<class T>
class Gecode::DFS< T >

Depth-first search engine.

This class supports depth-first search for subclasses T of Space.

Definition at line 489 of file search.hh.


Constructor & Destructor Documentation

template<class T>
Gecode::DFS< T >::DFS ( T *  s,
const Search::Options o = Search::Options::def 
) [inline]

Initialize search engine for space s with options o.

Definition at line 47 of file dfs.hpp.


Member Function Documentation

template<class T >
T * Gecode::DFS< T >::next ( void  ) [inline]

Return next solution (NULL, if none exists or search has been stopped)

Definition at line 52 of file dfs.hpp.

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

Return statistics.

Definition at line 58 of file dfs.hpp.

template<class T >
bool Gecode::DFS< T >::stopped ( void  ) const [inline]

Check whether engine has been stopped.

Definition at line 64 of file dfs.hpp.

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

Return no-goods.

Definition at line 70 of file dfs.hpp.


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