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...
MaybeType	operator& (MaybeType a, MaybeType b)
	Three-valued conjunction of MaybeType. More...

Detailed Description

Testing domain floats.

Enumeration Type Documentation

MaybeType

enum Test::Float::MaybeType

Type for comparisons and solutions.

Enumerator
MT_FALSE
MT_TRUE
MT_MAYBE

Definition at line 55 of file float.hh.

AssignmentType

enum Test::Float::AssignmentType

Assignment possible types.

Enumerator
CPLT_ASSIGNMENT
RANDOM_ASSIGNMENT
EXTEND_ASSIGNMENT

Definition at line 65 of file float.hh.

Function Documentation

randFValDown()

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

Definition at line 112 of file float.cpp.

randFValUp()

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

Definition at line 129 of file float.cpp.

operator&() [1/2]

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

inline

Three-valued conjunction of MaybeType.

Definition at line 282 of file float.hpp.

operator&() [2/2]

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

inline

Three-valued conjunction of MaybeType.

Definition at line 282 of file float.hpp.