CompressedState.h File Reference

#include <map>
#include <unordered_map>
#include "storm/adapters/JsonForward.h"
#include "storm/storage/BitVector.h"

Include dependency graph for CompressedState.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Namespaces
namespace	storm
namespace	storm::storage
namespace	storm::storage::sparse
namespace	storm::expressions
namespace	storm::generator

Typedefs
typedef storm::storage::BitVector	storm::generator::CompressedState

Functions
template<typename ValueType>
void	storm::generator::unpackStateIntoEvaluator (CompressedState const &state, VariableInformation const &variableInformation, storm::expressions::ExpressionEvaluator< ValueType > &evaluator)
	Unpacks the compressed state into the evaluator.
storm::expressions::SimpleValuation	storm::generator::unpackStateIntoValuation (CompressedState const &state, VariableInformation const &variableInformation, storm::expressions::ExpressionManager const &manager)
	Converts the compressed state into an explicit representation in the form of a valuation.
template<typename ValueType>
storm::json< ValueType >	storm::generator::unpackStateIntoJson (CompressedState const &state, VariableInformation const &variableInformation, bool onlyObservable)
void	storm::generator::unpackStateAppendToValuations (CompressedState const &state, VariableInformation const &variableInformation, storm::storage::sparse::ValuationsStorage &valuations)
	Appends the values of the variables in the given state to the valuations object.
void	storm::generator::unpackObservationClassIntoValuations (CompressedState const &observationClass, uint64_t const observationClassIndex, VariableInformation const &variableInformation, storm::storage::sparse::ValuationsStorage &valuations)
	Sets the values of observable variables and observation expressions to the given observationClassIndex of the given valuations.
std::string	storm::generator::toString (CompressedState const &state, VariableInformation const &variableInformation)
	Returns a (human readable) string representation of the variable valuation encoded by the given state.
storm::storage::BitVector	storm::generator::computeObservabilityMask (VariableInformation const &variableInformation)
uint32_t	storm::generator::unpackStateToObservabilityClass (CompressedState const &state, storm::storage::BitVector const &observationVector, std::unordered_map< storm::storage::BitVector, uint32_t > &observabilityMap, storm::storage::BitVector const &mask)
CompressedState	storm::generator::createOutOfBoundsState (VariableInformation const &varInfo, bool roundTo64Bit)
CompressedState	storm::generator::createCompressedState (VariableInformation const &varInfo, std::map< storm::expressions::Variable, storm::expressions::Expression > const &stateDescription, bool checkOutOfBounds)
CompressedState	storm::generator::packStateFromValuation (expressions::SimpleValuation const &valuation, VariableInformation const &variableInformation, bool checkOutOfBounds)