storm::pomdp::qualitative Namespace Reference

Namespaces
namespace	detail

Classes
class	JaniBeliefSupportMdpGenerator

Functions
template<typename ValueType>
bool	isLookaheadRequired (storm::models::sparse::Pomdp< ValueType > const &pomdp, storm::storage::BitVector const &targetStates, storm::storage::BitVector const &surelyReachSinkStates)

Function Documentation

isLookaheadRequired()

template<typename ValueType>

bool storm::pomdp::qualitative::isLookaheadRequired	(	storm::models::sparse::Pomdp< ValueType > const &	pomdp,
		storm::storage::BitVector const &	targetStates,
		storm::storage::BitVector const &	surelyReachSinkStates )

Definition at line 10 of file QualitativeAnalysis.h.