storm::derivative Namespace Reference

Classes
class	GradientDescentInstantiationSearcher
class	SparseDerivativeInstantiationModelChecker
class	SignedGradientDescentTerminationCondition

Typedefs
template<typename FunctionType>
using	VariableType = typename utility::parametric::VariableType<FunctionType>::type
template<typename FunctionType>
using	CoefficientType = typename utility::parametric::CoefficientType<FunctionType>::type

Enumerations
enum class	GradientDescentConstraintMethod {   PROJECT_WITH_GRADIENT , PROJECT , PENALTY_QUADRATIC , BARRIER_LOGARITHMIC ,   BARRIER_INFINITY , LOGISTIC_SIGMOID }
	GradientDescentConstraintMethod is the method for mitigating constraints that the GradientDescentInstantiationSearcher uses. More...
enum class	GradientDescentMethod {   ADAM , RADAM , RMSPROP , PLAIN ,   PLAIN_SIGN , MOMENTUM , MOMENTUM_SIGN , NESTEROV ,   NESTEROV_SIGN }
	GradientDescentMethod is the method of Gradient Descent the GradientDescentInstantiationSearcher shall use. More...

Typedef Documentation

CoefficientType

template<typename FunctionType>

using storm::derivative::CoefficientType = typename utility::parametric::CoefficientType<FunctionType>::type

Definition at line 21 of file GradientDescentInstantiationSearcher.cpp.

VariableType

template<typename FunctionType>

using storm::derivative::VariableType = typename utility::parametric::VariableType<FunctionType>::type

Definition at line 19 of file GradientDescentInstantiationSearcher.cpp.

Enumeration Type Documentation

GradientDescentConstraintMethod

enum class storm::derivative::GradientDescentConstraintMethod

strong

GradientDescentConstraintMethod is the method for mitigating constraints that the GradientDescentInstantiationSearcher uses.

Enumerator
PROJECT_WITH_GRADIENT
PROJECT
PENALTY_QUADRATIC
BARRIER_LOGARITHMIC
BARRIER_INFINITY
LOGISTIC_SIGMOID

Definition at line 11 of file GradientDescentConstraintMethod.h.

GradientDescentMethod

enum class storm::derivative::GradientDescentMethod

strong

GradientDescentMethod is the method of Gradient Descent the GradientDescentInstantiationSearcher shall use.

Enumerator
ADAM	The default.
RADAM
RMSPROP
PLAIN
PLAIN_SIGN
MOMENTUM
MOMENTUM_SIGN
NESTEROV
NESTEROV_SIGN

Definition at line 11 of file GradientDescentMethod.h.