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 9 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 15 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 30 of file ConstantsComparator.cpp.

isLess()

template<typename ValueType >

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

Definition at line 46 of file ConstantsComparator.cpp.

isOne()

template<typename ValueType >

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

(

ValueType const &

value

)

const

Definition at line 20 of file ConstantsComparator.cpp.

isZero()

template<typename ValueType >

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

(

ValueType const &

value

)

const

Definition at line 25 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