region.cpp File Reference

#include "storm-pars/api/region.h"
#include <memory>
#include "storm-pars/modelchecker/region/SparseDtmcParameterLiftingModelChecker.h"
#include "storm-pars/modelchecker/region/SparseMdpParameterLiftingModelChecker.h"
#include "storm-pars/modelchecker/region/ValidatingSparseParameterLiftingModelChecker.h"
#include "storm/adapters/RationalFunctionAdapter.h"
#include "storm/models/sparse/Dtmc.h"
#include "storm/models/sparse/Mdp.h"

Include dependency graph for region.cpp:

Go to the source code of this file.

Namespaces
namespace	storm
namespace	storm::api

Functions
template<typename ParametricType, typename ImpreciseType, typename PreciseType>
std::unique_ptr< storm::modelchecker::RegionModelChecker< ParametricType > >	storm::api::createRegionModelChecker (storm::modelchecker::RegionCheckEngine engine, storm::models::ModelType modelType)
template std::unique_ptr< storm::modelchecker::RegionModelChecker< storm::RationalFunction > >	storm::api::createRegionModelChecker< storm::RationalFunction, double, storm::RationalNumber > (storm::modelchecker::RegionCheckEngine engine, storm::models::ModelType modelType)