|
Storm 1.13.0.1
A Modern Probabilistic Model Checker
|
This is the complete list of members for storm::umb::ValueEncoding, including all inherited members.
| appendEncodedInteger(std::vector< uint64_t > &result, typename storm::NumberTraits< storm::RationalNumber >::IntegerType const &value, uint64_t uint64BucketsPerInteger) | storm::umb::ValueEncoding | inlinestatic |
| appendEncodedRational(std::vector< uint64_t > &result, storm::RationalNumber const &value, uint64_t uint64BucketsPerInteger) | storm::umb::ValueEncoding | inlinestatic |
| applyDecodedVector(auto &&func, storm::umb::GenericVector const &input, storm::umb::SizedType const &sourceType) | storm::umb::ValueEncoding | inlinestatic |
| createDecodedVector(storm::umb::GenericVector const &input, storm::umb::SizedType const &sourceType) | storm::umb::ValueEncoding | inlinestatic |
| createUint64FromRationalIntervalRange(InputRange &&input, uint64_t const numberSize) | storm::umb::ValueEncoding | inlinestatic |
| createUint64FromRationalRange(InputRange &&input, uint64_t const numberSize) | storm::umb::ValueEncoding | inlinestatic |
| decodeArbitraryPrecisionInteger(InputRange &&input) | storm::umb::ValueEncoding | inlinestatic |
| doubleToIntervalRangeView(InputRange &&input) | storm::umb::ValueEncoding | inlinestatic |
| getMinimalRationalIntervalSize(InputRange &&input, bool multiplesOf64) | storm::umb::ValueEncoding | inlinestatic |
| getMinimalRationalSize(InputRange &&input, bool multiplesOf64) | storm::umb::ValueEncoding | inlinestatic |
| getSizeOfIntegerEncoding(typename storm::NumberTraits< storm::RationalNumber >::IntegerType const &value) | storm::umb::ValueEncoding | inlinestatic |
| intervalToBaseRangeView(InputRange &&input) | storm::umb::ValueEncoding | inlinestatic |
| uint64ToRationalIntervalRangeView(InputRange &&input, uint64_t const numberSize) | storm::umb::ValueEncoding | inlinestatic |
| uint64ToRationalRangeView(InputRange &&input, uint64_t const numberSize) | storm::umb::ValueEncoding | inlinestatic |