One CTMC state as a state-set predicate sees it, the reference's RewardState: the AGGREGATE row of state_space_aggr(), per-(station, class) job counts in (ist-1)*K + k order. More...

#include <line/solvers/solver.h>

Public Member Functions
	StateView (const std::vector< double > &row, const qn::NetworkStruct< double > &sn)
double	total (std::size_t node) const
	s.at(node).total(): jobs of every class at a station node; a handle converts.
double	at (std::size_t node, std::size_t cls) const
	s.at(node, cls): jobs of class cls (1-based; a handle converts) at a station node.
const std::vector< double > &	row () const
	The aggregate row itself.

Detailed Description

One CTMC state as a state-set predicate sees it, the reference's RewardState: the AGGREGATE row of state_space_aggr(), per-(station, class) job counts in (ist-1)*K + k order.

A Place is a station, so its count is its marking.

Definition at line 71 of file solver.h.

Constructor & Destructor Documentation

◆ StateView()

line::StateView::StateView	(	const std::vector< double > &	row,
		const qn::NetworkStruct< double > &	sn )

inline

Definition at line 73 of file solver.h.

References row().

Member Function Documentation

◆ at()

double line::StateView::at	(	std::size_t	node,
		std::size_t	cls ) const

s.at(node, cls): jobs of class cls (1-based; a handle converts) at a station node.

Definition at line 1296 of file solver_facade.cpp.

◆ row()

const std::vector< double > & line::StateView::row ( ) const

inline

The aggregate row itself.

Definition at line 80 of file solver.h.

Referenced by StateView().

◆ total()

double line::StateView::total ( std::size_t node ) const

s.at(node).total(): jobs of every class at a station node; a handle converts.

Definition at line 1300 of file solver_facade.cpp.

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

include/line/solvers/solver.h
src/solvers/solver_facade.cpp