Public Member Functions |
| TestSpace (int n, Gecode::IntSet &d0, bool r, Test *t, bool log=true) |
| Create test space.
|
| TestSpace (bool share, TestSpace &s) |
| Constructor for cloning s.
|
virtual Gecode::Space * | copy (bool share) |
| 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.
|
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.
|
Public Attributes |
Gecode::IntSet | d |
| Initial domain.
|
Gecode::IntVarArray | x |
| Variables to be tested.
|
Gecode::BoolVar | b |
| Control variable for reified propagators.
|
bool | reified |
| Whether the test is for a reified propagator.
|
Test * | test |
| The test currently run.
|
Space for executing tests.