Public Member Functions |
| TestSpace (int n, Gecode::FloatVal &d, Gecode::FloatNum s, Test *t) |
| Create test space.
|
| TestSpace (int n, Gecode::FloatVal &d, Gecode::FloatNum s, Test *t, Gecode::ReifyMode rm) |
| Create test space.
|
| TestSpace (bool share, TestSpace &s) |
| Constructor for cloning s.
|
virtual Gecode::Space * | copy (bool share) |
| Copy space during cloning.
|
virtual void | dropUntil (const Assignment &a) |
| Add constraints to skip solutions to the a assignment.
|
bool | assigned (void) const |
| Test whether all variables are assigned.
|
bool | matchAssignment (const Assignment &a) const |
| Test whether all variables match assignment a.
|
void | post (void) |
| Post propagator.
|
bool | failed (void) |
| Compute a fixpoint and check for failure.
|
void | rel (int i, Gecode::FloatRelType frt, Gecode::FloatVal n) |
| Perform integer tell operation on x[i].
|
void | rel (bool sol) |
| Perform Boolean tell on b.
|
void | assign (const Assignment &a, MaybeType &sol, bool skip=false) |
| Assign all (or all but one, if skip is true) variables to values in a If assignment of a variable is MT_MAYBE (if the two intervals are contiguous), sol is set to MT_MAYBE.
|
void | bound (void) |
| Assing a random variable to a random bound.
|
Gecode::FloatNum | cut (int *cutDirections) |
| Cut the bigger variable to an half sized interval. It returns the new size of the cut interval. cutDirections gives the direction to follow (upper part or lower part of the interval).
|
void | prune (int i) |
| 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.
|
unsigned int | propagators (void) |
| Return the number of propagators.
|
Public Attributes |
Gecode::FloatVal | d |
| Initial domain.
|
Gecode::FloatNum | step |
| Step for going to next solution.
|
Gecode::FloatVarArray | 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.