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.