Storm
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
PomdpSettings.h
Go to the documentation of this file.
1#pragma once
2
3#include <string>
4
5namespace storm {
6namespace settings {
10void initializePomdpSettings(std::string const& name, std::string const& executableName);
11
12} // namespace settings
13} // namespace storm
storm::settings::initializePomdpSettings
void initializePomdpSettings(std::string const &name, std::string const &executableName)
Initialize the settings manager.
Definition PomdpSettings.cpp:39
storm
LabParser.cpp.
Definition cli.cpp:18