Package jline.solvers.ctmc

Class CTMCResult

java.lang.Object

jline.solvers.SolverResult

jline.solvers.ctmc.CTMCResult

public class CTMCResult
extends SolverResult

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
class	CTMCResult.AVG
class	CTMCResult.Prob
class	CTMCResult.TRAN
class	CTMCResult.TranProbAggrResult
class	CTMCResult.TranProbResult
class	CTMCResult.TranProbSysAggrResult
class	CTMCResult.TranProbSysResult

Field Summary

Fields

Modifier and Type	Field	Description
MatrixCell	eventFilt
Matrix	infGen
Matrix	infGenWork
Map<StatefulNode,Matrix>	nodeSpace
Matrix	pi	Stationary distribution over the state space the analyzer solved on, and the generator and state spaces it is indexed by.
CTMCResult.Prob	prob
String	solver
Matrix	solverSpecific
Matrix	space
Matrix	spaceAggr
Matrix	spaceAggrWork
Matrix	spaceWork
CTMCResult.TRAN	Tran
CTMCResult.TranProbResult	tranProb
CTMCResult.TranProbAggrResult	tranProbAggr
CTMCResult.TranProbSysResult	tranProbSys
CTMCResult.TranProbSysAggrResult	tranProbSysAggr

Fields inherited from class jline.solvers.SolverResult

AN, ANfcr, CN, CNt, DropRateJoin, DropRateNfcr, iter, MemOccNfcr, method, pi_t, QN, QNfcr, QNt, RN, RNfcr, RNt, runtime, SS, SysTardN, t, TardN, timedOut, TN, TNfcr, TNt, UN, UNfcr, UNt, WeightNfcr, WN, WNfcr, XN, XNt

Constructor Summary

Constructors

Constructor	Description
CTMCResult()

Method Summary

Modifier and Type	Method	Description
void	reset()	Resets all stored results to null and runtime to zero.

Methods inherited from class jline.solvers.SolverResult

deepCopy

Methods inherited from class java.lang.Object

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

Field Details

solver

public String solver

prob

public CTMCResult.Prob prob

space

public Matrix space

infGen

public Matrix infGen

spaceAggr

public Matrix spaceAggr

pi

public Matrix pi

Stationary distribution over the state space the analyzer solved on, and the generator and state spaces it is indexed by. On a reducible chain the analyzer restricts to the component supporting pi, so infGenWork/spaceWork/ spaceAggrWork are a subset of the rows of infGen/space/spaceAggr; on an irreducible chain they are the same rows. They are one triple: a consumer adopts all three or none, never a mix, or pi and the generator disagree on what a row index means.

spaceWork

public Matrix spaceWork

spaceAggrWork

public Matrix spaceAggrWork

infGenWork

public Matrix infGenWork

nodeSpace

public Map<StatefulNode,Matrix> nodeSpace

eventFilt

public MatrixCell eventFilt

Tran

public CTMCResult.TRAN Tran

solverSpecific

public Matrix solverSpecific

tranProb

public CTMCResult.TranProbResult tranProb

tranProbAggr

public CTMCResult.TranProbAggrResult tranProbAggr

tranProbSys

public CTMCResult.TranProbSysResult tranProbSys

tranProbSysAggr

public CTMCResult.TranProbSysAggrResult tranProbSysAggr

Constructor Details

CTMCResult

public CTMCResult()

Method Details

reset

public void reset()

Description copied from class: SolverResult

Resets all stored results to null and runtime to zero.

Overrides:

reset in class SolverResult