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 (bool share, SetTestSpace &s) |
| Constructor for cloning s.
|
virtual Gecode::Space * | copy (bool share) |
| Copy space during cloning.
|
void | post (void) |
| Post propagator.
|
bool | failed (void) |
| Compute a fixpoint and check for failure.
|
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 | addToGlb (int v, int i, const SetAssignment &a) |
| Remove value v from the lower bound of x[i].
|
bool | fixprob (void) |
| Perform fixpoint computation.
|
bool | prune (const SetAssignment &a) |
| Perform random pruning.
|
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.
Definition at line 198 of file set.hh.