storm::pomdp Namespace Reference

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

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

Enumerations
enum	BeliefNumberType { Default , Float , Rational }
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

BeliefNumberType

enum storm::pomdp::BeliefNumberType

Enumerator
Default
Float
Rational

Definition at line 17 of file BeliefExplorationSettings.h.

MemlessSearchPathVariables

enum class storm::pomdp::MemlessSearchPathVariables

strong

Enumerator
BooleanRanking
IntegerRanking
RealRanking

Definition at line 16 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 175 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 13 of file OneShotPolicySearch.h.

pathVariableTypeFromString()

MemlessSearchPathVariables storm::pomdp::pathVariableTypeFromString

(

std::string const &

in

)

Definition at line 17 of file IterativePolicySearch.h.