storm::utility::detail::ElementGreater< ValueType > Struct Template Reference

#include <constants.h>

Public Types
typedef std::greater< ValueType >	type

Detailed Description

template<typename ValueType>
struct storm::utility::detail::ElementGreater< ValueType >

Definition at line 52 of file constants.h.

Member Typedef Documentation

type

template<typename ValueType >

typedef std::greater<ValueType> storm::utility::detail::ElementGreater< ValueType >::type

Definition at line 53 of file constants.h.

---

The documentation for this struct was generated from the following file:

• src/storm/utility/constants.h