| Storm 1.11.1.1
    A Modern Probabilistic Model Checker | 
#include <boost/optional.hpp>#include <string>

Go to the source code of this file.
| Namespaces | |
| namespace | storm | 
| LabParser.cpp. | |
| namespace | storm::derivative | 
| Enumerations | |
| enum class | storm::derivative::GradientDescentMethod { storm::derivative::ADAM , storm::derivative::RADAM , storm::derivative::RMSPROP , storm::derivative::PLAIN , storm::derivative::PLAIN_SIGN , storm::derivative::MOMENTUM , storm::derivative::MOMENTUM_SIGN , storm::derivative::NESTEROV , storm::derivative::NESTEROV_SIGN } | 
| GradientDescentMethod is the method of Gradient Descent the GradientDescentInstantiationSearcher shall use.  More... | |