Storm
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::GradientDescentMethod
GradientDescentMethod
GradientDescentMethod is the method of Gradient Descent the GradientDescentInstantiationSearcher shal...
Definition
GradientDescentMethod.h:11
storm::derivative::GradientDescentMethod::RADAM
@ RADAM
storm::derivative::GradientDescentMethod::ADAM
@ ADAM
The default.
storm::derivative::GradientDescentMethod::NESTEROV_SIGN
@ NESTEROV_SIGN
storm::derivative::GradientDescentMethod::PLAIN_SIGN
@ PLAIN_SIGN
storm::derivative::GradientDescentMethod::RMSPROP
@ RMSPROP
storm::derivative::GradientDescentMethod::MOMENTUM
@ MOMENTUM
storm::derivative::GradientDescentMethod::MOMENTUM_SIGN
@ MOMENTUM_SIGN
storm::derivative::GradientDescentMethod::NESTEROV
@ NESTEROV
storm::derivative::GradientDescentMethod::PLAIN
@ PLAIN
storm
LabParser.cpp.
Definition
cli.cpp:18
src
storm-pars
derivative
GradientDescentMethod.h
Generated by
1.9.8