storm::test Namespace Reference

Namespaces
namespace	bisimulation
	Shared helpers for the bisimulation tests, cf.

Classes
struct	IsExtendedNumber
struct	IsExtendedNumber< storm::utility::ExtendedNumber< T > >
struct	FiniteValueTypeOf
	The value type underlying a possibly extended one. More...
struct	FiniteValueTypeOf< storm::utility::ExtendedNumber< T > >

Functions
void	initialize (int *argc, char **argv)
bool	testGurobiLicense ()
template<typename T>
bool	isInfiniteValue (storm::utility::ExtendedNumber< T > const &value)
template<typename T> requires (!IsExtendedNumber<T>::value)
bool	isInfiniteValue (T const &)
template<typename T>
T const &	finiteValue (storm::utility::ExtendedNumber< T > const &value)
template<typename T> requires (!IsExtendedNumber<T>::value)
T const &	finiteValue (T const &value)
void	enableErrorOutput ()
void	disableOutput ()

Variables
bool	noGurobi = false

Function Documentation

disableOutput()

void storm::test::disableOutput ( )

inline

Definition at line 125 of file storm_gtest.h.

enableErrorOutput()

void storm::test::enableErrorOutput ( )

inline

Definition at line 118 of file storm_gtest.h.

finiteValue() [1/2]

template<typename T>

T const & storm::test::finiteValue

(

storm::utility::ExtendedNumber< T > const &

value

)

Definition at line 72 of file storm_gtest.h.

finiteValue() [2/2]

template<typename T>
requires (!IsExtendedNumber<T>::value)

T const & storm::test::finiteValue

(

T const &

value

)

Definition at line 78 of file storm_gtest.h.

initialize()

void storm::test::initialize	(	int *	argc,
		char **	argv )

Definition at line 36 of file storm_gtest.cpp.

isInfiniteValue() [1/2]

template<typename T>

bool storm::test::isInfiniteValue

(

storm::utility::ExtendedNumber< T > const &

value

)

Definition at line 61 of file storm_gtest.h.

isInfiniteValue() [2/2]

template<typename T>
requires (!IsExtendedNumber<T>::value)

bool storm::test::isInfiniteValue

(

T const &

)

Definition at line 67 of file storm_gtest.h.

testGurobiLicense()

bool storm::test::testGurobiLicense

(

)

Definition at line 51 of file storm_gtest.cpp.

Variable Documentation

noGurobi

bool storm::test::noGurobi = false

Definition at line 34 of file storm_gtest.cpp.