
Testing domain floats. More...
Namespaces | |
| Arithmetic | |
| Tests for arithmetic constraints | |
| Basic | |
| Tests for basic setup | |
| Channel | |
| Tests for channel constraints | |
| Dom | |
| Tests for domain constraints | |
| Linear | |
| Tests for linear constraints | |
| MiniModelLin | |
| Tests for minimal modeling constraints (linear) | |
| Rel | |
| Tests for relation constraints | |
| Transcendental | |
| Tests for transcendental constraints | |
| 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 | FloatRelTypes |
| Iterator for float relation types. More... | |
| class | RandomAssignment |
| Generate random selection of assignments. More... | |
| class | Test |
| Base class for tests with float constraints More... | |
| class | TestSpace |
| Space for executing tests. 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. More... | |
Testing domain floats.
Assignment possible types.
| Enumerator | |
|---|---|
| CPLT_ASSIGNMENT | |
| RANDOM_ASSIGNMENT | |
| EXTEND_ASSIGNMENT | |
| Gecode::FloatNum Test::Float::randFValDown | ( | Gecode::FloatNum | l, |
| Gecode::FloatNum | u | ||
| ) |
| Gecode::FloatNum Test::Float::randFValUp | ( | Gecode::FloatNum | l, |
| Gecode::FloatNum | u | ||
| ) |