General test support.
|
Classes |
class | ind |
| Simple class for describing identation. More...
|
class | PropKinds |
| Iterator for propagation kinds. More...
|
class | Options |
| Commandline options. More...
|
class | Base |
| Base class for all tests to be run. More...
|
Namespaces |
namespace | Assign |
| Tests for assignments.
|
namespace | Branch |
| Tests for branchings.
|
namespace | CpltSet |
| Testing finite sets with complete domain representation.
|
namespace | Int |
| Testing finite domain integers.
|
namespace | Search |
| Tests for search engines.
|
namespace | Set |
| Testing finite sets.
|
Functions |
Assignment * | assignment (void) const |
bool | ignore (const Assignment &) const |
void | post (Gecode::Space *, Gecode::IntVarArray &, Gecode::BoolVar) |
bool | run (void) |
| Test (const std::string &s, int a, const Gecode::IntSet &d, bool r, Gecode::IntConLevel i, Gecode::PropKind p) |
| Test (const std::string &s, int a, int min, int max, bool r, Gecode::IntConLevel i, Gecode::PropKind p) |
std::string | str (Gecode::PropKind pk) |
std::string | str (Gecode::IntConLevel icl) |
std::string | str (Gecode::IntRelType irt) |
std::string | str (Gecode::BoolOpType bot) |
std::string | str (int i) |
template<class T> |
bool | cmp (T x, Gecode::IntRelType r, T y) |
void | report_error (std::string name) |
Variables |
std::ostringstream | olog |
| Stream used for logging.
|
Options | opt |
| The options.
|
std::vector< std::pair< bool,
const char * > > | testpat |
const char * | startFrom = NULL |
bool | list = false |