Generated on Sat Feb 7 2015 02:01:53 for Gecode by doxygen 1.8.9.1
Test::Float Namespace Reference

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...
 

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 112 of file float.cpp.

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

Definition at line 129 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.