line::mc::MultiResult< T > Struct Template Reference

#include <line/api/mc/ctmc_multi.h>

Collaboration diagram for line::mc::MultiResult< T >:

Public Attributes
std::vector< T >	p
	approximate stationary vector, ORIGINAL ordering
std::vector< T >	pcourt
	the plain Courtois estimate, for comparison
Matrix< T >	Qperm
	Q reordered by macro-state.
T	eps
	NCD index of the fine level.
T	epsMAX
	maximum admissible NCD index of the fine level

Detailed Description

template<class T>
struct line::mc::MultiResult< T >

Definition at line 43 of file ctmc_multi.h.

Member Data Documentation

eps

template<class T>

T line::mc::MultiResult< T >::eps

NCD index of the fine level.

Definition at line 47 of file ctmc_multi.h.

Referenced by line::lang::processes::aggregate_multi(), line::mc::ctmc_multi(), and line::env::env_ctmc_decompose().

epsMAX

template<class T>

T line::mc::MultiResult< T >::epsMAX

maximum admissible NCD index of the fine level

Definition at line 48 of file ctmc_multi.h.

Referenced by line::lang::processes::aggregate_multi(), line::mc::ctmc_multi(), and line::env::env_ctmc_decompose().

p

template<class T>

std::vector<T> line::mc::MultiResult< T >::p

approximate stationary vector, ORIGINAL ordering

Definition at line 44 of file ctmc_multi.h.

Referenced by line::lang::processes::aggregate_multi(), line::mc::ctmc_multi(), and line::env::env_ctmc_decompose().

pcourt

template<class T>

std::vector<T> line::mc::MultiResult< T >::pcourt

the plain Courtois estimate, for comparison

Definition at line 45 of file ctmc_multi.h.

Referenced by line::mc::ctmc_multi().

Qperm

template<class T>

Matrix<T> line::mc::MultiResult< T >::Qperm

Q reordered by macro-state.

Definition at line 46 of file ctmc_multi.h.

Referenced by line::mc::ctmc_multi().

---

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

• include/line/api/mc/ctmc_multi.h