Generated on Tue Feb 11 2025 17:33:26 for Gecode by doxygen 1.12.0
Gecode::Search::Seq Namespace Reference

Classes

class  BAB
 Implementation of depth-first branch-and-bound search engine. More...
 
class  Dead
 A dead engine (failed root) More...
 
class  DFS
 Depth-first search engine implementation. More...
 
class  LDS
 Limited discrepancy search engine implementation. More...
 
class  Path
 Depth-first path (stack of edges) supporting recomputation. More...
 
class  PBS
 Sequential portfolio engine implementation. More...
 
class  PortfolioStop
 Stop object used for controling slaves in a portfolio. More...
 
class  Probe
 Probe engine for LDS More...
 
class  RBS
 Engine for restart-based search. More...
 
class  RestartStop
 Stop-object for restart engine More...
 
class  SharedStopInfo
 Shared stop information. More...
 
class  Slave
 Runnable slave of a portfolio master. More...
 

Functions

Stoppbsstop (Stop *so)
 Create stop object.
 
Enginepbsengine (Engine **slaves, Stop **stops, unsigned int n_slaves, const Statistics &stat, const Search::Options &opt, bool best)
 Create sequential portfolio engine.
 
Stoprbsstop (Stop *so)
 Create stop object.
 
Enginerbsengine (Space *master, Stop *stop, Engine *slave, const Search::Statistics &stat, const Options &opt, bool best)
 Create restart engine.
 
Enginedead (const Options &o, const Statistics &stat)
 

Function Documentation

◆ pbsstop()

Stop * Gecode::Search::Seq::pbsstop ( Stop * so)

Create stop object.

Definition at line 39 of file pbs.cpp.

◆ pbsengine()

Engine * Gecode::Search::Seq::pbsengine ( Engine ** slaves,
Stop ** stops,
unsigned int n_slaves,
const Statistics & stat,
const Search::Options & opt,
bool best )

Create sequential portfolio engine.

Definition at line 44 of file pbs.cpp.

◆ rbsstop()

Stop * Gecode::Search::Seq::rbsstop ( Stop * stop)

Create stop object.

Definition at line 39 of file rbs.cpp.

◆ rbsengine()

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

Create restart engine.

Definition at line 44 of file rbs.cpp.

◆ dead()

Engine * Gecode::Search::Seq::dead ( const Options & o,
const Statistics & stat )

Definition at line 90 of file dead.cpp.