FeasibilitySettings.h

Go to the documentation of this file.

#pragma once
 
#include "storm-pars/utility/FeasibilitySynthesisTask.h"
#include "storm/settings/modules/ModuleSettings.h"
#include "storm/solver/OptimizationDirection.h"
 
namespace storm::settings::modules {
class FeasibilitySettings : public ModuleSettings {
   public:
    FeasibilitySettings();

    storm::pars::FeasibilityMethod getFeasibilityMethod() const;

    bool hasOptimalValueGuaranteeBeenSet() const;
    double getOptimalValueGuarantee() const;

    bool isAbsolutePrecisionSet() const;

    bool isParameterDirectionSet() const;

    storm::solver::OptimizationDirection getParameterDirection() const;
 
    const static std::string moduleName;
};
 
}  // namespace storm::settings::modules