storm::transformer::StateWithRow Struct Reference

Public Attributes
uint64_t	state
std::vector< storage::MatrixEntry< uint64_t, RationalFunction > >	row

Detailed Description

Definition at line 35 of file BinaryDtmcTransformer.cpp.

Member Data Documentation

row

std::vector<storage::MatrixEntry<uint64_t, RationalFunction> > storm::transformer::StateWithRow::row

Definition at line 37 of file BinaryDtmcTransformer.cpp.

state

uint64_t storm::transformer::StateWithRow::state

Definition at line 36 of file BinaryDtmcTransformer.cpp.

---

The documentation for this struct was generated from the following file:

• src/storm-pars/transformer/BinaryDtmcTransformer.cpp