Storm
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
DftSettings.h
Go to the documentation of this file.
1#pragma once
2
3#include <string>
4
5namespace storm::dft {
6namespace settings {
7
8void initializeDftSettings(std::string const& name, std::string const& executableName);
9
10} // namespace settings
11} // namespace storm::dft
storm::dft::settings::initializeDftSettings
void initializeDftSettings(std::string const &name, std::string const &executableName)
Definition DftSettings.cpp:36