Testing domain floats.
More...
|
| 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
|
| |
◆ MaybeType
Type for comparisons and solutions.
| Enumerator |
|---|
| MT_FALSE | |
| MT_TRUE | |
| MT_MAYBE | |
Definition at line 51 of file float.hh.
◆ AssignmentType
Assignment possible types.
| Enumerator |
|---|
| CPLT_ASSIGNMENT | |
| RANDOM_ASSIGNMENT | |
| EXTEND_ASSIGNMENT | |
Definition at line 61 of file float.hh.
◆ randFValDown()
◆ randFValUp()
◆ operator&()
Three-valued conjunction of MaybeType.
Definition at line 278 of file float.hpp.