GSPNExportSettings.h

Go to the documentation of this file.

#pragma once
 
#include "storm-config.h"
#include "storm/settings/modules/ModuleSettings.h"
 
namespace storm {
namespace settings {
namespace modules {
class GSPNExportSettings : public ModuleSettings {
   public:
    GSPNExportSettings();
 
    bool isWriteToDotSet() const;
 
    std::string getWriteToDotFilename() const;
 
    bool isWriteToPnmlSet() const;
 
    std::string getWriteToPnmlFilename() const;
 
    bool isWriteToPnproSet() const;
 
    std::string getWriteToPnproFilename() const;
 
    bool isWriteToJsonSet() const;
 
    std::string getWriteToJsonFilename() const;
 
    bool isWriteToJaniSet() const;
 
    std::string getWriteToJaniFilename() const;
 
    bool isAddJaniPropertiesSet() const;
 
    bool isDisplayStatsSet() const;
 
    bool isWriteStatsToFileSet() const;
 
    std::string getWriteStatsFilename() const;
 
    bool check() const override;
    void finalize() override;
 
    static const std::string moduleName;
 
   private:
    static const std::string writeToDotOptionName;
    static const std::string writeToPnmlOptionName;
    static const std::string writeToPnproOptionName;
    static const std::string writeToJsonOptionName;
    static const std::string writeToJaniOptionName;
    static const std::string addJaniPropertiesOptionName;
    static const std::string displayStatsOptionName;
    static const std::string writeStatsOptionName;
 
    // static const std::string writeToDotOptionShortName;
};
}  // namespace modules
}  // namespace settings
}  // namespace storm