Storm
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
KeyValueParser.h
Go to the documentation of this file.
1#pragma once
2
3#include <string>
4#include <unordered_map>
5
6namespace storm {
7namespace parser {
8std::unordered_map<std::string, std::string> parseKeyValueString(std::string const& keyValueString);
9}
10} // namespace storm
std::unordered_map< std::string, std::string > parseKeyValueString(std::string const &keyValueString)
LabParser.cpp.
Definition cli.cpp:18