float.cpp File Reference

#include "test/float.hh"
#include <algorithm>
#include <iomanip>

Go to the source code of this file.

Namespaces
namespace	Test
	General test support.
namespace	Test::Float
	Testing domain floats.
Defines
#define	CHECK_TEST(T, M)
	Check the test result and handle failed test.
#define	START_TEST(T)
	Start new test.
Functions
std::ostream &	operator<< (std::ostream &os, const Test::Float::Assignment &a)
Gecode::FloatNum	Test::Float::randFValDown (Gecode::FloatNum l, Gecode::FloatNum u)
Gecode::FloatNum	Test::Float::randFValUp (Gecode::FloatNum l, Gecode::FloatNum u)

---

Define Documentation

#define CHECK_TEST	(	T,
		M		)

Value:

if (opt.log)                                                    \
  olog << ind(3) << "Check: " << (M) << std::endl;              \
if (!(T)) {                                                     \
  problem = (M); delete s; goto failed;                         \
}

Check the test result and handle failed test.

Definition at line 449 of file float.cpp.

#define START_TEST

(

T

)

Value:

if (opt.log) {                                                \
     olog.str("");                                              \
     olog << ind(2) << "Testing: " << (T) << std::endl;         \
  }                                                             \
  test = (T);

Start new test.

Definition at line 457 of file float.cpp.

---

Function Documentation

std::ostream& operator<<	(	std::ostream &	os,
		const Test::Float::Assignment &	a
	)

Definition at line 98 of file float.cpp.