Storm
A Modern Probabilistic Model Checker
|
This is the complete list of members for storm::derivative::GradientDescentInstantiationSearcher< FunctionType, ConstantType >, including all inherited members.
getVisualizationWalk() | storm::derivative::GradientDescentInstantiationSearcher< FunctionType, ConstantType > | |
gradientDescent() | storm::derivative::GradientDescentInstantiationSearcher< FunctionType, ConstantType > | |
GradientDescentInstantiationSearcher(storm::models::sparse::Dtmc< FunctionType > const &model, GradientDescentMethod method=GradientDescentMethod::ADAM, ConstantType learningRate=0.1, ConstantType averageDecay=0.9, ConstantType squaredAverageDecay=0.999, uint_fast64_t miniBatchSize=32, ConstantType terminationEpsilon=1e-6, boost::optional< std::map< typename utility::parametric::VariableType< FunctionType >::type, typename utility::parametric::CoefficientType< FunctionType >::type > > startPoint=boost::none, GradientDescentConstraintMethod constraintMethod=GradientDescentConstraintMethod::PROJECT_WITH_GRADIENT, bool recordRun=false) | storm::derivative::GradientDescentInstantiationSearcher< FunctionType, ConstantType > | inline |
printRunAsJson() | storm::derivative::GradientDescentInstantiationSearcher< FunctionType, ConstantType > | |
setup(Environment const &env, std::shared_ptr< storm::pars::FeasibilitySynthesisTask const > const &task) | storm::derivative::GradientDescentInstantiationSearcher< FunctionType, ConstantType > | inline |