Test::Float Namespace Reference
Testing domain floats. More...
Namespaces | |
| namespace | Arithmetic |
Tests for arithmetic constraints | |
| namespace | Basic |
Tests for basic setup | |
| namespace | Channel |
Tests for channel constraints | |
| namespace | Dom |
Tests for domain constraints | |
| namespace | Linear |
Tests for linear constraints | |
| namespace | MiniModelLin |
Tests for minimal modeling constraints (linear) | |
| namespace | Rel |
Tests for relation constraints | |
| namespace | Transcendental |
Tests for transcendental constraints | |
| namespace | Trigonometric |
Tests for trigonometric constraints | |
Classes | |
| class | Assignment |
| Base class for assignments More... | |
| class | CpltAssignment |
| Generate all assignments. More... | |
| class | ExtAssignment |
| Generate all assignments except the last variable and complete it to get a solution. More... | |
| class | RandomAssignment |
| Generate random selection of assignments. More... | |
| class | TestSpace |
| Space for executing tests. More... | |
| class | Test |
| Base class for tests with float constraints More... | |
| class | FloatRelTypes |
| Iterator for float relation types. More... | |
Enumerations | |
| enum | MaybeType { MT_FALSE = 0, MT_TRUE, MT_MAYBE } |
Type for comparisons and solutions. More... | |
| enum | AssignmentType { CPLT_ASSIGNMENT = 0, RANDOM_ASSIGNMENT, EXTEND_ASSIGNMENT } |
Assignment possible types. More... | |
Functions | |
| Gecode::FloatNum | randFValDown (Gecode::FloatNum l, Gecode::FloatNum u) |
| Gecode::FloatNum | randFValUp (Gecode::FloatNum l, Gecode::FloatNum u) |
| MaybeType | operator& (MaybeType a, MaybeType b) |
| Three-valued conjunction of MaybeType. | |
Detailed Description
Testing domain floats.
Enumeration Type Documentation
Assignment possible types.
Function Documentation
| Gecode::FloatNum Test::Float::randFValDown | ( | Gecode::FloatNum | l, | |
| Gecode::FloatNum | u | |||
| ) |
| Gecode::FloatNum Test::Float::randFValUp | ( | Gecode::FloatNum | l, | |
| Gecode::FloatNum | u | |||
| ) |