Testing domain floats. More...
Namespaces | |
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 | |
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. More... | |
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 | ||
) |