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

The outputs of @@SolverCTMC/getSymbolicGenerator. More...

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

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

Public Member Functions
std::vector< std::string >	active_symbols () const
	The symbols that actually occur, i.e.

Public Attributes
std::vector< std::vector< std::string > >	Q
	The generator as expression strings, row major; "0" where the entry is zero.
std::vector< std::string >	symbols
	x1..xE, empty for an event with no positive rate.
std::vector< Matrix< T > >	filt
	Event filtration divided by its minimum positive rate; empty if inactive.
std::vector< Matrix< T > >	terms
	ctmc_makeinfgen(filt[e]), the numeric term symbol e scales; empty if inactive.
std::vector< T >	rate0
	Minimum positive rate of each event, i.e.
std::vector< NetState< T > >	space
	row i of Q is space[i]
std::vector< Sync< T > >	sync
	what filt is indexed by
bool	invert_symbol = false
	entries carry c/x_e instead of c*x_e

Detailed Description

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

The outputs of @@SolverCTMC/getSymbolicGenerator.

filt, terms, rate0 and symbols are all indexed by SYNCHRONIZATION, in the order sync lists them, and an inactive event keeps its slot.

Definition at line 86 of file solver_ctmc_symbolic.h.

Member Function Documentation

active_symbols()

template<class T>

std::vector< std::string > line::ctmc::CtmcSymbolicGenerator< T >::active_symbols ( ) const

inline

The symbols that actually occur, i.e.

the non-empty ones.

Definition at line 102 of file solver_ctmc_symbolic.h.

References symbols.

Referenced by line::ctmc::ctmc_symbolic_solution().

Member Data Documentation

filt

template<class T>

std::vector<Matrix<T> > line::ctmc::CtmcSymbolicGenerator< T >::filt

Event filtration divided by its minimum positive rate; empty if inactive.

Definition at line 92 of file solver_ctmc_symbolic.h.

Referenced by line::ctmc::ctmc_symbolic_generator().

invert_symbol

template<class T>

bool line::ctmc::CtmcSymbolicGenerator< T >::invert_symbol = false

entries carry c/x_e instead of c*x_e

Definition at line 99 of file solver_ctmc_symbolic.h.

Referenced by line::ctmc::ctmc_symbolic_eval_infgen(), and line::ctmc::ctmc_symbolic_generator().

Q

template<class T>

std::vector<std::vector<std::string> > line::ctmc::CtmcSymbolicGenerator< T >::Q

The generator as expression strings, row major; "0" where the entry is zero.

Definition at line 88 of file solver_ctmc_symbolic.h.

Referenced by line::ctmc::ctmc_symbolic_eval_infgen(), line::ctmc::ctmc_symbolic_generator(), and line::ctmc::ctmc_symbolic_solution().

rate0

template<class T>

std::vector<T> line::ctmc::CtmcSymbolicGenerator< T >::rate0

Minimum positive rate of each event, i.e.

the nominal value of its symbol.

Definition at line 96 of file solver_ctmc_symbolic.h.

Referenced by line::ctmc::ctmc_symbolic_generator().

space

template<class T>

std::vector<NetState<T> > line::ctmc::CtmcSymbolicGenerator< T >::space

row i of Q is space[i]

Definition at line 97 of file solver_ctmc_symbolic.h.

Referenced by line::ctmc::ctmc_symbolic_generator(), and line::ctmc::ctmc_symbolic_solution().

symbols

template<class T>

std::vector<std::string> line::ctmc::CtmcSymbolicGenerator< T >::symbols

x1..xE, empty for an event with no positive rate.

Definition at line 90 of file solver_ctmc_symbolic.h.

Referenced by active_symbols(), line::ctmc::ctmc_symbolic_eval_infgen(), and line::ctmc::ctmc_symbolic_generator().

sync

template<class T>

std::vector<Sync<T> > line::ctmc::CtmcSymbolicGenerator< T >::sync

what filt is indexed by

Definition at line 98 of file solver_ctmc_symbolic.h.

Referenced by line::ctmc::ctmc_symbolic_generator().

terms

template<class T>

std::vector<Matrix<T> > line::ctmc::CtmcSymbolicGenerator< T >::terms

ctmc_makeinfgen(filt[e]), the numeric term symbol e scales; empty if inactive.

Definition at line 94 of file solver_ctmc_symbolic.h.

Referenced by line::ctmc::ctmc_symbolic_eval_infgen(), and line::ctmc::ctmc_symbolic_generator().

---

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

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