IntervalForward.h

Go to the documentation of this file.

#pragma once
 
#include "storm/adapters/RationalNumberForward.h"
 
namespace carl {
template<typename Number>
class Interval;
}
 
namespace storm {

typedef carl::Interval<double> Interval;
typedef carl::Interval<storm::RationalNumber> RationalInterval;
 
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;
};
template<>
struct IntervalMetaProgrammingHelper<RationalInterval> {
    using BaseType = storm::RationalNumber;
    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