Storm 1.14.0.1
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
BeliefNumerics.h
Go to the documentation of this file.
1#pragma once
2
3namespace storm::pomdp::beliefs {
4
10template<typename ValueType>
12 static bool lessOrEqual(ValueType const& lhs, ValueType const& rhs);
13 static bool equal(ValueType const& lhs, ValueType const& rhs);
14 static bool isZero(ValueType const& val);
15 static bool isOne(ValueType const& val);
16
20 static ValueType valueForHash(ValueType const& val);
21};
22
23} // namespace storm::pomdp::beliefs
Numeric predicates used when comparing and hashing beliefs.
static bool isZero(ValueType const &val)
static ValueType valueForHash(ValueType const &val)
static bool equal(ValueType const &lhs, ValueType const &rhs)
static bool isOne(ValueType const &val)
static bool lessOrEqual(ValueType const &lhs, ValueType const &rhs)