line::ctmc::WaitqResult< T > Struct Template Reference

The chain the WAITQ walk produces, alongside the FIFOs its states carry. More...

#include <line/solvers/ctmc/solver_ctmc_waitq.h>

Collaboration diagram for line::ctmc::WaitqResult< T >:

Public Attributes
CtmcResult< T >	chain
	Q, the net halves, rates, filt.
std::vector< std::vector< std::vector< std::size_t > > >	buf
	per state, per region

Detailed Description

template<class T>
struct line::ctmc::WaitqResult< T >

The chain the WAITQ walk produces, alongside the FIFOs its states carry.

Definition at line 92 of file solver_ctmc_waitq.h.

Member Data Documentation

buf

template<class T>

std::vector<std::vector<std::vector<std::size_t> > > line::ctmc::WaitqResult< T >::buf

per state, per region

Definition at line 94 of file solver_ctmc_waitq.h.

Referenced by line::ctmc::ctmc_waitq_parked(), line::ctmc::solver_ctmc_waitq(), and line::ctmc::solver_ctmc_waitq_analyzer().

chain

template<class T>

CtmcResult<T> line::ctmc::WaitqResult< T >::chain

Q, the net halves, rates, filt.

Definition at line 93 of file solver_ctmc_waitq.h.

Referenced by line::ctmc::solver_ctmc_waitq(), and line::ctmc::solver_ctmc_waitq_analyzer().

---

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

• include/line/solvers/ctmc/solver_ctmc_waitq.h