General test support
[Testing domain floats]
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... |