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

#include <constants.h>

Public Types
typedef std::less< ValueType >	type

Detailed Description

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

Definition at line 36 of file constants.h.

Member Typedef Documentation

type

template<typename ValueType >

typedef std::less<ValueType> storm::utility::detail::ElementLess< ValueType >::type

Definition at line 37 of file constants.h.

---

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

• src/storm/utility/constants.h