OrderBasedMonotonicityBackend.cpp File Reference

#include "storm-pars/modelchecker/region/monotonicity/OrderBasedMonotonicityBackend.h"
#include "storm-pars/modelchecker/region/AnnotatedRegion.h"
#include "storm/storage/BitVector.h"
#include "storm/storage/SparseMatrix.h"
#include "storm/utility/macros.h"
#include "storm/exceptions/NotImplementedException.h"

Include dependency graph for OrderBasedMonotonicityBackend.cpp:

Go to the source code of this file.

Namespaces
namespace	storm
	LabParser.cpp.
namespace	storm::modelchecker
namespace	storm::modelchecker::detail

Functions
template<typename ParametricType , typename ConstantType >
std::shared_ptr< storm::analysis::Order >	storm::modelchecker::detail::extendOrder (storm::analysis::OrderExtender< ParametricType, ConstantType > &orderExtender, std::shared_ptr< storm::analysis::Order > order, storm::storage::ParameterRegion< ParametricType > region)
template<typename ParametricType , typename ConstantType >
void	storm::modelchecker::detail::extendLocalMonotonicityResult (storm::storage::ParameterRegion< ParametricType > const &region, std::shared_ptr< storm::analysis::Order > const &order, storm::analysis::LocalMonotonicityResult< typename storm::storage::ParameterRegion< ParametricType >::VariableType > &localMonotonicityResult, storm::analysis::MonotonicityChecker< ParametricType > &monotonicityChecker, storm::transformer::ParameterLifter< ParametricType, ConstantType > const &parameterLifter)