Storm 1.10.0.1
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
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 >
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 , 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)
 
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 (std::shared_ptr< storm::models::sparse::Pomdp< ValueType > > &&pomdp, std::shared_ptr< storm::logic::Formula const > const &formula)
 
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)
 
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
argcThe argc argument of main().
argvThe argv argument of main().
Returns
Return code, 0 if successfull, not 0 otherwise.

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