storm-pomdp.cpp File Reference

#include "storm/utility/initialize.h"
#include "storm-pomdp-cli/settings/modules/BeliefExplorationSettings.h"
#include "storm-pomdp-cli/settings/modules/POMDPSettings.h"
#include "storm-pomdp-cli/settings/modules/QualitativePOMDPAnalysisSettings.h"
#include "storm-pomdp-cli/settings/modules/ToParametricSettings.h"
#include "storm/settings/modules/DebugSettings.h"
#include "storm/settings/modules/GeneralSettings.h"
#include "storm-pomdp-cli/settings/PomdpSettings.h"
#include "storm/analysis/GraphConditions.h"
#include "storm-cli-utilities/cli.h"
#include "storm-cli-utilities/model-handling.h"
#include "storm-pomdp/analysis/FormulaInformation.h"
#include "storm-pomdp/analysis/IterativePolicySearch.h"
#include "storm-pomdp/analysis/JaniBeliefSupportMdpGenerator.h"
#include "storm-pomdp/analysis/OneShotPolicySearch.h"
#include "storm-pomdp/analysis/QualitativeAnalysisOnGraphs.h"
#include "storm-pomdp/analysis/UniqueObservationStates.h"
#include "storm-pomdp/modelchecker/BeliefExplorationPomdpModelChecker.h"
#include "storm-pomdp/transformer/ApplyFiniteSchedulerToPomdp.h"
#include "storm-pomdp/transformer/BinaryPomdpTransformer.h"
#include "storm-pomdp/transformer/GlobalPOMDPSelfLoopEliminator.h"
#include "storm-pomdp/transformer/GlobalPomdpMecChoiceEliminator.h"
#include "storm-pomdp/transformer/KnownProbabilityTransformer.h"
#include "storm-pomdp/transformer/MakePOMDPCanonic.h"
#include "storm-pomdp/transformer/PomdpMemoryUnfolder.h"
#include "storm/api/storm.h"
#include "storm/modelchecker/results/ExplicitQualitativeCheckResult.h"
#include "storm/utility/NumberTraits.h"
#include "storm/utility/SignalHandler.h"
#include "storm/utility/Stopwatch.h"
#include "storm/exceptions/NotSupportedException.h"
#include "storm/exceptions/UnexpectedException.h"
#include <typeinfo>

Include dependency graph for storm-pomdp.cpp:

Go to the source code of this file.

Namespaces
namespace	storm
	LabParser.cpp.
namespace	storm::pomdp
namespace	storm::pomdp::cli

Functions
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.
template<typename ValueType >
void	storm::pomdp::cli::printResult (ValueType const &lowerBound, ValueType const &upperBound)
MemlessSearchOptions	storm::pomdp::cli::fillMemlessSearchOptionsFromSettings ()
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)
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)
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)
template<typename ValueType , storm::dd::DdType DdType>
void	storm::pomdp::cli::processOptionsWithValueTypeAndDdLib (storm::cli::SymbolicInput const &symbolicInput, storm::cli::ModelProcessingInformation const &mpi)
template<storm::dd::DdType DdType>
void	storm::pomdp::cli::processOptionsWithDdLib (storm::cli::SymbolicInput const &symbolicInput, storm::cli::ModelProcessingInformation const &mpi)
void	storm::pomdp::cli::processOptions ()
int	main (const int argc, const char **argv)
	Entry point for the pomdp backend.

Function Documentation

main()

int main	(	const int	argc,
		const char **	argv
	)

Entry point for the pomdp backend.

Parameters

argc	The argc argument of main().
argv	The argv argument of main().

Returns

Return code, 0 if successfull, not 0 otherwise.

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