Package jline.solvers.ctmc.analyzers

Class Solver_ctmc_mdd_analyzer.MddResult

java.lang.Object

jline.solvers.ctmc.analyzers.Solver_ctmc_mdd_analyzer.MddResult

Enclosing class:

Solver_ctmc_mdd_analyzer

public static class Solver_ctmc_mdd_analyzer.MddResult
extends Object

Metrics and diagram description returned by the aggregation analyzer.

Field Summary

Fields

Modifier and Type	Field	Description
Matrix	CN
MddDescriptor	desc	The Kronecker descriptor that was built.
String	encoding	Local-state encoding chosen, "np" or "ps".
int	iters	Fixed-point sweeps performed.
int[]	levelSizes	|M_k| per paper level.
double[][]	marginal	Per-place-level marginal law, when the net route was taken.
MDD	mdd	The reachable set as stored.
long	numStates	|S|.
Matrix	QN
Matrix	RN
Spn_mdd.SpnInfo	spn	The SPN metadata, when the net route was taken; null otherwise.
Matrix	TN
Matrix	UN
Matrix	XN

Constructor Summary

Constructors

Constructor	Description
MddResult()

Method Summary

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Details

QN

public Matrix QN

UN

public Matrix UN

RN

public Matrix RN

TN

public Matrix TN

CN

public Matrix CN

XN

public Matrix XN

mdd

public MDD mdd

The reachable set as stored.

desc

public MddDescriptor desc

The Kronecker descriptor that was built.

levelSizes

public int[] levelSizes

|M_k| per paper level.

iters

public int iters

Fixed-point sweeps performed.

numStates

public long numStates

|S|.

encoding

public String encoding

Local-state encoding chosen, "np" or "ps".

spn

public Spn_mdd.SpnInfo spn

The SPN metadata, when the net route was taken; null otherwise.

marginal

public double[][] marginal

Per-place-level marginal law, when the net route was taken.

Constructor Details

MddResult

public MddResult()