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

What @@SolverCTMC/getSymbolicSolution.m returns, plus the engine that answered. More...

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

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

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
int	nconncomp = 1
	weakly connected components of the generator
std::vector< int >	conncomp
	component index of each state, one based
std::vector< NetState< T > >	space
	entry i of pi is space[i]
std::string	engine
	backend that solved it, e.g. sage

Detailed Description

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

What @@SolverCTMC/getSymbolicSolution.m returns, plus the engine that answered.

Definition at line 297 of file solver_ctmc_symbolic.h.

Member Data Documentation

conncomp

template<class T>

std::vector<int> line::ctmc::CtmcSymbolicSolution< T >::conncomp

component index of each state, one based

Definition at line 302 of file solver_ctmc_symbolic.h.

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

den

template<class T>

std::string line::ctmc::CtmcSymbolicSolution< T >::den = "1"

common denominator of the vector

Definition at line 300 of file solver_ctmc_symbolic.h.

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

engine

template<class T>

std::string line::ctmc::CtmcSymbolicSolution< T >::engine

backend that solved it, e.g. sage

Definition at line 304 of file solver_ctmc_symbolic.h.

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

nconncomp

template<class T>

int line::ctmc::CtmcSymbolicSolution< T >::nconncomp = 1

weakly connected components of the generator

Definition at line 301 of file solver_ctmc_symbolic.h.

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

num

template<class T>

std::vector<std::string> line::ctmc::CtmcSymbolicSolution< T >::num

numerator of each entry over den

Definition at line 299 of file solver_ctmc_symbolic.h.

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

pi

template<class T>

std::vector<std::string> line::ctmc::CtmcSymbolicSolution< T >::pi

stationary probability of each state

Definition at line 298 of file solver_ctmc_symbolic.h.

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

space

template<class T>

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

entry i of pi is space[i]

Definition at line 303 of file solver_ctmc_symbolic.h.

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

---

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

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