38 #ifndef __GECODE_SEARCH_SEQ_PBS_HH__ 39 #define __GECODE_SEARCH_SEQ_PBS_HH__ 43 namespace Gecode {
namespace Search {
namespace Seq {
85 bool stopped(
void)
const;
87 void constrain(
const Space&
b);
117 virtual Space* next(
void);
121 virtual bool stopped(
void)
const;
123 virtual void constrain(
const Space&
b);
Search engine implementation interface
#define GECODE_SEARCH_EXPORT
void stop(Support::Timer &timer, std::ostream &os)
Get time since start of timer and print user friendly time information.
unsigned int n_slaves
Number of slave engines.
Engine * slave
The slave engine.
Stop object used for controling slaves in a portfolio.
unsigned int slice
Size of a slice.
int n
Number of negative literals for node type.
Runnable slave of a portfolio master.
SharedStopInfo ssi
Shared slave information.
struct Gecode::@585::NNF::@62::@63 b
For binary nodes (and, or, eqv)
bool slave_stop
Whether a slave has been stopped.
bool done
Whether search stopped because the slice is done.
Statistics stat
Master statistics.
Gecode toplevel namespace
unsigned int cur
Current slave to run.
Base-class for Stop-object.
unsigned long int l
The current failure limit, incremented for each slice.
Sequential portfolio engine implementation.