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

This class can be used to parse a file containing either transitions or transition rewards of a deterministic model. More...

#include <DeterministicSparseTransitionParser.h>

Classes
struct	FirstPassResult
	A structure representing the result of the first pass of this parser. More...

Static Public Member Functions
static storm::storage::SparseMatrix< ValueType >	parseDeterministicTransitions (std::string const &filename)
	Load a deterministic transition system from file and create a sparse adjacency matrix whose entries represent the weights of the edges.
template<typename MatrixValueType >
static storm::storage::SparseMatrix< ValueType >	parseDeterministicTransitionRewards (std::string const &filename, storm::storage::SparseMatrix< MatrixValueType > const &transitionMatrix)
	Load the transition rewards for a deterministic transition system from file and create a sparse adjacency matrix whose entries represent the rewards of the respective transitions.

Detailed Description

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

This class can be used to parse a file containing either transitions or transition rewards of a deterministic model.

The file is parsed in two passes. The first pass tests the file format and collects statistical data needed for the second pass. The second pass then parses the file data and constructs a SparseMatrix representing it.

Definition at line 17 of file DeterministicSparseTransitionParser.h.

Member Function Documentation

parseDeterministicTransitionRewards()

template<typename ValueType >

template<typename MatrixValueType >

template storm::storage::SparseMatrix< double > storm::parser::DeterministicSparseTransitionParser< ValueType >::parseDeterministicTransitionRewards ( std::string const &  filename, storm::storage::SparseMatrix< MatrixValueType > const &  transitionMatrix  )

static

Load the transition rewards for a deterministic transition system from file and create a sparse adjacency matrix whose entries represent the rewards of the respective transitions.

Parameters

filename	The path and name of the file to be parsed.
transitionMatrix	The transition matrix of the system.

Returns

A SparseMatrix containing the parsed transition rewards.

Definition at line 34 of file DeterministicSparseTransitionParser.cpp.

parseDeterministicTransitions()

template<typename ValueType >

storm::storage::SparseMatrix< ValueType > storm::parser::DeterministicSparseTransitionParser< ValueType >::parseDeterministicTransitions ( std::string const &  filename )

static

Load a deterministic transition system from file and create a sparse adjacency matrix whose entries represent the weights of the edges.

Parameters

filename	The path and name of the file to be parsed.
insertDiagonalEntriesIfMissing	A flag set iff entries on the primary diagonal of the matrix should be added in case they are missing in the parsed file.

Returns

A SparseMatrix containing the parsed transition system.

Definition at line 27 of file DeterministicSparseTransitionParser.cpp.

---

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

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