Storm
A Modern Probabilistic Model Checker
All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Pages
MonotonicityParser.h
Go to the documentation of this file.
1#pragma once
2
3#include <set>
4#include <string>
5
6namespace storm {
7namespace parser {
8template<typename VariableType>
10 public:
11 static std::pair<std::set<VariableType>, std::set<VariableType>> parseMonotoneVariablesFromFile(std::string const& fileName,
12 std::set<VariableType> const& consideredVariables);
13};
14} // namespace parser
15} // namespace storm
static std::pair< std::set< VariableType >, std::set< VariableType > > parseMonotoneVariablesFromFile(std::string const &fileName, std::set< VariableType > const &consideredVariables)
LabParser.cpp.
Definition cli.cpp:18