71 static const int n_ops = 8 * 1024;
73 static const int n = 16;
99 for (
int o=n_ops; o--; )
105 if ((s[i] != NULL)) {
107 delete s[
i]; s[
i]=NULL; n_s--;
113 (void) s[j]->status();
122 delete s[
i]; s[
i]=NULL; n_s--;
void update(Space &home, bool share, VarImpVar< VarImp > &y)
Update this variable to be a clone of variable y.
static Gecode::Support::RandomGenerator rand
Random number generator.
Space * clone(bool share=true, CloneStatistics &stat=unused_clone) const
Clone space.
TestSpace(bool share, TestSpace &s)
Constructor for cloning s.
void post(void)
Post arbitrary propagator.
static const int n_ops
How many test operations to be performed.
Test for AFC infrastructure
TestSpace(void)
Constructor for creation.
Gecode::IntArgs i(4, 1, 2, 3, 4)
Base class for all tests to be run
AFC(void)
Initialize test.
virtual Space * copy(bool share)
Copy during cloning.
Space(void)
Default constructor.
void rel(Home home, FloatVar x0, FloatRelType frt, FloatVal n)
Propagates .
Gecode::IntVar x
Two integer variables.
static const int n
How many spaces to maintain.
bool run(void)
Perform actual tests.
#define GECODE_NEVER
Assert that this command is never executed.
int space(TestSpace *s[])
Return random index of non-null space.
int index(void)
Return random index.