Storm
1.14.0.1
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
GradientDescentConstraintMethod.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
GradientDescentConstraintMethod
{
11
PROJECT_WITH_GRADIENT
,
//< The default.
12
PROJECT
,
13
PENALTY_QUADRATIC
,
14
BARRIER_LOGARITHMIC
,
15
BARRIER_INFINITY
,
16
LOGISTIC_SIGMOID
17
};
18
}
// namespace derivative
19
}
// namespace storm
storm::derivative
Definition
GradientDescentConstraintMethod.h:5
storm::derivative::GradientDescentConstraintMethod
GradientDescentConstraintMethod
GradientDescentConstraintMethod is the method for mitigating constraints that the GradientDescentInst...
Definition
GradientDescentConstraintMethod.h:10
storm::derivative::GradientDescentConstraintMethod::PROJECT
@ PROJECT
Definition
GradientDescentConstraintMethod.h:12
storm::derivative::GradientDescentConstraintMethod::BARRIER_INFINITY
@ BARRIER_INFINITY
Definition
GradientDescentConstraintMethod.h:15
storm::derivative::GradientDescentConstraintMethod::PROJECT_WITH_GRADIENT
@ PROJECT_WITH_GRADIENT
Definition
GradientDescentConstraintMethod.h:11
storm::derivative::GradientDescentConstraintMethod::PENALTY_QUADRATIC
@ PENALTY_QUADRATIC
Definition
GradientDescentConstraintMethod.h:13
storm::derivative::GradientDescentConstraintMethod::BARRIER_LOGARITHMIC
@ BARRIER_LOGARITHMIC
Definition
GradientDescentConstraintMethod.h:14
storm::derivative::GradientDescentConstraintMethod::LOGISTIC_SIGMOID
@ LOGISTIC_SIGMOID
Definition
GradientDescentConstraintMethod.h:16
storm
Definition
AutomaticSettings.cpp:13
src
storm-pars
derivative
GradientDescentConstraintMethod.h
Generated by
1.15.0