34#ifndef __GECODE_SEARCH_SEQ_PBS_HH__
35#define __GECODE_SEARCH_SEQ_PBS_HH__
39namespace Gecode {
namespace Search {
namespace Seq {
113 virtual Space* next(
void);
117 virtual bool stopped(
void)
const;
119 virtual void constrain(
const Space&
b);
struct Gecode::@603::NNF::@65::@66 b
For binary nodes (and, or, eqv)
int n
Number of negative literals for node type.
Search engine implementation interface
Sequential portfolio engine implementation.
SharedStopInfo ssi
Shared slave information.
unsigned int n_slaves
Number of slave engines.
bool slave_stop
Whether a slave has been stopped.
unsigned int slice
Size of a slice.
Statistics stat
Master statistics.
unsigned int cur
Current slave to run.
Stop object used for controling slaves in a portfolio.
unsigned long int l
The current failure limit, incremented for each slice.
bool done
Whether search stopped because the slice is done.
Runnable slave of a portfolio master.
bool stopped(void) const
Check whether slave has been stopped.
Space * next(void)
Return next solution.
Engine * slave
The slave engine.
void constrain(const Space &b)
Constrain with better solution b.
void init(Engine *s, Stop *so)
Initialize with slave s and its stop object so.
Statistics statistics(void) const
Return statistics of slave.
~Slave(void)
Delete slave.
void run(void)
Perform one run.
Base-class for Stop-object.
Gecode toplevel namespace
#define GECODE_SEARCH_EXPORT