CompressedState.cpp File Reference

#include "storm/generator/CompressedState.h"
#include <boost/algorithm/string/join.hpp>
#include "storm/adapters/JsonAdapter.h"
#include "storm/exceptions/InvalidArgumentException.h"
#include "storm/exceptions/NotImplementedException.h"
#include "storm/generator/VariableInformation.h"
#include "storm/storage/expressions/ExpressionEvaluator.h"
#include "storm/storage/expressions/ExpressionManager.h"
#include "storm/storage/expressions/SimpleValuation.h"

Include dependency graph for CompressedState.cpp:

Go to the source code of this file.

Namespaces
namespace	storm
	LabParser.cpp.
namespace	storm::generator

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.
CompressedState	storm::generator::packStateFromValuation (expressions::SimpleValuation const &valuation, VariableInformation const &variableInformation, bool checkOutOfBounds)
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)
template<typename ValueType >
storm::json< ValueType >	storm::generator::unpackStateIntoJson (CompressedState const &state, VariableInformation const &variableInformation, bool onlyObservable)
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)
template storm::json< double >	storm::generator::unpackStateIntoJson< double > (CompressedState const &state, VariableInformation const &variableInformation, bool onlyObservable)
template void	storm::generator::unpackStateIntoEvaluator< double > (CompressedState const &state, VariableInformation const &variableInformation, storm::expressions::ExpressionEvaluator< double > &evaluator)