Space for executing tests.
More...
#include <int.hh>
List of all members.
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) |
| 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.
|
Detailed Description
Space for executing tests.
Definition at line 130 of file int.hh.
Constructor & Destructor Documentation
Create test space.
Creates n variables with domain d0 and stores whether the test is for a reified propagator (r), and the test itself (t).
Definition at line 86 of file int.cpp.
TestSpace::TestSpace |
( |
bool |
share, |
|
|
TestSpace & |
s | |
|
) |
| | |
Constructor for cloning s.
Definition at line 96 of file int.cpp.
Member Function Documentation
bool TestSpace::assigned |
( |
void |
|
) |
const |
Test whether all variables are assigned.
Definition at line 108 of file int.cpp.
void TestSpace::post |
( |
void |
|
) |
|
Post propagator.
Definition at line 116 of file int.cpp.
bool TestSpace::failed |
( |
void |
|
) |
|
Compute a fixpoint and check for failure.
Definition at line 129 of file int.cpp.
Perform integer tell operation on x[i].
Definition at line 141 of file int.cpp.
void TestSpace::rel |
( |
bool |
sol |
) |
|
Perform Boolean tell on b.
Definition at line 158 of file int.cpp.
void TestSpace::assign |
( |
const Assignment & |
a, |
|
|
bool |
skip = false | |
|
) |
| | |
Assign all (or all but one, if skip is true) variables to values in a.
Definition at line 167 of file int.cpp.
void TestSpace::bound |
( |
void |
|
) |
|
Assing a random variable to a random bound.
Definition at line 179 of file int.cpp.
void TestSpace::prune |
( |
int |
i, |
|
|
bool |
bounds_only | |
|
) |
| | |
Prune some random values from variable i.
If bounds_only is true, then the pruning is only done on the bounds of the variable.
Definition at line 191 of file int.cpp.
void TestSpace::prune |
( |
void |
|
) |
|
Prune some random values for some random variable.
Definition at line 224 of file int.cpp.
Prune values but not those in assignment a.
Definition at line 235 of file int.cpp.
Member Data Documentation
Initial domain.
Definition at line 133 of file int.hh.
Variables to be tested.
Definition at line 135 of file int.hh.
Control variable for reified propagators.
Definition at line 137 of file int.hh.
Whether the test is for a reified propagator.
Definition at line 139 of file int.hh.
The test currently run.
Definition at line 141 of file int.hh.
The documentation for this class was generated from the following files: