Generated on Thu Apr 11 14:00:13 2019 for Gecode by doxygen 1.6.3

Test::Float Namespace Reference

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  RandomAssignment
 Generate random selection of assignments. More...
class  TestSpace
 Space for executing tests. More...
class  Test
 Base class for tests with float constraints More...
class  FloatRelTypes
 Iterator for float relation types. 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.

Detailed Description

Testing domain floats.


Enumeration Type Documentation

Type for comparisons and solutions.

Enumerator:
MT_FALSE 
MT_TRUE 
MT_MAYBE 

Definition at line 51 of file float.hh.

Assignment possible types.

Enumerator:
CPLT_ASSIGNMENT 
RANDOM_ASSIGNMENT 
EXTEND_ASSIGNMENT 

Definition at line 61 of file float.hh.


Function Documentation

Gecode::FloatNum Test::Float::randFValDown ( Gecode::FloatNum  l,
Gecode::FloatNum  u 
)

Definition at line 108 of file float.cpp.

Gecode::FloatNum Test::Float::randFValUp ( Gecode::FloatNum  l,
Gecode::FloatNum  u 
)

Definition at line 125 of file float.cpp.

MaybeType Test::Float::operator& ( MaybeType  a,
MaybeType  b 
) [inline]

Three-valued conjunction of MaybeType.

Definition at line 278 of file float.hpp.