int.cc File Reference
(Revision: 6328)
#include "test/int.hh"
#include <algorithm>
Go to the source code of this file.
Namespaces | |
namespace | Test |
namespace | Test::Int |
Classes | |
class | Test::Int::TestSpace |
Space for executing tests. More... | |
Defines | |
#define | CHECK_TEST(T, M) |
Check the test result and handle failed test. | |
#define | START_TEST(T) |
Start new test. | |
Functions | |
std::ostream & | operator<< (std::ostream &os, const Test::Int::Assignment &a) |
Assignment * | Test::assignment (void) const |
bool | Test::ignore (const Assignment &) const |
void | Test::post (Gecode::Space *, Gecode::IntVarArray &, Gecode::BoolVar) |
bool | Test::run (void) |
Define Documentation
#define CHECK_TEST | ( | T, | |||
M | ) |
#define START_TEST | ( | T | ) |
Function Documentation
std::ostream& operator<< | ( | std::ostream & | os, | |
const Test::Int::Assignment & | a | |||
) |