PrismToJaniConverterOptions.cpp

Go to the documentation of this file.

#include "storm-conv/converter/options/PrismToJaniConverterOptions.h"
 
namespace storm {
namespace converter {
 
PrismToJaniConverterOptions::PrismToJaniConverterOptions() : allVariablesGlobal(false), suffix("") {
    // Intentionally left empty
}
}  // namespace converter
}  // namespace storm