d4/d14/_conv_settings_8h_source.html

#pragma once


#include <string>


namespace storm {

namespace settings {


void initializeConvSettings(std::string const& name, std::string const& executableName);


}

}  // namespace storm

storm::settings::initializeConvSettings
void initializeConvSettings(std::string const &name, std::string const &executableName)
Definition ConvSettings.cpp:13

storm
LabParser.cpp.
Definition cli.cpp:18