JaniConversionOptionsBuilder.h

Go to the documentation of this file.

#pragma once
 
#include "storm-conv/converter/options/JaniConversionOptions.h"
 
namespace storm::settings {

class JaniConversionOptionsBuilder {
   public:
    JaniConversionOptionsBuilder() = delete;
 
    static storm::converter::JaniConversionOptions buildJaniConversionOptions();
};
 
}  // namespace storm::settings