IntervalForward.h File Reference

#include "storm/adapters/RationalNumberForward.h"

Include dependency graph for IntervalForward.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes
struct	storm::detail::IntervalMetaProgrammingHelper< ValueType >
struct	storm::detail::IntervalMetaProgrammingHelper< Interval >
struct	storm::detail::IntervalMetaProgrammingHelper< RationalInterval >

Namespaces
namespace	carl
namespace	storm
namespace	storm::detail

Typedefs
typedef carl::Interval< double >	storm::Interval
	Interval type.
typedef carl::Interval< storm::RationalNumber >	storm::RationalInterval
template<typename ValueType>
using	storm::IntervalBaseType = typename detail::IntervalMetaProgrammingHelper<ValueType>::BaseType
	Helper to access the type in which interval boundaries are stored.

Variables
template<typename ValueType>
constexpr bool	storm::IsIntervalType = detail::IntervalMetaProgrammingHelper<ValueType>::isInterval
	Helper to check if a type is an interval.