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/settings/modules/ModuleSettings.h"
 
namespace storm {
namespace settings {
namespace modules {

class DerivativeSettings : public ModuleSettings {
   public:
    DerivativeSettings();

    bool isFeasibleInstantiationSearchSet() 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