Public Member Functions |
| SetTestSpace (int n, Gecode::IntSet &d0, int i, SetTest *t, bool log=true) |
| Create test space without reification.
|
| SetTestSpace (int n, Gecode::IntSet &d0, int i, SetTest *t, Gecode::ReifyMode rm, bool log=true) |
| Create test space with reification.
|
| SetTestSpace (SetTestSpace &s) |
| Constructor for cloning s.
|
virtual Gecode::Space * | copy (void) |
| Copy space during cloning.
|
void | post (void) |
| Post propagator.
|
bool | failed (void) |
| Compute a fixpoint and check for failure.
|
bool | subsumed (bool b) |
| Check for subsumption if b is true.
|
void | rel (int i, Gecode::SetRelType srt, const Gecode::IntSet &is) |
| Perform set tell operation on x[i].
|
void | cardinality (int i, int cmin, int cmax) |
| Perform cardinality tell operation on x[i].
|
void | rel (int i, Gecode::IntRelType irt, int n) |
| Perform integer tell operation on y[i].
|
void | rel (bool sol) |
| Perform Boolean tell on b.
|
void | assign (const SetAssignment &a) |
| Assign all variables to values in a.
|
bool | assigned (void) const |
| Test whether all variables are assigned.
|
void | removeFromLub (int v, int i, const SetAssignment &a) |
| Remove value v from the upper bound of x[i].
|
void | removeFromLub (int v, int i, const SetAssignment &a, SetTestSpace &c) |
| Remove value v from the upper bound of x[i].
|
void | addToGlb (int v, int i, const SetAssignment &a) |
| Remove value v from the lower bound of x[i].
|
void | addToGlb (int v, int i, const SetAssignment &a, SetTestSpace &c) |
| Remove value v from the lower bound of x[i].
|
bool | fixprob (void) |
| Perform fixpoint computation.
|
bool | prune (const SetAssignment &a) |
| Perform random pruning.
|
unsigned int | propagators (void) |
| Return the number of propagators.
|
void | disable (void) |
| Disable propagators in space and compute fixpoint (make all idle).
|
void | enable (void) |
| Enable propagators in space.
|
bool | disabled (const SetAssignment &a, SetTestSpace &c) |
| Prune values also in a space c with disabled propagators, but not those in assignment a.
|
bool | same (SetTestSpace &c) |
| Check whether propagation is the same as in c.
|
Public Attributes |
Gecode::IntSet | d |
| Initial domain.
|
Gecode::SetVarArray | x |
| Set variables to be tested.
|
Gecode::IntVarArray | y |
| Int variables to be tested.
|
int | withInt |
| How many integer variables are used by the test.
|
Gecode::Reify | r |
| Reification information.
|
bool | reified |
| Whether the test is for a reified propagator.
|
SetTest * | test |
| The test currently run.
|
Space for executing set tests.