Storm 1.11.1.1
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
ConstantsComparator.h
Go to the documentation of this file.
1#pragma once
2
3#include <type_traits>
5
6namespace storm::utility {
7
8template<typename ValueType>
10 public:
11 ConstantsComparator(ValueType const& precision, bool relative = false);
12 bool isOne(ValueType const& value) const;
13 bool isZero(ValueType const& value) const;
14 bool isEqual(ValueType const& value1, ValueType const& value2) const;
15 bool isLess(ValueType const& value1, ValueType const& value2) const;
16
17 private:
18 ValueType precision;
19 bool relative;
20};
21} // namespace storm::utility
bool isLess(ValueType const &value1, ValueType const &value2) const
bool isOne(ValueType const &value) const
bool isZero(ValueType const &value) const
bool isEqual(ValueType const &value1, ValueType const &value2) const