Go to the source code of this file.
Classes | |
class | Test::Float::Assignment |
Base class for assignments More... | |
class | Test::Float::CpltAssignment |
Generate all assignments. More... | |
class | Test::Float::ExtAssignment |
Generate all assignments except the last variable and complete it to get a solution. More... | |
class | Test::Float::RandomAssignment |
Generate random selection of assignments. More... | |
class | Test::Float::TestSpace |
Space for executing tests. More... | |
class | Test::Float::Test |
Base class for tests with float constraints More... | |
class | Test::Float::FloatRelTypes |
Iterator for float relation types. More... | |
Namespaces | |
Test | |
General test support. | |
Test::Float | |
Testing domain floats. | |
Enumerations |
Functions | |
MaybeType | Test::Float::operator& (MaybeType a, MaybeType b) |
Three-valued conjunction of MaybeType. More... | |