DerivativeSettings.h

Go to the documentation of this file.

#pragma once
 
#include <boost/none.hpp>
#include <boost/optional.hpp>
#include "storm-pars/derivative/GradientDescentConstraintMethod.h"
#include "storm-pars/derivative/GradientDescentMethod.h"
#include "storm/adapters/RationalFunctionAdapter.h"
#include "storm/settings/modules/ModuleSettings.h"
 
namespace storm {
namespace settings {
namespace modules {
 
class DerivativeSettings : public ModuleSettings {
   public:
    DerivativeSettings();
 
    bool isFeasibleInstantiationSearchSet() const;
 
    boost::optional<std::string> getDerivativeAtInstantiation() const;
 
    double getLearningRate() const;
 
    uint_fast64_t getMiniBatchSize() const;
 
    double getAverageDecay() const;
 
    double getSquaredAverageDecay() const;
 
    bool isPrintJsonSet() const;
 
    boost::optional<derivative::GradientDescentConstraintMethod> getConstraintMethod() const;
 
    std::string getConstraintMethodAsString() const;
 
    double getTerminationEpsilon() const;
 
    boost::optional<derivative::GradientDescentMethod> getGradientDescentMethod() const;
 
    std::string getGradientDescentMethodAsString() const;
 
    bool areInconsequentialParametersOmitted() const;
 
    const static std::string moduleName;
 
   private:
    const static std::string extremumSearch;
    const static std::string feasibleInstantiationSearch;
    const static std::string derivativeAtInstantiation;
    const static std::string learningRate;
    const static std::string miniBatchSize;
    const static std::string adamParams;
    const static std::string averageDecay;
    const static std::string squaredAverageDecay;
    const static std::string printJson;
    const static std::string terminationEpsilon;
    const static std::string gradientDescentMethod;
    const static std::string omitInconsequentialParams;
    const static std::string constraintMethod;
    boost::optional<derivative::GradientDescentMethod> methodFromString(const std::string &str) const;
    boost::optional<derivative::GradientDescentConstraintMethod> constraintMethodFromString(const std::string &str) const;
};
 
}  // namespace modules
}  // namespace settings
}  // namespace storm