Public Member Functions |
| TestSpace (int n, Gecode::IntSet &d, Test *t) |
| Create test space without reification.
|
| TestSpace (int n, Gecode::IntSet &d, Test *t, Gecode::ReifyMode rm) |
| Create test space with reification.
|
| TestSpace (TestSpace &s) |
| Constructor for cloning s.
|
virtual Gecode::Space * | copy (void) |
| Copy space during cloning.
|
bool | assigned (void) const |
| Test whether all variables are assigned.
|
void | post (void) |
| Post propagator.
|
bool | failed (void) |
| Compute a fixpoint and check for failure.
|
int | rndvar (void) |
| Randomly select an unassigned variable.
|
void | rndrel (const Assignment &a, int i, Gecode::IntRelType &irt, int &v) |
| Randomly select a pruning rel for variable i.
|
void | rel (int i, Gecode::IntRelType irt, int n) |
| Perform integer tell operation on x[i].
|
void | rel (bool sol) |
| Perform Boolean tell on b.
|
void | assign (const Assignment &a, bool skip=false) |
| Assign all (or all but one, if skip is true) variables to values in a.
|
void | bound (void) |
| Assing a random variable to a random bound.
|
void | prune (int i, bool bounds_only) |
| Prune some random values from variable i.
|
void | prune (void) |
| Prune some random values for some random variable.
|
bool | prune (const Assignment &a, bool testfix) |
| Prune values but not those in assignment a.
|
void | disable (void) |
| Disable propagators in space and compute fixpoint (make all idle).
|
void | enable (void) |
| Enable propagators in space.
|
bool | disabled (const Assignment &a, TestSpace &c, bool testfix) |
| Prune values also in a space c with disabled propagators, but not those in assignment a.
|
unsigned int | propagators (void) |
| Return the number of propagators.
|
Public Attributes |
Gecode::IntSet | d |
| Initial domain.
|
Gecode::IntVarArray | x |
| Variables to be tested.
|
Gecode::Reify | r |
| Reification information.
|
Test * | test |
| The test currently run.
|
bool | reified |
| Whether the test is for a reified propagator.
|
Space for executing tests.