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--;
109 (void) s[j]->status();
118 delete s[i]; s[i]=NULL; n_s--;
void post(void)
Post arbitrary propagator.
TestSpace(TestSpace &s)
Constructor for cloning s.
TestSpace(void)
Constructor for creation.
virtual Space * copy(void)
Copy during cloning.
Gecode::IntVar x
Two integer variables.
Test for AFC infrastructure
AFC(void)
Initialize test.
static const int n
How many spaces to maintain.
bool run(void)
Perform actual tests.
static const int n_ops
How many test operations to be performed.
int index(void)
Return random index.
int space(TestSpace *s[])
Return random index of non-null space.
Base class for all tests to be run
static Gecode::Support::RandomGenerator rand
Random number generator.
Base(const std::string &s)
Create and register test with name s.
void rel(Home home, FloatVar x0, FloatRelType frt, FloatVar x1)
Post propagator for .
Space(void)
Default constructor.
Space * clone(CloneStatistics &stat=unused_clone) const
Clone space.
#define GECODE_NEVER
Assert that this command is never executed.