38 #ifndef __GECODE_SEARCH_META_SEQUENTIAL_PBS_HH__ 39 #define __GECODE_SEARCH_META_SEQUENTIAL_PBS_HH__ 43 namespace Gecode {
namespace Search {
namespace Meta {
namespace Sequential {
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
int n
Number of negative literals for node type.
struct Gecode::@579::NNF::@61::@62 b
For binary nodes (and, or, eqv)
Gecode toplevel namespace
Base-class for Stop-object.