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

#include <RationalNumberForward.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 41 of file RationalNumberForward.h.

Member Typedef Documentation

BaseType

template<typename ValueType >

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

Definition at line 42 of file RationalNumberForward.h.

Member Data Documentation

isInterval

template<typename ValueType >

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

static

Definition at line 43 of file RationalNumberForward.h.

---

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

• src/storm/adapters/RationalNumberForward.h