storm::generator::detail Namespace Reference

Enumerations
enum class	UnpackStateIntoValuationsMode { State , Observation }

Functions
template<UnpackStateIntoValuationsMode Mode>
void	unpackIntoValuations (CompressedState const &entityEncoding, uint64_t const entityIndex, VariableInformation const &variableInformation, storm::storage::sparse::ValuationsStorage &valuations)

Enumeration Type Documentation

UnpackStateIntoValuationsMode

enum class storm::generator::detail::UnpackStateIntoValuationsMode

strong

Enumerator
State
Observation

Definition at line 81 of file CompressedState.cpp.

Function Documentation

unpackIntoValuations()

template<UnpackStateIntoValuationsMode Mode>

void storm::generator::detail::unpackIntoValuations	(	CompressedState const &	entityEncoding,
		uint64_t const	entityIndex,
		VariableInformation const &	variableInformation,
		storm::storage::sparse::ValuationsStorage &	valuations )

Definition at line 83 of file CompressedState.cpp.