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
Map<StatefulNode,Matrix>	nodeSpace
CTMCResult.Prob	prob
String	solver
Matrix	solverSpecific
Matrix	space
Matrix	spaceAggr
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, iter, method, pi_t, QN, QNfcr, QNt, RN, RNfcr, RNt, runtime, SS, SysTardN, t, TardN, TN, TNfcr, TNt, UN, UNfcr, UNt, 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

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