67 static const int n_ops = 8 * 1024;
69 static const int n = 16;
95 for (
int o=n_ops; o--; )
101 if ((s[i] != NULL)) {
103 delete s[
i]; s[
i]=NULL; n_s--;
118 delete s[
i]; s[
i]=NULL; n_s--;
TestSpace(TestSpace &s)
Constructor for cloning s.
static Gecode::Support::RandomGenerator rand
Random number generator.
virtual Space * copy(void)
Copy during cloning.
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)
Space * clone(CloneStatistics &stat=unused_clone) const
Clone space.
Base class for all tests to be run
void update(Space &home, VarImpVar< VarImp > &y)
Update this variable to be a clone of variable y.
AFC(void)
Initialize test.
Space(void)
Default constructor.
void rel(Home home, FloatVar x0, FloatRelType frt, FloatVal n)
Propagates .
SpaceStatus status(StatusStatistics &stat=unused_status)
Query space status.
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.