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
	LabParser.cpp.
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::extractVariableValues (CompressedState const &state, VariableInformation const &variableInformation, std::vector< int64_t > &locationValues, std::vector< bool > &booleanValues, std::vector< int64_t > &integerValues)
	Appends the values of the given variables in the given state to the corresponding result vectors.
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)