Generated on Thu Jul 25 2019 00:00:00 for Gecode by doxygen 1.8.15
Gecode::Search::Meta Namespace Reference

Meta search engine implementations More...

Namespaces

 Parallel
 Parallel meta search engine implementations
 
 Sequential
 Sequential meta search engine implementations
 

Classes

class  Dead
 A dead engine (failed root) More...
 
class  NoGoodsProp
 No-good propagator. More...
 
class  NoNGL
 Class for a sentinel no-good literal. More...
 
class  RBS
 Engine for restart-based search. More...
 
class  RestartStop
 Stop-object for restart engine More...
 

Functions

NGLdisposenext (NGL *ngl, Space &home, Propagator &p, bool c)
 Help function to cancel and dispose a no-good literal. More...
 
template<class T , template< class > class E>
Enginesequential (T *master, const Search::Statistics &stat, Options &opt)
 Build a sequential engine. More...
 
template<class T , template< class > class E>
Enginesequential (T *master, SEBs &sebs, const Search::Statistics &stat, Options &opt, bool best)
 Build a sequential engine. More...
 
template<class T , template< class > class E>
Engineparallel (T *master, const Search::Statistics &stat, Options &opt)
 Build a parallel engine. More...
 
template<class T , template< class > class E>
Engineparallel (T *master, SEBs &sebs, const Search::Statistics &stat, Options &opt, bool best)
 Build a parallel engine. More...
 
Stopstop (Stop *so)
 Create stop object. More...
 
Engineengine (Space *master, Stop *stop, Engine *slave, const Search::Statistics &stat, const Options &opt, bool best)
 Create restart engine. More...
 

Detailed Description

Meta search engine implementations

Function Documentation

◆ disposenext()

NGL* Gecode::Search::Meta::disposenext ( NGL ngl,
Space home,
Propagator p,
bool  c 
)
inline

Help function to cancel and dispose a no-good literal.

Definition at line 44 of file nogoods.cpp.

◆ sequential() [1/2]

template<class T , template< class > class E>
Engine * Gecode::Search::Meta::sequential ( T *  master,
const Search::Statistics stat,
Options opt 
)

Build a sequential engine.

Definition at line 99 of file pbs.hpp.

◆ sequential() [2/2]

template<class T , template< class > class E>
Engine * Gecode::Search::Meta::sequential ( T *  master,
SEBs sebs,
const Search::Statistics stat,
Options opt,
bool  best 
)

Build a sequential engine.

Definition at line 124 of file pbs.hpp.

◆ parallel() [1/2]

template<class T , template< class > class E>
Engine * Gecode::Search::Meta::parallel ( T *  master,
const Search::Statistics stat,
Options opt 
)

Build a parallel engine.

Definition at line 152 of file pbs.hpp.

◆ parallel() [2/2]

template<class T , template< class > class E>
Engine * Gecode::Search::Meta::parallel ( T *  master,
SEBs sebs,
const Search::Statistics stat,
Options opt,
bool  best 
)

Build a parallel engine.

Definition at line 178 of file pbs.hpp.

◆ stop()

Stop * Gecode::Search::Meta::stop ( Stop stop)

Create stop object.

Definition at line 43 of file rbs.cpp.

◆ engine()

Engine * Gecode::Search::Meta::engine ( Space master,
Stop stop,
Engine slave,
const Search::Statistics stat,
const Options opt,
bool  best 
)

Create restart engine.

Definition at line 48 of file rbs.cpp.