#include <optional>
#include <type_traits>
#include "storm-cli-utilities/cli.h"
#include "storm-cli-utilities/model-handling.h"
#include "storm-pomdp-cli/settings/PomdpSettings.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-pomdp/analysis/FiniteBeliefMdpDetection.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/beliefs/storage/Belief.h"
#include "storm-pomdp/beliefs/verification/BeliefBasedModelChecker.h"
#include "storm-pomdp/modelchecker/PreprocessingPomdpValueBoundsModelChecker.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/MakeStateSetObservationClosed.h"
#include "storm-pomdp/transformer/PomdpMemoryUnfolder.h"
#include "storm-pomdp/transformer/RewardBoundUnfolder.h"
#include "storm-pomdp/transformer/ToStateBasedObservationTransformer.h"
#include "storm/analysis/GraphConditions.h"
#include "storm/api/storm.h"
#include "storm/exceptions/InvalidPropertyException.h"
#include "storm/exceptions/NotSupportedException.h"
#include "storm/exceptions/UnexpectedException.h"
#include "storm/exceptions/WrongFormatException.h"
#include "storm/modelchecker/results/ExplicitQualitativeCheckResult.h"
#include "storm/transformer/MakePOMDPCanonic.h"
#include "storm/transformer/SparseRationalModelToDoubleTransformer.h"
#include "storm/utility/ExtendedNumber.h"
#include "storm/utility/NumberTraits.h"
#include "storm/utility/SignalHandler.h"
#include "storm/utility/Stopwatch.h"
#include "storm/utility/graph.h"

Include dependency graph for storm-pomdp.cpp:

Namespaces
namespace	storm
namespace	storm::pomdp
namespace	storm::pomdp::cli

Functions
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.
template<typename ValueType>
void	storm::pomdp::cli::printResult (std::optional< ValueType > const &lowerBound, std::optional< ValueType > const &upperBound)
template<typename Statistics>
void	storm::pomdp::cli::printBeliefExplorationStatistics (Statistics const &statistics)
MemlessSearchOptions	storm::pomdp::cli::fillMemlessSearchOptionsFromSettings ()
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)
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)
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)
template<typename ValueType>
bool	storm::pomdp::cli::performTransformation (std::shared_ptr< storm::models::sparse::Pomdp< ValueType > > &pomdp, storm::logic::Formula const &formula)
template<typename ValueType>
void	storm::pomdp::cli::processPomdp (std::shared_ptr< storm::models::sparse::Pomdp< ValueType > > &pomdp)
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)
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)
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 802 of file storm-pomdp.cpp.

Namespaces

Functions

Function Documentation

◆ main()