38 #ifndef __GECODE_SEARCH_META_PARALLEL_PBS_HH__ 39 #define __GECODE_SEARCH_META_PARALLEL_PBS_HH__ 43 namespace Gecode {
namespace Search {
namespace Meta {
namespace Parallel {
51 volatile bool* tostop;
56 void share(
volatile bool* ts);
62 bool stop(
void)
const;
66 template<
class Collect>
70 template<
class Collect>
85 bool stopped(
void)
const;
87 void constrain(
const Space&
b);
89 virtual void run(
void);
101 static const bool best =
false;
109 bool empty(
void)
const;
133 bool empty(
void)
const;
141 template<
class Collect>
169 virtual Space* next(
void);
173 virtual bool stopped(
void)
const;
175 virtual void constrain(
const Space&
b);
Search engine implementation interface
#define GECODE_SEARCH_EXPORT
An interface for objects that can be run by a thread.
A mutex for mutual exclausion among several threads.
int n
Number of negative literals for node type.
An event for synchronization.
struct Gecode::@579::NNF::@61::@62 b
For binary nodes (and, or, eqv)
Post propagator for SetVar SetOpType SetVar SetRelType r
Queue with arbitrary number of elements.
Gecode toplevel namespace
Base-class for Stop-object.