Storm
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
SparseStateRewardParser.h
Go to the documentation of this file.
1#ifndef STORM_PARSER_SPARSESTATEREWARDPARSER_H_
2#define STORM_PARSER_SPARSESTATEREWARDPARSER_H_
3
4#include <cstdint>
5#include <string>
6#include <vector>
7
8namespace storm {
9namespace parser {
10
14template<typename ValueType = double>
15class SparseStateRewardParser {
16 public:
24 static std::vector<ValueType> parseSparseStateReward(uint_fast64_t stateCount, std::string const& filename);
25};
26
27} // namespace parser
28} // namespace storm
29
30#endif /* STORM_PARSER_SPARSESTATEREWARDPARSER_H_ */
storm::parser::SparseStateRewardParser
A class providing the functionality to parse a the state rewards of a model.
Definition SparseStateRewardParser.h:15
storm::parser::SparseStateRewardParser::parseSparseStateReward
static std::vector< ValueType > parseSparseStateReward(uint_fast64_t stateCount, std::string const &filename)
Reads a state reward file and puts the result in a state reward vector.
Definition SparseStateRewardParser.cpp:18
storm
LabParser.cpp.
Definition cli.cpp:18