Storm
A Modern Probabilistic Model Checker
All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Pages
storm::derivative::GradientDescentInstantiationSearcher< FunctionType, ConstantType > Member List

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