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

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

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

Public Attributes
std::vector< T >	p
	estimate after numSteps sweeps, ORIGINAL ordering
std::vector< T >	p_1
	the previous iterate, ORIGINAL ordering
std::vector< T >	pcourt
	the Courtois starting point, ORIGINAL ordering
Matrix< T >	Qperm
	Q reordered by macro-state.
T	eps
	NCD index, as ctmc_courtois defines it.
T	epsMAX
	maximum admissible NCD index

Detailed Description

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

Definition at line 57 of file ctmc_kms.h.

Member Data Documentation

eps

template<class T>

T line::mc::KmsResult< T >::eps

NCD index, as ctmc_courtois defines it.

Definition at line 62 of file ctmc_kms.h.

Referenced by line::lang::processes::aggregate(), line::mc::ctmc_kms(), and line::env::env_ctmc_decompose().

epsMAX

template<class T>

T line::mc::KmsResult< T >::epsMAX

maximum admissible NCD index

Definition at line 63 of file ctmc_kms.h.

Referenced by line::lang::processes::aggregate(), line::mc::ctmc_kms(), and line::env::env_ctmc_decompose().

p

template<class T>

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

estimate after numSteps sweeps, ORIGINAL ordering

Definition at line 58 of file ctmc_kms.h.

Referenced by line::lang::processes::aggregate(), line::mc::ctmc_kms(), and line::env::env_ctmc_decompose().

p_1

template<class T>

std::vector<T> line::mc::KmsResult< T >::p_1

the previous iterate, ORIGINAL ordering

Definition at line 59 of file ctmc_kms.h.

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

pcourt

template<class T>

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

the Courtois starting point, ORIGINAL ordering

Definition at line 60 of file ctmc_kms.h.

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

Qperm

template<class T>

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

Q reordered by macro-state.

Definition at line 61 of file ctmc_kms.h.

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

---

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

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