Storm
A Modern Probabilistic Model Checker
All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Pages
AutoParser.h
Go to the documentation of this file.
1#ifndef STORM_PARSER_AUTOPARSER_H_
2#define STORM_PARSER_AUTOPARSER_H_
3
5
6#include <string>
7
8#define STORM_PARSER_AUTOPARSER_HINT_LENGTH (10ull)
9
10namespace storm {
11
19namespace parser {
20
25template<typename ValueType = double, typename RewardValueType = double>
27 public:
49 static std::shared_ptr<storm::models::sparse::Model<ValueType, storm::models::sparse::StandardRewardModel<RewardValueType>>> parseModel(
50 std::string const& transitionsFilename, std::string const& labelingFilename, std::string const& stateRewardFilename = "",
51 std::string const& transitionRewardFilename = "", std::string const& choiceLabelingFilename = "");
52
53 private:
54 // Define the maximal length of a hint in the file.
55 static uint_fast64_t hintLength;
56
63 static storm::models::ModelType analyzeHint(std::string const& filename);
64};
65
66} // namespace parser
67} // namespace storm
68
69#endif /* STORM_PARSER_AUTOPARSER_H_ */
This class automatically chooses the correct parser for the given files and returns the corresponding...
Definition AutoParser.h:26
static std::shared_ptr< storm::models::sparse::Model< ValueType, storm::models::sparse::StandardRewardModel< RewardValueType > > > parseModel(std::string const &transitionsFilename, std::string const &labelingFilename, std::string const &stateRewardFilename="", std::string const &transitionRewardFilename="", std::string const &choiceLabelingFilename="")
Checks the given files and parses the model within these files.
LabParser.cpp.
Definition cli.cpp:18