BeliefNumerics.cpp

Go to the documentation of this file.

#include "storm-pomdp/beliefs/utility/BeliefNumerics.h"
 
#include <cmath>
#include "storm/adapters/RationalNumberAdapter.h"
#include "storm/utility/NumberTraits.h"
#include "storm/utility/constants.h"
 
namespace storm::pomdp::beliefs {
 
namespace detail {
constexpr double NumericPrecisionFactor = 1e14;
 
double reprValue(double const& val) {
    return round(val * NumericPrecisionFactor);
}
 
storm::RationalNumber reprValue(storm::RationalNumber const& val) {
    return val;
}
}  // namespace detail
 
template<typename ValueType>
bool BeliefNumerics<ValueType>::lessOrEqual(ValueType const& lhs, ValueType const& rhs) {
    return detail::reprValue(lhs) <= detail::reprValue(rhs);
}
 
template<typename ValueType>
bool BeliefNumerics<ValueType>::equal(ValueType const& lhs, ValueType const& rhs) {
    return detail::reprValue(lhs) == detail::reprValue(rhs);
}
 
template<typename ValueType>
bool BeliefNumerics<ValueType>::isZero(const ValueType& val) {
    return BeliefNumerics::equal(val, storm::utility::zero<ValueType>());
}
 
template<typename ValueType>
bool BeliefNumerics<ValueType>::isOne(const ValueType& val) {
    return BeliefNumerics::equal(val, storm::utility::one<ValueType>());
}
 
template<typename ValueType>
ValueType BeliefNumerics<ValueType>::valueForHash(const ValueType& val) {
    return detail::reprValue(val);
}
 
template struct BeliefNumerics<double>;
template struct BeliefNumerics<storm::RationalNumber>;
 
}  // namespace storm::pomdp::beliefs