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 113 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 250 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 47 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 141 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 299 of file storm-pomdp.cpp.

printResult()

template<typename ValueType >

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

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

processOptions()

void storm::pomdp::cli::processOptions

(

)

Definition at line 433 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 379 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 422 of file storm-pomdp.cpp.