34 #ifndef __GECODE_SEARCH_SEQ_PBS_HH__ 35 #define __GECODE_SEARCH_SEQ_PBS_HH__ 39 namespace Gecode {
namespace Search {
namespace Seq {
81 bool stopped(
void)
const;
83 void constrain(
const Space&
b);
113 virtual Space* next(
void);
117 virtual bool stopped(
void)
const;
119 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.
struct Gecode::@593::NNF::@62::@63 b
For binary nodes (and, or, eqv)
Runnable slave of a portfolio master.
SharedStopInfo ssi
Shared slave information.
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.