Storm
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
GradientDescentConstraintMethod.h
Go to the documentation of this file.
1
#ifndef STORM_DERIVATIVEGRADIENTDESCENTCONSTRAINTMETHOD_H
2
#define STORM_DERIVATIVEGRADIENTDESCENTCONSTRAINTMETHOD_H
3
#include <boost/optional.hpp>
4
#include <string>
5
namespace
storm
{
6
namespace
derivative {
11
enum class
GradientDescentConstraintMethod
{
12
PROJECT_WITH_GRADIENT
,
//< The default.
13
PROJECT
,
14
PENALTY_QUADRATIC
,
15
BARRIER_LOGARITHMIC
,
16
BARRIER_INFINITY
,
17
LOGISTIC_SIGMOID
18
};
19
}
// namespace derivative
20
}
// namespace storm
21
#endif
storm::derivative::GradientDescentConstraintMethod
GradientDescentConstraintMethod
GradientDescentConstraintMethod is the method for mitigating constraints that the GradientDescentInst...
Definition
GradientDescentConstraintMethod.h:11
storm::derivative::GradientDescentConstraintMethod::PROJECT
@ PROJECT
storm::derivative::GradientDescentConstraintMethod::BARRIER_INFINITY
@ BARRIER_INFINITY
storm::derivative::GradientDescentConstraintMethod::PROJECT_WITH_GRADIENT
@ PROJECT_WITH_GRADIENT
storm::derivative::GradientDescentConstraintMethod::PENALTY_QUADRATIC
@ PENALTY_QUADRATIC
storm::derivative::GradientDescentConstraintMethod::BARRIER_LOGARITHMIC
@ BARRIER_LOGARITHMIC
storm::derivative::GradientDescentConstraintMethod::LOGISTIC_SIGMOID
@ LOGISTIC_SIGMOID
storm
LabParser.cpp.
Definition
cli.cpp:18
src
storm-pars
derivative
GradientDescentConstraintMethod.h
Generated by
1.9.8