Base class for testing iterators
More...
|
| static const int | n = 16 |
| | Maximum array size.
|
|
| | Base (std::string s) |
| | Create and register test with name s.
|
| const std::string & | name (void) const |
| | Return name of test.
|
| Base * | next (void) const |
| | Return next test.
|
| void | next (Base *n) |
| | Set next test.
|
| virtual bool | run (void)=0 |
| | Run test.
|
| bool | fixpoint (void) |
| | Throw a coin whether to compute a fixpoint.
|
| virtual | ~Base (void) |
| | Destructor.
|
| static void | sort (void) |
| | Sort tests alphabetically.
|
| static Base * | tests (void) |
| | Return all tests.
|
| static bool | fixpoint (Gecode::Support::RandomGenerator &rand) |
| | Throw a coin whether to compute a fixpoint.
|
| static std::string | str (bool b) |
| | Map bool to string.
|
| static std::string | str (int i) |
| | Map integer to string.
|
| static std::string | str (const Gecode::IntArgs &i) |
| | Map integer array to string.
|
| Gecode::Support::RandomGenerator | _rand |
| | Random number generator.
|
| int | main (int argc, char *argv[]) |
| | Main function.
|
Base class for testing iterators
Definition at line 70 of file array.cpp.
◆ Iterator()
| Test::Array::Iterator::Iterator |
( |
const std::string & | name | ) |
|
|
inlineprotected |
Initialize test.
Definition at line 75 of file array.cpp.
◆ runTestForArray()
| bool Test::Array::Iterator::runTestForArray |
( |
Array & | a | ) |
|
|
inlineprotected |
Perform actual tests.
Definition at line 77 of file array.cpp.
| const int Test::Array::Iterator::n = 16 |
|
staticprotected |
Maximum array size.
Definition at line 73 of file array.cpp.
The documentation for this class was generated from the following file: