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
6
#include "
storm-parsers/storm-parsers-api.h
"
7
8
namespace
storm
{
9
namespace
parser
{
10
STORM_PARSERS_API
std::unordered_map<std::string, std::string>
parseKeyValueString
(std::string
const
& keyValueString);
11
}
12
}
// namespace storm
storm::parser
Contains all file parsers and helper classes.
Definition
DFTGalileoParser.h:6
storm::parser::parseKeyValueString
std::unordered_map< std::string, std::string > parseKeyValueString(std::string const &keyValueString)
Definition
KeyValueParser.cpp:11
storm
Definition
AutomaticSettings.cpp:13
storm-parsers-api.h
STORM_PARSERS_API
#define STORM_PARSERS_API
Definition
storm-parsers-api.h:7
src
storm-parsers
parser
KeyValueParser.h
Generated by
1.15.0