Storm 1.14.0.1
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
7
8namespace storm {
9namespace parser {
10STORM_PARSERS_API std::unordered_map<std::string, std::string> parseKeyValueString(std::string const& keyValueString);
11}
12} // namespace storm
Contains all file parsers and helper classes.
std::unordered_map< std::string, std::string > parseKeyValueString(std::string const &keyValueString)
#define STORM_PARSERS_API