#include <gecode/kernel.hh>
#include <gecode/support/auto-link.hpp>
#include <gecode/search/exception.hpp>
#include <gecode/search/statistics.hpp>
#include <gecode/search/options.hpp>
#include <gecode/search/stop.hpp>
#include <gecode/search/cutoff.hpp>
#include <gecode/search/engine-base.hpp>
#include <gecode/search/dfs.hpp>
#include <gecode/search/bab.hpp>
#include <gecode/search/rbs.hpp>
Go to the source code of this file.
Classes | |
class | Gecode::Search::UninitializedCutoff |
Exception: Uninitialized cutoff for restart-based search More... | |
class | Gecode::Search::Statistics |
Search engine statistics More... | |
class | Gecode::Search::Options |
Search engine options More... | |
class | Gecode::RBS< E, T > |
Meta-engine performing restart-based search. More... | |
class | Gecode::Search::Stop |
Base-class for Stop-object. More... | |
class | Gecode::Search::NodeStop |
Stop-object based on number of nodes More... | |
class | Gecode::Search::FailStop |
Stop-object based on number of failures More... | |
class | Gecode::Search::TimeStop |
Stop-object based on time More... | |
class | Gecode::Search::MetaStop |
Stop-object for meta engine More... | |
class | Gecode::Search::Cutoff |
Base class for cutoff generators for restart-based meta engine. More... | |
class | Gecode::Search::Engine |
Search engine implementation interface More... | |
class | Gecode::EngineBase |
Base-class for search engines. More... | |
class | Gecode::DFS< T > |
Depth-first search engine. More... | |
class | Gecode::BAB< T > |
Depth-first branch-and-bound search engine. More... | |
class | Gecode::RBS< E, T > |
Meta-engine performing restart-based search. More... | |
Namespaces | |
Gecode | |
Gecode toplevel namespace | |
Gecode::Search | |
Search engines | |
Gecode::Search::Sequential | |
Sequential search engine implementations | |
Gecode::Search::Parallel | |
Parallel search engine implementations | |
Gecode::Search::Meta | |
Meta search engine implementations | |
Gecode::Search::Config | |
Search configuration | |
Macros | |
#define | GECODE_SEARCH_EXPORT |
#define | GECODE_LIBRARY_NAME "Search" |
Functions | |
template<class T > | |
T * | Gecode::dfs (T *s, const Search::Options &o=Search::Options::def) |
Invoke depth-first search engine for subclass T of space s with options o. More... | |
template<class T > | |
T * | Gecode::bab (T *s, const Search::Options &o=Search::Options::def) |
Perform depth-first branch-and-bound search for subclass T of space s and options o. More... | |
template<template< class > class E, class T > | |
T * | Gecode::rbs (T *s, const Search::Options &o) |
Perform restart-based search. More... | |
Variables | |
const bool | Gecode::Search::Config::clone = true |
Whether engines create a clone when being initialized. More... | |
const double | Gecode::Search::Config::threads = 1.0 |
Number of threads to use. More... | |
const unsigned int | Gecode::Search::Config::c_d = 8 |
Create a clone after every c_d commits (commit distance) More... | |
const unsigned int | Gecode::Search::Config::a_d = 2 |
Create a clone during recomputation if distance is greater than a_d (adaptive distance) More... | |
const unsigned int | Gecode::Search::Config::steal_limit = 3 |
Minimal number of open nodes for stealing. More... | |
const unsigned int | Gecode::Search::Config::initial_delay = 5 |
Initial delay in milliseconds for all but first worker thread. More... | |
const unsigned int | Gecode::Search::Config::nogoods_limit = 128 |
Depth limit for no-good generation during search. More... | |