Go to the source code of this file.
Namespaces | |
Test | |
General test support. | |
Test::Float | |
Testing domain floats. | |
Constant Groups | |
Test | |
General test support. | |
Test::Float | |
Testing domain floats. | |
Macros | |
#define | CHECK_TEST(T, M) |
Check the test result and handle failed test. More... | |
#define | START_TEST(T) |
Start new test. More... | |
Functions | |
std::ostream & | operator<< (std::ostream &os, const Test::Float::Assignment &a) |
Gecode::FloatNum | Test::Float::randFValDown (Gecode::FloatNum l, Gecode::FloatNum u) |
Gecode::FloatNum | Test::Float::randFValUp (Gecode::FloatNum l, Gecode::FloatNum u) |
#define CHECK_TEST | ( | T, | |
M | |||
) |
#define START_TEST | ( | T) |
std::ostream& operator<< | ( | std::ostream & | os, |
const Test::Float::Assignment & | a | ||
) |