Testing domain floats. More...
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 | |
| MaybeType | operator& (MaybeType a, MaybeType b) |
| Three-valued conjunction of MaybeType. | |
Testing domain floats.
Assignment possible types.
| Enumerator | |
|---|---|
| CPLT_ASSIGNMENT | |
| RANDOM_ASSIGNMENT | |
| EXTEND_ASSIGNMENT | |