PcaaWeightVectorChecker.cpp File Reference

#include "storm/modelchecker/multiobjective/pcaa/PcaaWeightVectorChecker.h"
#include "storm/exceptions/InvalidOperationException.h"
#include "storm/exceptions/NotSupportedException.h"
#include "storm/modelchecker/multiobjective/pcaa/RewardBoundedMdpPcaaWeightVectorChecker.h"
#include "storm/modelchecker/multiobjective/pcaa/StandardMaPcaaWeightVectorChecker.h"
#include "storm/modelchecker/multiobjective/pcaa/StandardMdpPcaaWeightVectorChecker.h"
#include "storm/utility/macros.h"

Include dependency graph for PcaaWeightVectorChecker.cpp:

Go to the source code of this file.

Namespaces
namespace	storm
namespace	storm::modelchecker
namespace	storm::modelchecker::multiobjective

Functions
template<typename ModelType>
std::unique_ptr< PcaaWeightVectorChecker< ModelType > >	storm::modelchecker::multiobjective::createWeightVectorChecker (preprocessing::SparseMultiObjectivePreprocessorResult< ModelType > const &preprocessorResult)
template std::unique_ptr< PcaaWeightVectorChecker< storm::models::sparse::Mdp< double > > >	storm::modelchecker::multiobjective::createWeightVectorChecker (preprocessing::SparseMultiObjectivePreprocessorResult< storm::models::sparse::Mdp< double > > const &preprocessorResult)
template std::unique_ptr< PcaaWeightVectorChecker< storm::models::sparse::Mdp< RationalNumber > > >	storm::modelchecker::multiobjective::createWeightVectorChecker (preprocessing::SparseMultiObjectivePreprocessorResult< storm::models::sparse::Mdp< RationalNumber > > const &preprocessorResult)
template std::unique_ptr< PcaaWeightVectorChecker< storm::models::sparse::MarkovAutomaton< double > > >	storm::modelchecker::multiobjective::createWeightVectorChecker (preprocessing::SparseMultiObjectivePreprocessorResult< storm::models::sparse::MarkovAutomaton< double > > const &preprocessorResult)
template std::unique_ptr< PcaaWeightVectorChecker< storm::models::sparse::MarkovAutomaton< RationalNumber > > >	storm::modelchecker::multiobjective::createWeightVectorChecker (preprocessing::SparseMultiObjectivePreprocessorResult< storm::models::sparse::MarkovAutomaton< RationalNumber > > const &preprocessorResult)