Testing domain floats.
More...
|
| 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
|
|
◆ 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&() [1/2]
Three-valued conjunction of MaybeType.
Definition at line 278 of file float.hpp.
◆ operator&() [2/2]
Three-valued conjunction of MaybeType.
Definition at line 278 of file float.hpp.