storm::storage::sparse Namespace Reference

Namespaces
namespace	detail

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	ValuationTransformer
	Transforms the given state valuations to a new state valuations over a new variable set. More...
struct	ValuationClassDescription
	Describes the layout of a class of valuations (e.g. More...
struct	ValuationDescription
	Describes all valuation classes for a set of entities (e.g. More...
class	ValuationDescriptionBuilder
	Helper to incrementally build a ValuationClassDescription, i.e. More...
class	Valuations
	Provides access to valuations of variables for a set of entities (e.g. More...
class	ValuationsStorage
	Stores valuations of variables for a set of entities (e.g. More...

Concepts
concept	ValuationReadCallback
	Concept for a callback used in readCallback / readValue.
concept	ValuationWriteCallback
	Concept for a callback used in writeCallback / writeValue.

Typedefs
typedef uint64_t	state_type

Functions
template storm::json< storm::RationalNumber >	Valuations::toJson< storm::RationalNumber > (uint64_t const, std::optional< std::set< storm::expressions::Variable > > const &) const
template void	ValuationsStorage::setValuesInEvaluator< storm::RationalNumber > (uint64_t entity, storm::expressions::ExpressionEvaluator< storm::RationalNumber > &evaluator) const
template void	ValuationsStorage::writeValue< ValuationsStorage::Integer > (std::span< char >, uint64_t, uint64_t, ValuationsStorage::Integer const &)
template void	ValuationsStorage::writeValue< storm::RationalNumber > (std::span< char >, uint64_t, uint64_t, storm::RationalNumber const &)
template void	ValuationsStorage::writeValue< std::string_view > (std::span< char >, uint64_t, uint64_t, std::string_view const &)
template void	ValuationsStorage::writeValue< std::string > (std::span< char >, uint64_t, uint64_t, std::string const &)
template ValuationsStorage	ValuationsStorage::selectEntities< storm::storage::BitVector > (storm::storage::BitVector const &) const
template ValuationsStorage	ValuationsStorage::selectEntities< std::vector< uint64_t > > (std::vector< uint64_t > const &) const

Typedef Documentation

state_type

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

Definition at line 8 of file StateType.h.

Function Documentation

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

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

ValuationsStorage::selectEntities< std::vector< uint64_t > >()

template ValuationsStorage storm::storage::sparse::ValuationsStorage::selectEntities< std::vector< uint64_t > >

(

std::vector< uint64_t > const &

)

const

ValuationsStorage::selectEntities< storm::storage::BitVector >()

template ValuationsStorage storm::storage::sparse::ValuationsStorage::selectEntities< storm::storage::BitVector >

(

storm::storage::BitVector const &

)

const

ValuationsStorage::setValuesInEvaluator< storm::RationalNumber >()

template void storm::storage::sparse::ValuationsStorage::setValuesInEvaluator< storm::RationalNumber >	(	uint64_t	entity,
		storm::expressions::ExpressionEvaluator< storm::RationalNumber > &	evaluator ) const

ValuationsStorage::writeValue< std::string >()

template void storm::storage::sparse::ValuationsStorage::writeValue< std::string >	(	std::span< char >	,
		uint64_t	,
		uint64_t	,
		std::string const &	)

ValuationsStorage::writeValue< std::string_view >()

template void storm::storage::sparse::ValuationsStorage::writeValue< std::string_view >	(	std::span< char >	,
		uint64_t	,
		uint64_t	,
		std::string_view const &	)

ValuationsStorage::writeValue< storm::RationalNumber >()

template void storm::storage::sparse::ValuationsStorage::writeValue< storm::RationalNumber >	(	std::span< char >	,
		uint64_t	,
		uint64_t	,
		storm::RationalNumber const &	)

ValuationsStorage::writeValue< ValuationsStorage::Integer >()

template void storm::storage::sparse::ValuationsStorage::writeValue< ValuationsStorage::Integer >	(	std::span< char >	,
		uint64_t	,
		uint64_t	,
		ValuationsStorage::Integer const &	)