storm::utility::ExtendedNumber< ValueType > Member List

This is the complete list of members for storm::utility::ExtendedNumber< ValueType >, including all inherited members.

ExtendedNumber()	storm::utility::ExtendedNumber< ValueType >	inline
ExtendedNumber(ValueType const &value)	storm::utility::ExtendedNumber< ValueType >	inline
ExtendedNumber(ValueType &&value)	storm::utility::ExtendedNumber< ValueType >	inline
ExtendedNumber(ExtendedNumber const &)=default	storm::utility::ExtendedNumber< ValueType >
ExtendedNumber(ExtendedNumber &&)=default	storm::utility::ExtendedNumber< ValueType >
getFinite() const	storm::utility::ExtendedNumber< ValueType >	inline
getFinite()	storm::utility::ExtendedNumber< ValueType >	inline
infinity()	storm::utility::ExtendedNumber< ValueType >	inlinestatic
isFinite() const	storm::utility::ExtendedNumber< ValueType >	inline
isInfinite() const	storm::utility::ExtendedNumber< ValueType >	inline
isNegativeInfinity() const	storm::utility::ExtendedNumber< ValueType >	inline
isPositiveInfinity() const	storm::utility::ExtendedNumber< ValueType >	inline
Kind enum name	storm::utility::ExtendedNumber< ValueType >
negativeInfinity()	storm::utility::ExtendedNumber< ValueType >	inlinestatic
operator!=(ExtendedNumber const &first, ExtendedNumber const &second)	storm::utility::ExtendedNumber< ValueType >	friend
operator!=(ExtendedNumber const &first, ValueType const &second)	storm::utility::ExtendedNumber< ValueType >	friend
operator!=(ValueType const &first, ExtendedNumber const &second)	storm::utility::ExtendedNumber< ValueType >	friend
operator*(ExtendedNumber const &first, ExtendedNumber const &second)	storm::utility::ExtendedNumber< ValueType >	friend
operator*=(ExtendedNumber const &other)	storm::utility::ExtendedNumber< ValueType >	inline
operator+() const	storm::utility::ExtendedNumber< ValueType >	inline
operator+(ExtendedNumber const &first, ExtendedNumber const &second)	storm::utility::ExtendedNumber< ValueType >	friend
operator+=(ExtendedNumber const &other)	storm::utility::ExtendedNumber< ValueType >	inline
operator-() const	storm::utility::ExtendedNumber< ValueType >	inline
operator-(ExtendedNumber const &first, ExtendedNumber const &second)	storm::utility::ExtendedNumber< ValueType >	friend
operator-=(ExtendedNumber const &other)	storm::utility::ExtendedNumber< ValueType >	inline
operator/(ExtendedNumber const &first, ExtendedNumber const &second)	storm::utility::ExtendedNumber< ValueType >	friend
operator/=(ExtendedNumber const &other)	storm::utility::ExtendedNumber< ValueType >	inline
operator<(ExtendedNumber const &first, ExtendedNumber const &second)	storm::utility::ExtendedNumber< ValueType >	friend
operator<(ExtendedNumber const &first, ValueType const &second)	storm::utility::ExtendedNumber< ValueType >	friend
operator<(ValueType const &first, ExtendedNumber const &second)	storm::utility::ExtendedNumber< ValueType >	friend
operator<<(std::ostream &out, ExtendedNumber const &number)	storm::utility::ExtendedNumber< ValueType >	friend
operator<=(ExtendedNumber const &first, ExtendedNumber const &second)	storm::utility::ExtendedNumber< ValueType >	friend
operator<=(ExtendedNumber const &first, ValueType const &second)	storm::utility::ExtendedNumber< ValueType >	friend
operator<=(ValueType const &first, ExtendedNumber const &second)	storm::utility::ExtendedNumber< ValueType >	friend
operator=(ExtendedNumber const &)=default	storm::utility::ExtendedNumber< ValueType >
operator=(ExtendedNumber &&)=default	storm::utility::ExtendedNumber< ValueType >
operator==(ExtendedNumber const &first, ExtendedNumber const &second)	storm::utility::ExtendedNumber< ValueType >	friend
operator==(ExtendedNumber const &first, ValueType const &second)	storm::utility::ExtendedNumber< ValueType >	friend
operator==(ValueType const &first, ExtendedNumber const &second)	storm::utility::ExtendedNumber< ValueType >	friend
operator>(ExtendedNumber const &first, ExtendedNumber const &second)	storm::utility::ExtendedNumber< ValueType >	friend
operator>(ExtendedNumber const &first, ValueType const &second)	storm::utility::ExtendedNumber< ValueType >	friend
operator>(ValueType const &first, ExtendedNumber const &second)	storm::utility::ExtendedNumber< ValueType >	friend
operator>=(ExtendedNumber const &first, ExtendedNumber const &second)	storm::utility::ExtendedNumber< ValueType >	friend
operator>=(ExtendedNumber const &first, ValueType const &second)	storm::utility::ExtendedNumber< ValueType >	friend
operator>=(ValueType const &first, ExtendedNumber const &second)	storm::utility::ExtendedNumber< ValueType >	friend
~ExtendedNumber()=default	storm::utility::ExtendedNumber< ValueType >