RationalNumberForward.h File Reference

#include "storm-config.h"

Include dependency graph for RationalNumberForward.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 >

Namespaces
namespace	carl
namespace	storm
	LabParser.cpp.
namespace	storm::detail

Typedefs
typedef carl::Interval< double >	storm::Interval
	Interval type.
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.