Storm 1.13.0.1
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
storm::umb::ValueEncoding Member List

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::ValueEncodinginlinestatic
appendEncodedRational(std::vector< uint64_t > &result, storm::RationalNumber const &value, uint64_t uint64BucketsPerInteger)storm::umb::ValueEncodinginlinestatic
applyDecodedVector(auto &&func, storm::umb::GenericVector const &input, storm::umb::SizedType const &sourceType)storm::umb::ValueEncodinginlinestatic
createDecodedVector(storm::umb::GenericVector const &input, storm::umb::SizedType const &sourceType)storm::umb::ValueEncodinginlinestatic
createUint64FromRationalIntervalRange(InputRange &&input, uint64_t const numberSize)storm::umb::ValueEncodinginlinestatic
createUint64FromRationalRange(InputRange &&input, uint64_t const numberSize)storm::umb::ValueEncodinginlinestatic
decodeArbitraryPrecisionInteger(InputRange &&input)storm::umb::ValueEncodinginlinestatic
doubleToIntervalRangeView(InputRange &&input)storm::umb::ValueEncodinginlinestatic
getMinimalRationalIntervalSize(InputRange &&input, bool multiplesOf64)storm::umb::ValueEncodinginlinestatic
getMinimalRationalSize(InputRange &&input, bool multiplesOf64)storm::umb::ValueEncodinginlinestatic
getSizeOfIntegerEncoding(typename storm::NumberTraits< storm::RationalNumber >::IntegerType const &value)storm::umb::ValueEncodinginlinestatic
intervalToBaseRangeView(InputRange &&input)storm::umb::ValueEncodinginlinestatic
uint64ToRationalIntervalRangeView(InputRange &&input, uint64_t const numberSize)storm::umb::ValueEncodinginlinestatic
uint64ToRationalRangeView(InputRange &&input, uint64_t const numberSize)storm::umb::ValueEncodinginlinestatic