71 static const int n_b = 1024;
86 for (
int i=0;
i<
n_b;
i++) {
88 if (!
b(*s))
return false;
90 if (
b(*s))
return false;
100 for (
int i=0;
i<
n_b;
i++) {
102 if (!
b(*s))
return false;
105 for (
int i=0;
i<
n_b;
i++) {
107 if (bs[
i](*s))
return false;
113 for (
int i=0;
i<
n_b;
i++) {
115 if (!
b(*s))
return false;
118 for (
int i=n_b;
i--; ) {
120 if (bs[
i](*s))
return false;
126 for (
int i=0;
i<
n_b;
i++) {
128 if (!
b(*s))
return false;
IntVarBranch INT_VAR_NONE(void)
Select first unassigned variable.
Gecode::IntVarArray x
An array of integer variables.
static Gecode::Support::RandomGenerator rand
Random number generator.
virtual Space * copy(bool share)
Copy during cloning.
bool run(void)
Perform actual tests.
void update(Space &, bool share, VarArray< Var > &a)
Update array to be a clone of array a.
Gecode::IntArgs i(4, 1, 2, 3, 4)
int index(void)
Return random index.
static const int n_b
How many branchers to create.
IntValBranch INT_VAL_MIN(void)
Select smallest value.
Base class for all tests to be run
TestSpace(void)
Constructor for creation.
Test for brancher handles
BrancherHandle(void)
Initialize test.
Space(void)
Default constructor.
SpaceStatus status(StatusStatistics &stat=unused_status)
Query space status.
Gecode::BrancherHandle post(void)
Post arbitrary brancher and return its handle.
struct Gecode::@518::NNF::@57::@58 b
For binary nodes (and, or, eqv)
Gecode toplevel namespace
BrancherHandle branch(Home home, const FloatVarArgs &x, FloatVarBranch vars, FloatValBranch vals, FloatBranchFilter bf, FloatVarValPrint vvp)
Branch over x with variable selection vars and value selection vals.
void kill(Space &home)
Kill the brancher.
struct Gecode::@518::NNF::@57::@59 a
For atomic nodes.
TestSpace(bool share, TestSpace &s)
Constructor for cloning s.
Space is solved (no brancher left)