Generated on Sat May 25 2013 18:00:51 for Gecode by doxygen 1.8.3.1
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. More...
 

Detailed Description

Testing domain floats.

Enumeration Type Documentation

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.

Function Documentation

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

Definition at line 111 of file float.cpp.

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

Definition at line 128 of file float.cpp.

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

Three-valued conjunction of MaybeType.

Definition at line 282 of file float.hpp.