Package jline.solvers.ctmc
Class CTMCResult
-
- All Implemented Interfaces:
public class CTMCResult extends SolverResult
-
-
Nested Class Summary
Nested Classes Modifier and Type Class Description public class
CTMCResult.Prob
public class
CTMCResult.TRAN
public class
CTMCResult.AVG
public class
CTMCResult.TranProbResult
public class
CTMCResult.TranProbAggrResult
public class
CTMCResult.TranProbSysResult
public class
CTMCResult.TranProbSysAggrResult
-
Field Summary
Fields Modifier and Type Field Description public String
solver
public CTMCResult.Prob
prob
public Matrix
space
public Matrix
infGen
public Matrix
spaceAggr
public Map<StatefulNode, Matrix>
nodeSpace
public MatrixCell
eventFilt
public CTMCResult.TRAN
Tran
public Matrix
solverSpecific
public CTMCResult.TranProbResult
tranProb
public CTMCResult.TranProbAggrResult
tranProbAggr
public CTMCResult.TranProbSysResult
tranProbSys
public CTMCResult.TranProbSysAggrResult
tranProbSysAggr
public String
method
public String
solver
public int
iter
public Matrix
QN
public Matrix
UN
public Matrix
RN
public Matrix
TN
public Matrix
AN
public Matrix
WN
public Matrix
CN
public Matrix
XN
public Array<Array<Matrix>>
QNt
public Array<Array<Matrix>>
RNt
public Array<Array<Matrix>>
UNt
public Array<Array<Matrix>>
TNt
public Array<Array<Matrix>>
XNt
public Array<Array<Matrix>>
CNt
public Matrix
t
public Matrix
pi_t
public Matrix
SS
public double
runtime
-
Constructor Summary
Constructors Constructor Description CTMCResult()
-