1#ifndef STORM_PARSER_NONDETERMINISTICSPARSETRANSITIONPARSER_H_
2#define STORM_PARSER_NONDETERMINISTICSPARSETRANSITIONPARSER_H_
18template<
typename ValueType =
double>
58 template<
typename MatrixValueType>
77 template<
typename MatrixValueType>
91 template<
typename MatrixValueType>
A class providing the functionality to parse the transitions of a nondeterministic model.
static storm::storage::SparseMatrix< ValueType > parseNondeterministicTransitionRewards(std::string const &filename, storm::storage::SparseMatrix< MatrixValueType > const &modelInformation)
Load a nondeterministic transition system from file and create a sparse adjacency matrix whose entrie...
static storm::storage::SparseMatrix< ValueType > parseNondeterministicTransitions(std::string const &filename)
Load a nondeterministic transition system from file and create a sparse adjacency matrix whose entrie...
A class that holds a possibly non-square matrix in the compressed row storage format.
A structure representing the result of the first pass of this parser.
FirstPassResult()
The default constructor.
uint_fast64_t numberOfNonzeroEntries
The total number of non-zero entries of the model.
uint_fast64_t highestStateIndex
The highest state index that appears in the model.
uint_fast64_t choices
The total number of nondeterministic choices within the transition system.