IntervalForward.h

Go to the documentation of this file.

#pragma once
 
namespace carl {
template<typename Number>
class Interval;
}
 
namespace storm {
 
typedef carl::Interval<double> Interval;
 
namespace detail {
template<typename ValueType>
struct IntervalMetaProgrammingHelper {
    using BaseType = ValueType;
    static const bool isInterval = false;
};
template<>
struct IntervalMetaProgrammingHelper<Interval> {
    using BaseType = double;
    static const bool isInterval = true;
};
}  // namespace detail
 
template<typename ValueType>
constexpr bool IsIntervalType = detail::IntervalMetaProgrammingHelper<ValueType>::isInterval;
 
template<typename ValueType>
using IntervalBaseType = typename detail::IntervalMetaProgrammingHelper<ValueType>::BaseType;
}  // namespace storm