SamplingSettings.h

Go to the documentation of this file.

#pragma once
#include "storm/settings/modules/ModuleSettings.h"
 
namespace storm::settings::modules {
 
class SamplingSettings : public ModuleSettings {
   public:
    SamplingSettings();
    std::string getSamples() const;

    bool isSamplesAreGraphPreservingSet() const;

    bool isSampleExactSet() const;

    bool isSampleDerivativeSet() const;
 
    static const std::string moduleName;
};
 
}  // namespace storm::settings::modules