storm::pomdp::cli Namespace Reference

Functions
template<typename ValueType , storm::dd::DdType DdType>
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 , storm::dd::DdType DdType, typename BeliefType >
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 , storm::dd::DdType DdType>
bool	performTransformation (std::shared_ptr< storm::models::sparse::Pomdp< ValueType > > &pomdp, storm::logic::Formula const &formula)
template<typename ValueType , storm::dd::DdType DdType>
void	processOptionsWithValueTypeAndDdLib (storm::cli::SymbolicInput const &symbolicInput, storm::cli::ModelProcessingInformation const &mpi)
template<storm::dd::DdType DdType>
void	processOptionsWithDdLib (storm::cli::SymbolicInput const &symbolicInput, storm::cli::ModelProcessingInformation const &mpi)
void	processOptions ()

Function Documentation

fillMemlessSearchOptionsFromSettings()

MemlessSearchOptions storm::pomdp::cli::fillMemlessSearchOptionsFromSettings

(

)

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

performAnalysis()

template<typename ValueType , storm::dd::DdType DdType, typename BeliefType >

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 , storm::dd::DdType DdType>

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 , storm::dd::DdType DdType>

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.

processOptions()

void storm::pomdp::cli::processOptions

(

)

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

processOptionsWithDdLib()

template<storm::dd::DdType DdType>

void storm::pomdp::cli::processOptionsWithDdLib	(	storm::cli::SymbolicInput const &	symbolicInput,
		storm::cli::ModelProcessingInformation const &	mpi
	)

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

processOptionsWithValueTypeAndDdLib()

template<typename ValueType , storm::dd::DdType DdType>

void storm::pomdp::cli::processOptionsWithValueTypeAndDdLib	(	storm::cli::SymbolicInput const &	symbolicInput,
		storm::cli::ModelProcessingInformation const &	mpi
	)

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