|
Storm 1.14.0.1
A Modern Probabilistic Model Checker
|
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) |
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.
|
static |
Definition at line 34 of file BeliefNumerics.cpp.
|
static |
Definition at line 44 of file BeliefNumerics.cpp.
|
static |
Definition at line 39 of file BeliefNumerics.cpp.
|
static |
Definition at line 29 of file BeliefNumerics.cpp.
|
static |
Definition at line 49 of file BeliefNumerics.cpp.