RegionVerificationSettings.h

Go to the documentation of this file.

#pragma once
 
#include "storm-pars/modelchecker/region/RegionCheckEngine.h"
#include "storm-pars/modelchecker/region/RegionSplittingStrategy.h"
#include "storm/settings/modules/ModuleSettings.h"
 
namespace storm::settings::modules {
 
class RegionVerificationSettings : public ModuleSettings {
   public:
    RegionVerificationSettings();
 
    bool isSplittingThresholdSet() const;
 
    int getSplittingThreshold() const;

    storm::modelchecker::RegionCheckEngine getRegionCheckEngine() const;

    storm::modelchecker::RegionSplittingStrategy::Heuristic getRegionSplittingHeuristic() const;

    std::optional<storm::modelchecker::RegionSplitEstimateKind> getRegionSplittingEstimateMethod() const;
 
    const static std::string moduleName;
};
 
}  // namespace storm::settings::modules