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 8 of file QualitativeAnalysis.h.