storm::storage::sparse Namespace Reference

Classes
class	ChoiceOrigins
	This class represents the origin of the choices of a model in terms of the input model specification (e.g., the Prism commands that induced the choice). More...
class	JaniChoiceOrigins
	This class represents for each choice the origin in the jani specification // TODO complete this. More...
struct	ModelComponents
class	PrismChoiceOrigins
	This class represents for each choice the set of prism commands that induced the choice. More...
struct	StateStorage
class	StateValuations
class	StateValuationsBuilder
class	StateValuationTransformer
	Transforms the given state valuations to a new state valuations over a new variable set. More...

Typedefs
typedef uint64_t	state_type

Functions
template storm::json< storm::RationalNumber >	StateValuations::toJson< storm::RationalNumber > (storm::storage::sparse::state_type const &, boost::optional< std::set< storm::expressions::Variable > > const &) const

Typedef Documentation

state_type

typedef uint_fast64_t storm::storage::sparse::state_type

Definition at line 9 of file StateType.h.

Function Documentation

StateValuations::toJson< storm::RationalNumber >()

template storm::json< storm::RationalNumber > storm::storage::sparse::StateValuations::toJson< storm::RationalNumber >	(	storm::storage::sparse::state_type const &	,
		boost::optional< std::set< storm::expressions::Variable > > const &	) const