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 178 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 125 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 150 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 114 of file FormulaInformation.cpp.

getStateSet()

template<typename PomdpType>

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

Definition at line 83 of file FormulaInformation.cpp.