storm::pomdp::analysis Namespace Reference

Classes
class	FormulaInformation

Functions
template<typename PomdpType >
FormulaInformation::StateSet	getStateSet (PomdpType const &pomdp, storm::storage::BitVector &&inputStates)
template<typename PomdpType >
storm::storage::BitVector	getStates (storm::logic::Formula const &propositionalFormula, bool formulaInverted, PomdpType const &pomdp)
template<typename PomdpType >
FormulaInformation	getFormulaInformation (PomdpType const &pomdp, storm::logic::ProbabilityOperatorFormula const &formula)
template<typename PomdpType >
FormulaInformation	getFormulaInformation (PomdpType const &pomdp, storm::logic::RewardOperatorFormula const &formula)
template<typename PomdpType >
FormulaInformation	getFormulaInformation (PomdpType const &pomdp, storm::logic::Formula const &formula)
template void	FormulaInformation::updateTargetStates< storm::models::sparse::Pomdp< double > > (storm::models::sparse::Pomdp< double > const &pomdp, storm::storage::BitVector &&newTargetStates)
template void	FormulaInformation::updateSinkStates< storm::models::sparse::Pomdp< double > > (storm::models::sparse::Pomdp< double > const &pomdp, storm::storage::BitVector &&newSinkStates)
template FormulaInformation	getFormulaInformation< storm::models::sparse::Pomdp< double > > (storm::models::sparse::Pomdp< double > const &pomdp, storm::logic::Formula const &formula)
template void	FormulaInformation::updateTargetStates< storm::models::sparse::Pomdp< storm::RationalNumber > > (storm::models::sparse::Pomdp< storm::RationalNumber > const &pomdp, storm::storage::BitVector &&newTargetStates)
template void	FormulaInformation::updateSinkStates< storm::models::sparse::Pomdp< storm::RationalNumber > > (storm::models::sparse::Pomdp< storm::RationalNumber > const &pomdp, storm::storage::BitVector &&newSinkStates)
template FormulaInformation	getFormulaInformation< storm::models::sparse::Pomdp< storm::RationalNumber > > (storm::models::sparse::Pomdp< storm::RationalNumber > const &pomdp, storm::logic::Formula const &formula)

Function Documentation

FormulaInformation::updateSinkStates< storm::models::sparse::Pomdp< double > >()

template void storm::pomdp::analysis::FormulaInformation::updateSinkStates< storm::models::sparse::Pomdp< double > >	(	storm::models::sparse::Pomdp< double > const &	pomdp,
		storm::storage::BitVector &&	newSinkStates
	)

FormulaInformation::updateSinkStates< storm::models::sparse::Pomdp< storm::RationalNumber > >()

template void storm::pomdp::analysis::FormulaInformation::updateSinkStates< storm::models::sparse::Pomdp< storm::RationalNumber > >	(	storm::models::sparse::Pomdp< storm::RationalNumber > const &	pomdp,
		storm::storage::BitVector &&	newSinkStates
	)

FormulaInformation::updateTargetStates< storm::models::sparse::Pomdp< double > >()

template void storm::pomdp::analysis::FormulaInformation::updateTargetStates< storm::models::sparse::Pomdp< double > >	(	storm::models::sparse::Pomdp< double > const &	pomdp,
		storm::storage::BitVector &&	newTargetStates
	)

FormulaInformation::updateTargetStates< storm::models::sparse::Pomdp< storm::RationalNumber > >()

template void storm::pomdp::analysis::FormulaInformation::updateTargetStates< storm::models::sparse::Pomdp< storm::RationalNumber > >	(	storm::models::sparse::Pomdp< storm::RationalNumber > const &	pomdp,
		storm::storage::BitVector &&	newTargetStates
	)

getFormulaInformation() [1/3]

template<typename PomdpType >

FormulaInformation storm::pomdp::analysis::getFormulaInformation	(	PomdpType const &	pomdp,
		storm::logic::Formula const &	formula
	)

Definition at line 172 of file FormulaInformation.cpp.

getFormulaInformation() [2/3]

template<typename PomdpType >

FormulaInformation storm::pomdp::analysis::getFormulaInformation	(	PomdpType const &	pomdp,
		storm::logic::ProbabilityOperatorFormula const &	formula
	)

Definition at line 119 of file FormulaInformation.cpp.

getFormulaInformation() [3/3]

template<typename PomdpType >

FormulaInformation storm::pomdp::analysis::getFormulaInformation	(	PomdpType const &	pomdp,
		storm::logic::RewardOperatorFormula const &	formula
	)

Definition at line 144 of file FormulaInformation.cpp.

getFormulaInformation< storm::models::sparse::Pomdp< double > >()

template FormulaInformation storm::pomdp::analysis::getFormulaInformation< storm::models::sparse::Pomdp< double > >	(	storm::models::sparse::Pomdp< double > const &	pomdp,
		storm::logic::Formula const &	formula
	)

getFormulaInformation< storm::models::sparse::Pomdp< storm::RationalNumber > >()

template FormulaInformation storm::pomdp::analysis::getFormulaInformation< storm::models::sparse::Pomdp< storm::RationalNumber > >	(	storm::models::sparse::Pomdp< storm::RationalNumber > const &	pomdp,
		storm::logic::Formula const &	formula
	)

getStates()

template<typename PomdpType >

storm::storage::BitVector storm::pomdp::analysis::getStates	(	storm::logic::Formula const &	propositionalFormula,
		bool	formulaInverted,
		PomdpType const &	pomdp
	)

Definition at line 108 of file FormulaInformation.cpp.

getStateSet()

template<typename PomdpType >

FormulaInformation::StateSet storm::pomdp::analysis::getStateSet	(	PomdpType const &	pomdp,
		storm::storage::BitVector &&	inputStates
	)

Definition at line 77 of file FormulaInformation.cpp.