storm::modelchecker::detail Namespace Reference

Functions
template<typename ParametricType, typename ConstantType>
std::shared_ptr< storm::analysis::Order >	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	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)

Function Documentation

extendLocalMonotonicityResult()

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 )

Definition at line 26 of file OrderBasedMonotonicityBackend.cpp.

extendOrder()

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 )

Definition at line 15 of file OrderBasedMonotonicityBackend.cpp.