PartitionSettings.h

Go to the documentation of this file.

#pragma once
 
#include "storm/settings/modules/ModuleSettings.h"
 
namespace storm::settings::modules {
class PartitionSettings : public ModuleSettings {
   public:
    PartitionSettings();
    double getCoverageThreshold() const;
 
    bool isDepthLimitSet() const;
 
    uint64_t getDepthLimit() const;
 
    bool isPrintNoIllustrationSet() const;
 
    bool isPrintFullResultSet() const;
 
    const static std::string moduleName;
};
}  // namespace storm::settings::modules