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
|
|
Type for comparisons and solutions.
Enumerator |
---|
MT_FALSE |
|
MT_TRUE |
|
MT_MAYBE |
|
Definition at line 55 of file float.hh.
Assignment possible types.
Enumerator |
---|
CPLT_ASSIGNMENT |
|
RANDOM_ASSIGNMENT |
|
EXTEND_ASSIGNMENT |
|
Definition at line 65 of file float.hh.
MaybeType Test::Float::operator& |
( |
MaybeType |
a, |
|
|
MaybeType |
b |
|
) |
| |
|
inline |
Three-valued conjunction of MaybeType.
Definition at line 282 of file float.hpp.