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

What one mdd solve produces beside the means, i.e. More...

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

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

Public Attributes
CtmcAvg< T >	avg
long long	num_states = 0
	|S|, counted in the diagram without ever listing a state.
std::vector< std::size_t >	level_sizes
	|M_k| per paper level; their sum is what the diagram actually holds.
int	iters = 0
	Coupled fixed-point sweeps performed.
std::vector< double >	paths_per_level
	max |A(p)| per paper level; 1 everywhere means no node is shared.
bool	no_aggregation = false
	True certifies the answer is exact structurally; see the file header.
std::string	encoding
	Which local encoding was picked, "np" or "ps".
std::string	actualmethod = "mdd"

Detailed Description

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

What one mdd solve produces beside the means, i.e.

the reference's INFO.

Definition at line 74 of file solver_ctmc_mdd_analyzer.h.

Member Data Documentation

actualmethod

template<class T>

std::string line::ctmc::CtmcMddSolution< T >::actualmethod = "mdd"

Definition at line 88 of file solver_ctmc_mdd_analyzer.h.

Referenced by line::ctmc::solver_ctmc_mdd_analyzer(), and line::ctmc::solver_ctmc_mdd_run_analyzer().

avg

template<class T>

CtmcAvg<T> line::ctmc::CtmcMddSolution< T >::avg

Definition at line 75 of file solver_ctmc_mdd_analyzer.h.

Referenced by line::ctmc::solver_ctmc_mdd_analyzer(), and line::ctmc::solver_ctmc_mdd_run_analyzer().

encoding

template<class T>

std::string line::ctmc::CtmcMddSolution< T >::encoding

Which local encoding was picked, "np" or "ps".

Definition at line 87 of file solver_ctmc_mdd_analyzer.h.

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

iters

template<class T>

int line::ctmc::CtmcMddSolution< T >::iters = 0

Coupled fixed-point sweeps performed.

Definition at line 81 of file solver_ctmc_mdd_analyzer.h.

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

level_sizes

template<class T>

std::vector<std::size_t> line::ctmc::CtmcMddSolution< T >::level_sizes

|M_k| per paper level; their sum is what the diagram actually holds.

Definition at line 79 of file solver_ctmc_mdd_analyzer.h.

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

no_aggregation

template<class T>

bool line::ctmc::CtmcMddSolution< T >::no_aggregation = false

True certifies the answer is exact structurally; see the file header.

Definition at line 85 of file solver_ctmc_mdd_analyzer.h.

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

num_states

template<class T>

long long line::ctmc::CtmcMddSolution< T >::num_states = 0

|S|, counted in the diagram without ever listing a state.

Definition at line 77 of file solver_ctmc_mdd_analyzer.h.

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

paths_per_level

template<class T>

std::vector<double> line::ctmc::CtmcMddSolution< T >::paths_per_level

max |A(p)| per paper level; 1 everywhere means no node is shared.

Definition at line 83 of file solver_ctmc_mdd_analyzer.h.

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

---

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

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