storm::utility::ConstantsComparator< ValueType > Class Template Reference

#include <ConstantsComparator.h>

Public Member Functions
	ConstantsComparator (ValueType const &precision, bool relative=false)
bool	isOne (ValueType const &value) const
bool	isZero (ValueType const &value) const
bool	isEqual (ValueType const &value1, ValueType const &value2) const
bool	isLess (ValueType const &value1, ValueType const &value2) const

Detailed Description

template<typename ValueType>
class storm::utility::ConstantsComparator< ValueType >

Definition at line 6 of file ConstantsComparator.h.

Constructor & Destructor Documentation

ConstantsComparator()

template<typename ValueType>

storm::utility::ConstantsComparator< ValueType >::ConstantsComparator	(	ValueType const &	precision,
		bool	relative = false )

Definition at line 17 of file ConstantsComparator.cpp.

Member Function Documentation

isEqual()

template<typename ValueType>

bool storm::utility::ConstantsComparator< ValueType >::isEqual	(	ValueType const &	value1,
		ValueType const &	value2 ) const

Definition at line 32 of file ConstantsComparator.cpp.

isLess()

template<typename ValueType>

bool storm::utility::ConstantsComparator< ValueType >::isLess	(	ValueType const &	value1,
		ValueType const &	value2 ) const

Definition at line 48 of file ConstantsComparator.cpp.

isOne()

template<typename ValueType>

bool storm::utility::ConstantsComparator< ValueType >::isOne

(

ValueType const &

value

)

const

Definition at line 22 of file ConstantsComparator.cpp.

isZero()

template<typename ValueType>

bool storm::utility::ConstantsComparator< ValueType >::isZero

(

ValueType const &

value

)

const

Definition at line 27 of file ConstantsComparator.cpp.

---

The documentation for this class was generated from the following files:

• src/storm/utility/ConstantsComparator.h
• src/storm/utility/ConstantsComparator.cpp