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
6
namespace
storm
{
7
namespace
parser {
8
std::unordered_map<std::string, std::string>
parseKeyValueString
(std::string
const
& keyValueString);
9
}
10
}
// namespace storm
storm::parser::parseKeyValueString
std::unordered_map< std::string, std::string > parseKeyValueString(std::string const &keyValueString)
Definition
KeyValueParser.cpp:11
storm
LabParser.cpp.
Definition
cli.cpp:18
src
storm-parsers
parser
KeyValueParser.h
Generated by
1.9.8