storm::parser::SparseStateRewardParser< ValueType > Class Template Reference

A class providing the functionality to parse a the state rewards of a model. More...

#include <SparseStateRewardParser.h>

Static Public Member Functions
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.

Detailed Description

template<typename ValueType = double>
class storm::parser::SparseStateRewardParser< ValueType >

A class providing the functionality to parse a the state rewards of a model.

Definition at line 15 of file SparseStateRewardParser.h.

Member Function Documentation

parseSparseStateReward()

template<typename ValueType >

std::vector< ValueType > storm::parser::SparseStateRewardParser< ValueType >::parseSparseStateReward ( uint_fast64_t  stateCount, std::string const &  filename  )

static

Reads a state reward file and puts the result in a state reward vector.

Parameters

stateCount	The number of states.
filename	The path and name of the state reward file.

Returns

The created state reward vector.

Definition at line 18 of file SparseStateRewardParser.cpp.

---

The documentation for this class was generated from the following files:

• src/storm-parsers/parser/SparseStateRewardParser.h
• src/storm-parsers/parser/SparseStateRewardParser.cpp