Namespaces
namespace	cli
namespace	analysis
namespace	detail
namespace	qualitative
namespace	beliefs
namespace	modelchecker
namespace	storage
namespace	transformer

Classes
class	MemlessSearchOptions
struct	InternalObservationScheduler
class	IterativePolicySearch
class	OneShotPolicySearch
class	WinningRegion
class	WinningRegionQueryInterface
class	ObservationTraceUnfolderOptions
class	ObservationTraceUnfolder
	Observation-trace unrolling to allow model checking for monitoring. More...

Enumerations
enum class	MemlessSearchPathVariables { BooleanRanking , IntegerRanking , RealRanking }

Functions
template<typename ValueType>
bool	detectFiniteBeliefMdp (storm::models::sparse::Pomdp< ValueType > const &pomdp, std::optional< storm::storage::BitVector > const &targetStates)
	This method tries to detect that the beliefmdp is finite.
MemlessSearchPathVariables	pathVariableTypeFromString (std::string const &in)
template<typename ValueType>
std::set< uint32_t >	extractObservations (storm::models::sparse::Pomdp< ValueType > const &pomdp, storm::storage::BitVector const &states)
std::pair< storm::RationalNumber, storm::RationalNumber >	count (std::vector< storm::storage::BitVector > const &origSets, std::vector< storm::storage::BitVector > const &intersects, std::vector< storm::storage::BitVector > const &intersectsInfo, storm::RationalNumber val, bool plus, uint64_t remdepth)

Enumeration Type Documentation

◆ MemlessSearchPathVariables

enum class storm::pomdp::MemlessSearchPathVariables

strong

Enumerator
BooleanRanking
IntegerRanking
RealRanking

Definition at line 17 of file IterativePolicySearch.h.

Function Documentation

◆ count()

std::pair< storm::RationalNumber, storm::RationalNumber > storm::pomdp::count	(	std::vector< storm::storage::BitVector > const &	origSets,
		std::vector< storm::storage::BitVector > const &	intersects,
		std::vector< storm::storage::BitVector > const &	intersectsInfo,
		storm::RationalNumber	val,
		bool	plus,
		uint64_t	remdepth )

Definition at line 176 of file WinningRegion.cpp.

◆ detectFiniteBeliefMdp()

template<typename ValueType>

bool storm::pomdp::detectFiniteBeliefMdp	(	storm::models::sparse::Pomdp< ValueType > const &	pomdp,
		std::optional< storm::storage::BitVector > const &	targetStates )

This method tries to detect that the beliefmdp is finite.

If this returns true, the beliefmdp is certainly finite. However, if this returns false, the beliefmdp might still be finite It is assumed that the belief MDP is not further explored when reaching a targetstate

Definition at line 19 of file FiniteBeliefMdpDetection.h.

◆ extractObservations()

template<typename ValueType>

std::set< uint32_t > storm::pomdp::extractObservations	(	storm::models::sparse::Pomdp< ValueType > const &	pomdp,
		storm::storage::BitVector const &	states )

Definition at line 15 of file OneShotPolicySearch.h.

◆ pathVariableTypeFromString()

MemlessSearchPathVariables storm::pomdp::pathVariableTypeFromString ( std::string const & in )

inline

Definition at line 18 of file IterativePolicySearch.h.

Namespaces

Classes

Enumerations