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

One augmented state: the network state, plus the token FIFO of every region. More...

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

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

Public Attributes
NetState< T >	net
std::vector< std::vector< std::size_t > >	buf

Detailed Description

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

One augmented state: the network state, plus the token FIFO of every region.

A token is (dest_node - 1) * K + cls, both 1-based, which is the reference's encoding: a parked job knows the class it will enter in and the node it was on its way to when it was refused.

Definition at line 85 of file solver_ctmc_waitq.h.

Member Data Documentation

buf

template<class T>

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

Definition at line 87 of file solver_ctmc_waitq.h.

Referenced by line::ssa::SsaSerialEngine< T >::run(), and line::ctmc::solver_ctmc_waitq().

net

template<class T>

NetState<T> line::ctmc::WaitqState< T >::net

Definition at line 86 of file solver_ctmc_waitq.h.

Referenced by line::ssa::SsaSerialEngine< T >::run(), and line::ctmc::solver_ctmc_waitq().

---

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

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