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 (std::optional< ValueType > const &lowerBound, std::optional< ValueType > const &upperBound)
template<typename Statistics>
void	printBeliefExplorationStatistics (Statistics const &statistics)
MemlessSearchOptions	fillMemlessSearchOptionsFromSettings ()
template<typename ValueType>
void	performQualitativeAnalysis (storm::Environment const &env, 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, typename BeliefMDPType>
bool	performBeliefExploration (storm::Environment const &env, std::shared_ptr< storm::models::sparse::Pomdp< ValueType > > const &pomdp, storm::pomdp::analysis::FormulaInformation const &formulaInfo, storm::logic::Formula const &formula)
template<typename ValueType, typename BeliefType = ValueType>
bool	performAnalysis (storm::Environment const &env, 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 (storm::Environment const &env, std::shared_ptr< storm::models::sparse::Pomdp< ValueType > > &&pomdp, std::shared_ptr< storm::logic::Formula const > formula)
template<typename ValueType>
void	processPomdpFormula (storm::Environment const &env, 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 137 of file storm-pomdp.cpp.

performAnalysis()

template<typename ValueType, typename BeliefType = ValueType>

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

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

performBeliefExploration()

template<typename ValueType, typename BeliefType, typename BeliefMDPType>

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

Definition at line 274 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 52 of file storm-pomdp.cpp.

performQualitativeAnalysis()

template<typename ValueType>

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

Definition at line 165 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 569 of file storm-pomdp.cpp.

printBeliefExplorationStatistics()

template<typename Statistics>

void storm::pomdp::cli::printBeliefExplorationStatistics

(

Statistics const &

statistics

)

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

printResult()

template<typename ValueType>

void storm::pomdp::cli::printResult	(	std::optional< ValueType > const &	lowerBound,
		std::optional< ValueType > const &	upperBound )

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

processFormula()

template<typename ValueType>

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

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

processOptions()

void storm::pomdp::cli::processOptions

(

)

Definition at line 760 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 649 of file storm-pomdp.cpp.

processPomdpFormula()

template<typename ValueType>

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

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