Generated on Tue Apr 18 10:24:05 2017 for Gecode by doxygen 1.6.3

Gecode::Search::Meta Namespace Reference

Meta search engine implementations More...

Namespaces

namespace  Parallel
 

Parallel meta search engine implementations


namespace  Sequential
 

Sequential meta search engine implementations


Classes

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

Functions

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

Detailed Description

Meta search engine implementations


Function Documentation

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.

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

Build a sequential engine.

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

Build a sequential engine.

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

Build a parallel engine.

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

Build a parallel engine.

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

Create stop object.

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

Create restart engine.