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 17 of file IntervalForward.h.

Member Typedef Documentation

BaseType

template<typename ValueType >

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

Definition at line 18 of file IntervalForward.h.

Member Data Documentation

isInterval

template<typename ValueType >

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

static

Definition at line 19 of file IntervalForward.h.

---

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

• src/storm/adapters/IntervalForward.h