Generated on Wed Jan 4 17:49:16 2006 for Gecode by doxygen 1.4.6

search.hh File Reference

(Revision: 2551)

#include "./kernel.hh"
#include "search/statistics.icc"
#include "search/plain.icc"
#include "search/dfs.icc"
#include "search/lds.icc"
#include "search/bab.icc"
#include "search/restart.icc"

Go to the source code of this file.

Namespaces

namespace  Gecode
namespace  Gecode::Search
namespace  Gecode::Search::Config

Classes

class  Gecode::Search::Statistics
 Search engine statistics More...
class  Gecode::Search::FullStatistics
 Full search engine statistics including memory information More...
class  Gecode::Search::PlainEngine
 Interface for depth-first search engines. More...
class  Gecode::Search::DFS
 Depth-first search engine. More...
class  Gecode::DFS< T >
 Depth-first search engine. More...
class  Gecode::Search::ProbeEngine
 Probing engine for LDS. More...
class  Gecode::Search::ProbeEngine::Node
 Node in the search tree for LDS More...
class  Gecode::Search::LDS
 Limited discrepancy search engine. More...
class  Gecode::LDS< T >
 Limited discrepancy search engine. More...
class  Gecode::Search::BabEngine
 Interface for depth-first branch-and-bound search engines. More...
class  Gecode::Search::BAB
 Depth-first branch-and-bound search engine. More...
class  Gecode::BAB< T >
 Depth-first branch-and-bound search engine. More...
class  Gecode::Restart< T >
 Depth-first restart best solution search engine. More...

Functions

template<class T>
T * Gecode::dfs (T *s, unsigned int c_d=Search::Config::c_d, unsigned int a_d=Search::Config::a_d)
 Invoke depth-first search engine.
template<class T>
T * Gecode::lds (T *s, unsigned int d)
 Invoke limited-discrepancy search.
template<class T>
T * Gecode::bab (T *s, unsigned int c_d=Search::Config::c_d, unsigned int a_d=Search::Config::a_d)
 Perform depth-first branch-and-bound search.
template<class T>
T * Gecode::restart (T *s, unsigned int c_d=Search::Config::c_d, unsigned int a_d=Search::Config::a_d)
 Perform depth-first restart best solution search.

Variables

const unsigned int Gecode::Search::Config::c_d = 5
 Create a clone after every c_d commits.
const unsigned int Gecode::Search::Config::a_d = 2
 Create a clone during recomputation if distance is greater than a_d.