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