Storm 1.14.0.1
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
SparseStateRewardParser.h
Go to the documentation of this file.
1#pragma once
2
3#include <cstdint>
4#include <string>
5#include <vector>
6
7namespace storm {
8namespace parser {
9
13template<typename ValueType = double>
14class SparseStateRewardParser {
15 public:
23 static std::vector<ValueType> parseSparseStateReward(uint_fast64_t stateCount, std::string const& filename);
24};
25
26} // namespace parser
27} // namespace storm
storm::parser::SparseStateRewardParser
A class providing the functionality to parse a the state rewards of a model.
Definition SparseStateRewardParser.h:14
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::parser
Contains all file parsers and helper classes.
Definition DFTGalileoParser.h:6