Storm
1.14.0.1
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
GradientDescentMethod.h
Go to the documentation of this file.
1
#pragma once
2
#include <boost/optional.hpp>
3
#include <string>
4
namespace
storm
{
5
namespace
derivative
{
10
enum class
GradientDescentMethod
{
11
ADAM
,
12
RADAM
,
13
RMSPROP
,
14
PLAIN
,
15
PLAIN_SIGN
,
16
MOMENTUM
,
17
MOMENTUM_SIGN
,
18
NESTEROV
,
19
NESTEROV_SIGN
20
};
21
22
}
// namespace derivative
23
}
// namespace storm
storm::derivative
Definition
GradientDescentConstraintMethod.h:5
storm::derivative::GradientDescentMethod
GradientDescentMethod
GradientDescentMethod is the method of Gradient Descent the GradientDescentInstantiationSearcher shal...
Definition
GradientDescentMethod.h:10
storm::derivative::GradientDescentMethod::RADAM
@ RADAM
Definition
GradientDescentMethod.h:12
storm::derivative::GradientDescentMethod::ADAM
@ ADAM
The default.
Definition
GradientDescentMethod.h:11
storm::derivative::GradientDescentMethod::NESTEROV_SIGN
@ NESTEROV_SIGN
Definition
GradientDescentMethod.h:19
storm::derivative::GradientDescentMethod::PLAIN_SIGN
@ PLAIN_SIGN
Definition
GradientDescentMethod.h:15
storm::derivative::GradientDescentMethod::RMSPROP
@ RMSPROP
Definition
GradientDescentMethod.h:13
storm::derivative::GradientDescentMethod::MOMENTUM
@ MOMENTUM
Definition
GradientDescentMethod.h:16
storm::derivative::GradientDescentMethod::MOMENTUM_SIGN
@ MOMENTUM_SIGN
Definition
GradientDescentMethod.h:17
storm::derivative::GradientDescentMethod::NESTEROV
@ NESTEROV
Definition
GradientDescentMethod.h:18
storm::derivative::GradientDescentMethod::PLAIN
@ PLAIN
Definition
GradientDescentMethod.h:14
storm
Definition
AutomaticSettings.cpp:13
src
storm-pars
derivative
GradientDescentMethod.h
Generated by
1.15.0