storm::pomdp::cli Namespace Reference

Functions
template<typename ValueType>
bool	performPreprocessing (std::shared_ptr< storm::models::sparse::Pomdp< ValueType > > &pomdp, storm::pomdp::analysis::FormulaInformation &formulaInfo, storm::logic::Formula const &formula)
	Perform preprocessings based on the graph structure (if requested or necessary). Return true, if some preprocessing has been done.
template<typename ValueType>
void	printResult (ValueType const &lowerBound, ValueType const &upperBound)
MemlessSearchOptions	fillMemlessSearchOptionsFromSettings ()
template<typename ValueType>
void	performQualitativeAnalysis (std::shared_ptr< storm::models::sparse::Pomdp< ValueType > > const &origpomdp, storm::pomdp::analysis::FormulaInformation const &formulaInfo, storm::logic::Formula const &formula)
template<typename ValueType, typename BeliefType = ValueType>
bool	performAnalysis (std::shared_ptr< storm::models::sparse::Pomdp< ValueType > > const &pomdp, storm::pomdp::analysis::FormulaInformation const &formulaInfo, storm::logic::Formula const &formula)
template<typename ValueType>
bool	performTransformation (std::shared_ptr< storm::models::sparse::Pomdp< ValueType > > &pomdp, storm::logic::Formula const &formula)
template<typename ValueType>
void	processPomdp (std::shared_ptr< storm::models::sparse::Pomdp< ValueType > > &pomdp)
template<typename ValueType>
void	processFormula (std::shared_ptr< storm::models::sparse::Pomdp< ValueType > > &&pomdp, std::shared_ptr< storm::logic::Formula const > const &formula)
template<typename ValueType>
void	processPomdpFormula (std::shared_ptr< storm::models::sparse::Pomdp< ValueType > > &&pomdp, std::shared_ptr< storm::logic::Formula const > const &formula)
void	processOptions ()

Function Documentation

fillMemlessSearchOptionsFromSettings()

MemlessSearchOptions storm::pomdp::cli::fillMemlessSearchOptionsFromSettings

(

)

Definition at line 107 of file storm-pomdp.cpp.

performAnalysis()

template<typename ValueType, typename BeliefType = ValueType>

bool storm::pomdp::cli::performAnalysis	(	std::shared_ptr< storm::models::sparse::Pomdp< ValueType > > const &	pomdp,
		storm::pomdp::analysis::FormulaInformation const &	formulaInfo,
		storm::logic::Formula const &	formula )

Definition at line 244 of file storm-pomdp.cpp.

performPreprocessing()

template<typename ValueType>

bool storm::pomdp::cli::performPreprocessing	(	std::shared_ptr< storm::models::sparse::Pomdp< ValueType > > &	pomdp,
		storm::pomdp::analysis::FormulaInformation &	formulaInfo,
		storm::logic::Formula const &	formula )

Perform preprocessings based on the graph structure (if requested or necessary). Return true, if some preprocessing has been done.

Definition at line 41 of file storm-pomdp.cpp.

performQualitativeAnalysis()

template<typename ValueType>

void storm::pomdp::cli::performQualitativeAnalysis	(	std::shared_ptr< storm::models::sparse::Pomdp< ValueType > > const &	origpomdp,
		storm::pomdp::analysis::FormulaInformation const &	formulaInfo,
		storm::logic::Formula const &	formula )

Definition at line 135 of file storm-pomdp.cpp.

performTransformation()

template<typename ValueType>

bool storm::pomdp::cli::performTransformation	(	std::shared_ptr< storm::models::sparse::Pomdp< ValueType > > &	pomdp,
		storm::logic::Formula const &	formula )

Definition at line 293 of file storm-pomdp.cpp.

printResult()

template<typename ValueType>

void storm::pomdp::cli::printResult	(	ValueType const &	lowerBound,
		ValueType const &	upperBound )

Definition at line 77 of file storm-pomdp.cpp.

processFormula()

template<typename ValueType>

void storm::pomdp::cli::processFormula	(	std::shared_ptr< storm::models::sparse::Pomdp< ValueType > > &&	pomdp,
		std::shared_ptr< storm::logic::Formula const > const &	formula )

Definition at line 389 of file storm-pomdp.cpp.

processOptions()

void storm::pomdp::cli::processOptions

(

)

Definition at line 427 of file storm-pomdp.cpp.

processPomdp()

template<typename ValueType>

void storm::pomdp::cli::processPomdp

(

std::shared_ptr< storm::models::sparse::Pomdp< ValueType > > &

pomdp

)

Definition at line 373 of file storm-pomdp.cpp.

processPomdpFormula()

template<typename ValueType>

void storm::pomdp::cli::processPomdpFormula	(	std::shared_ptr< storm::models::sparse::Pomdp< ValueType > > &&	pomdp,
		std::shared_ptr< storm::logic::Formula const > const &	formula )

Definition at line 416 of file storm-pomdp.cpp.