Storm 1.14.0.1
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
storm::pomdp::beliefs::BeliefNumerics< ValueType > Struct Template Reference

Numeric predicates used when comparing and hashing beliefs. More...

#include <BeliefNumerics.h>

Static Public Member Functions

static bool lessOrEqual (ValueType const &lhs, ValueType const &rhs)
static bool equal (ValueType const &lhs, ValueType const &rhs)
static bool isZero (ValueType const &val)
static bool isOne (ValueType const &val)
static ValueType valueForHash (ValueType const &val)

Detailed Description

template<typename ValueType>
struct storm::pomdp::beliefs::BeliefNumerics< ValueType >

Numeric predicates used when comparing and hashing beliefs.

Floating-point specializations use the configured tolerance, while exact number types preserve exact semantics.

Definition at line 11 of file BeliefNumerics.h.

Member Function Documentation

◆ equal()

template<typename ValueType>
bool storm::pomdp::beliefs::BeliefNumerics< ValueType >::equal ( ValueType const & lhs,
ValueType const & rhs )
static

Definition at line 34 of file BeliefNumerics.cpp.

◆ isOne()

template<typename ValueType>
bool storm::pomdp::beliefs::BeliefNumerics< ValueType >::isOne ( ValueType const & val)
static

Definition at line 44 of file BeliefNumerics.cpp.

◆ isZero()

template<typename ValueType>
bool storm::pomdp::beliefs::BeliefNumerics< ValueType >::isZero ( ValueType const & val)
static

Definition at line 39 of file BeliefNumerics.cpp.

◆ lessOrEqual()

template<typename ValueType>
bool storm::pomdp::beliefs::BeliefNumerics< ValueType >::lessOrEqual ( ValueType const & lhs,
ValueType const & rhs )
static

Definition at line 29 of file BeliefNumerics.cpp.

◆ valueForHash()

template<typename ValueType>
ValueType storm::pomdp::beliefs::BeliefNumerics< ValueType >::valueForHash ( ValueType const & val)
static
Returns
a representative value that shall be used for hashing.

Definition at line 49 of file BeliefNumerics.cpp.


The documentation for this struct was generated from the following files: