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

#include <ConstantsComparator.h>

Public Member Functions
	ConstantsComparator ()=default
bool	isOne (ValueType const &value) const
bool	isZero (ValueType const &value) const
bool	isEqual (ValueType const &value1, ValueType const &value2) const
bool	isConstant (ValueType const &value) const
bool	isLess (ValueType const &value1, ValueType const &value2) const

Detailed Description

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

Definition at line 12 of file ConstantsComparator.h.

Constructor & Destructor Documentation

ConstantsComparator()

template<typename ValueType , typename Enable >

storm::utility::ConstantsComparator< ValueType, Enable >::ConstantsComparator ( )

default

Member Function Documentation

isConstant()

template<typename ValueType , typename Enable >

bool storm::utility::ConstantsComparator< ValueType, Enable >::isConstant

(

ValueType const &

value

)

const

Definition at line 30 of file ConstantsComparator.cpp.

isEqual()

template<typename ValueType , typename Enable >

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

Definition at line 25 of file ConstantsComparator.cpp.

isLess()

template<typename ValueType , typename Enable >

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

Definition at line 35 of file ConstantsComparator.cpp.

isOne()

template<typename ValueType , typename Enable >

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

(

ValueType const &

value

)

const

Definition at line 15 of file ConstantsComparator.cpp.

isZero()

template<typename ValueType , typename Enable >

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

(

ValueType const &

value

)

const

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