ValuationsStorage.cpp File Reference

#include "storm/storage/valuations/ValuationsStorage.h"
#include <bitset>
#include <cstring>
#include <ranges>
#include <boost/functional/hash.hpp>
#include "storm/storage/BitVector.h"
#include "storm/storage/expressions/ExpressionEvaluator.h"
#include "storm/storage/umb/model/ValueEncoding.h"
#include "storm/utility/bitoperations.h"
#include "storm/exceptions/IllegalFunctionCallException.h"
#include "storm/exceptions/NotSupportedException.h"
#include "storm/exceptions/OutOfRangeException.h"

Include dependency graph for ValuationsStorage.cpp:

Go to the source code of this file.

Namespaces
namespace	storm
namespace	storm::storage
namespace	storm::storage::sparse
namespace	storm::storage::sparse::detail

Functions
bool	storm::storage::sparse::detail::fits64Bit (ValuationClassDescription::Variable const &varDesc)
template<typename ManagerType>
ValuationsStorage::VariablesInformation	storm::storage::sparse::detail::createVariablesInformation (ManagerType &expressionManager, ValuationClassDescription const &description)
template void	storm::storage::sparse::ValuationsStorage::setValuesInEvaluator< storm::RationalNumber > (uint64_t entity, storm::expressions::ExpressionEvaluator< storm::RationalNumber > &evaluator) const
template void	storm::storage::sparse::ValuationsStorage::writeValue< ValuationsStorage::Integer > (std::span< char >, uint64_t, uint64_t, ValuationsStorage::Integer const &)
template void	storm::storage::sparse::ValuationsStorage::writeValue< storm::RationalNumber > (std::span< char >, uint64_t, uint64_t, storm::RationalNumber const &)
template void	storm::storage::sparse::ValuationsStorage::writeValue< std::string_view > (std::span< char >, uint64_t, uint64_t, std::string_view const &)
template void	storm::storage::sparse::ValuationsStorage::writeValue< std::string > (std::span< char >, uint64_t, uint64_t, std::string const &)
template ValuationsStorage	storm::storage::sparse::ValuationsStorage::selectEntities< storm::storage::BitVector > (storm::storage::BitVector const &) const
template ValuationsStorage	storm::storage::sparse::ValuationsStorage::selectEntities< std::vector< uint64_t > > (std::vector< uint64_t > const &) const