line::SymbolicSolution Struct Reference

getSymbolicSolution: the stationary law as a function of the rate symbols. More...

#include <line/solvers/avg_table.h>

Collaboration diagram for line::SymbolicSolution:

Public Attributes
std::vector< std::string >	pi
	stationary probability of each state
std::vector< std::string >	num
	numerator of each entry over den
std::string	den = "1"
	common denominator of the vector
std::vector< std::string >	symbols
	x1..xE, empty where an event has no positive rate
std::vector< double >	rate0
	nominal value of each symbol
std::string	engine
	backend that answered, e.g. "sage"

Detailed Description

getSymbolicSolution: the stationary law as a function of the rate symbols.

The entries are expression strings, not numbers, and are NOT comparable with another codebase's by text: the symbol numbering x1..xE follows event enumeration order and the printed normal form depends on the engine version. Substitute rates and compare numbers instead.

Definition at line 114 of file avg_table.h.

Member Data Documentation

den

std::string line::SymbolicSolution::den = "1"

common denominator of the vector

Definition at line 117 of file avg_table.h.

Referenced by line::SolverCTMC::symbolic_solution().

engine

std::string line::SymbolicSolution::engine

backend that answered, e.g. "sage"

Definition at line 120 of file avg_table.h.

Referenced by line::SolverCTMC::symbolic_solution().

num

std::vector<std::string> line::SymbolicSolution::num

numerator of each entry over den

Definition at line 116 of file avg_table.h.

Referenced by line::SolverCTMC::symbolic_solution().

pi

std::vector<std::string> line::SymbolicSolution::pi

stationary probability of each state

Definition at line 115 of file avg_table.h.

Referenced by line::SolverCTMC::symbolic_solution().

rate0

std::vector<double> line::SymbolicSolution::rate0

nominal value of each symbol

Definition at line 119 of file avg_table.h.

Referenced by line::SolverCTMC::symbolic_solution().

symbols

std::vector<std::string> line::SymbolicSolution::symbols

x1..xE, empty where an event has no positive rate

Definition at line 118 of file avg_table.h.

Referenced by line::SolverCTMC::symbolic_solution().

---

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

• include/line/solvers/avg_table.h