Testing domain floats. More...
Namespaces | |
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 |
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 | FloatRelTypes |
Iterator for float relation types. More... | |
class | RandomAssignment |
Generate random selection of assignments. More... | |
class | Test |
Base class for tests with float constraints More... | |
class | TestSpace |
Space for executing tests. 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 | |
Gecode::FloatNum | randFValDown (Gecode::FloatNum l, Gecode::FloatNum u) |
Gecode::FloatNum | randFValUp (Gecode::FloatNum l, Gecode::FloatNum u) |
MaybeType | operator& (MaybeType a, MaybeType b) |
Three-valued conjunction of MaybeType. |
Testing domain floats.
Assignment possible types.
Enumerator | |
---|---|
CPLT_ASSIGNMENT | |
RANDOM_ASSIGNMENT | |
EXTEND_ASSIGNMENT |
Gecode::FloatNum Test::Float::randFValDown | ( | Gecode::FloatNum | l, |
Gecode::FloatNum | u ) |
Gecode::FloatNum Test::Float::randFValUp | ( | Gecode::FloatNum | l, |
Gecode::FloatNum | u ) |