line::sym::Passage Struct Reference

First passage time transform and moments. More...

#include <line/api/sym/sym_engine.h>

Collaboration diagram for line::sym::Passage:

Public Attributes
std::string	lst
	The transform L(s), empty if not requested.
std::string	lstNum
	Numerator of lst.
std::string	lstDen
	Denominator of lst.
std::vector< std::string >	lstAll
	Per start state transform.
std::vector< std::string >	moments
	Moments 1..nmax for the initial law.
std::vector< std::vector< std::string > >	momAll
	Per start state moments.
std::vector< int >	unreachable
	States that cannot reach the target.

Detailed Description

First passage time transform and moments.

Definition at line 86 of file sym_engine.h.

Member Data Documentation

lst

std::string line::sym::Passage::lst

The transform L(s), empty if not requested.

Definition at line 87 of file sym_engine.h.

Referenced by line::sym::SageRestEngine::ctmcPassage().

lstAll

std::vector<std::string> line::sym::Passage::lstAll

Per start state transform.

Definition at line 90 of file sym_engine.h.

Referenced by line::sym::SageRestEngine::ctmcPassage().

lstDen

std::string line::sym::Passage::lstDen

Denominator of lst.

Definition at line 89 of file sym_engine.h.

Referenced by line::sym::SageRestEngine::ctmcPassage().

lstNum

std::string line::sym::Passage::lstNum

Numerator of lst.

Definition at line 88 of file sym_engine.h.

Referenced by line::sym::SageRestEngine::ctmcPassage().

momAll

std::vector<std::vector<std::string> > line::sym::Passage::momAll

Per start state moments.

Definition at line 92 of file sym_engine.h.

Referenced by line::sym::SageRestEngine::ctmcPassage().

moments

std::vector<std::string> line::sym::Passage::moments

Moments 1..nmax for the initial law.

Definition at line 91 of file sym_engine.h.

Referenced by line::sym::SageRestEngine::ctmcPassage().

unreachable

std::vector<int> line::sym::Passage::unreachable

States that cannot reach the target.

Definition at line 93 of file sym_engine.h.

Referenced by line::sym::SageRestEngine::ctmcPassage().

---

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

• include/line/api/sym/sym_engine.h