d8/de9/_sparse_state_reward_parser_8h_source.html

#pragma once


#include <cstdint>

#include <string>

#include <vector>


#include "storm-parsers/storm-parsers-api.h"


namespace storm {

namespace parser {


template<typename ValueType = double>


class STORM_PARSERS_API SparseStateRewardParser {

   public:

    static std::vector<ValueType> parseSparseStateReward(uint_fast64_t stateCount, std::string const& filename);

};


}  // namespace parser

}  // namespace storm

storm::parser::SparseStateRewardParser
A class providing the functionality to parse a the state rewards of a model.
Definition SparseStateRewardParser.h:16

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

storm
Definition AutomaticSettings.cpp:13

storm-parsers-api.h

STORM_PARSERS_API
#define STORM_PARSERS_API
Definition storm-parsers-api.h:7