Generated on Tue Feb 11 2025 17:33:26 for Gecode by doxygen 1.12.0
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  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.
 

Detailed Description

Testing domain floats.

Enumeration Type Documentation

◆ MaybeType

Type for comparisons and solutions.

Enumerator
MT_FALSE 
MT_TRUE 
MT_MAYBE 

Definition at line 51 of file float.hh.

◆ AssignmentType

Assignment possible types.

Enumerator
CPLT_ASSIGNMENT 
RANDOM_ASSIGNMENT 
EXTEND_ASSIGNMENT 

Definition at line 61 of file float.hh.

Function Documentation

◆ randFValDown()

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

Definition at line 108 of file float.cpp.

◆ randFValUp()

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

Definition at line 125 of file float.cpp.

◆ operator&()

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

Three-valued conjunction of MaybeType.

Definition at line 278 of file float.hpp.