storm::dft::settings Namespace Reference

Namespaces
namespace	modules

Functions
void	initializeDftSettings (std::string const &name, std::string const &executableName)

Function Documentation

initializeDftSettings()

void storm::dft::settings::initializeDftSettings	(	std::string const &	name,
		std::string const &	executableName
	)

Definition at line 36 of file DftSettings.cpp.