Public Member Functions
	OneShotPolicySearch (storm::models::sparse::Pomdp< ValueType > const &pomdp, storm::storage::BitVector const &targetStates, storm::storage::BitVector const &surelyReachSinkStates, std::shared_ptr< storm::utility::solver::SmtSolverFactory > &smtSolverFactory)
void	setSurelyReachSinkStates (storm::storage::BitVector const &surelyReachSink)
bool	analyzeForInitialStates (uint64_t k)
	Check if you can find a memoryless policy from the initial states.

Detailed Description

template<typename ValueType>
class storm::pomdp::OneShotPolicySearch< ValueType >

Definition at line 25 of file OneShotPolicySearch.h.

Constructor & Destructor Documentation

template<typename ValueType>

storm::pomdp::OneShotPolicySearch< ValueType >::OneShotPolicySearch	(	storm::models::sparse::Pomdp< ValueType > const &	pomdp,
		storm::storage::BitVector const &	targetStates,
		storm::storage::BitVector const &	surelyReachSinkStates,
		std::shared_ptr< storm::utility::solver::SmtSolverFactory > &	smtSolverFactory )

inline

Definition at line 40 of file OneShotPolicySearch.h.

template<typename ValueType>

bool storm::pomdp::OneShotPolicySearch< ValueType >::analyzeForInitialStates ( uint64_t k )

inline

Check if you can find a memoryless policy from the initial states.

Parameters

k	The used lookahed

Returns: Replies true, if a memoryless policy is found. Notice that the algorithm is not complete.

Definition at line 56 of file OneShotPolicySearch.h.

template<typename ValueType>

void storm::pomdp::OneShotPolicySearch< ValueType >::setSurelyReachSinkStates ( storm::storage::BitVector const & surelyReachSink )

inline

Definition at line 47 of file OneShotPolicySearch.h.

The documentation for this class was generated from the following files: