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, std::optional< std::map< typename utility::parametric::VariableType< FunctionType >::type, typename utility::parametric::CoefficientType< FunctionType >::type > > startPoint=std::nullopt, GradientDescentConstraintMethod constraintMethod=GradientDescentConstraintMethod::PROJECT_WITH_GRADIENT, std::optional< storage::ParameterRegion< FunctionType > > region=std::nullopt, 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