storm::detail::IntervalMetaProgrammingHelper< ValueType > Struct Template Reference

#include <IntervalForward.h>

Public Types
using	BaseType = ValueType

Static Public Attributes
static const bool	isInterval = false

Detailed Description

template<typename ValueType>
struct storm::detail::IntervalMetaProgrammingHelper< ValueType >

Definition at line 20 of file IntervalForward.h.

Member Typedef Documentation

BaseType

template<typename ValueType>

using storm::detail::IntervalMetaProgrammingHelper< ValueType >::BaseType = ValueType

Definition at line 21 of file IntervalForward.h.

Member Data Documentation

isInterval

template<typename ValueType>

const bool storm::detail::IntervalMetaProgrammingHelper< ValueType >::isInterval = false

static

Definition at line 22 of file IntervalForward.h.

---

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

• src/storm/adapters/IntervalForward.h