Package jline.solvers.ctmc

Class CTMCResult.TranProbSysAggrResult

java.lang.Object

jline.solvers.ctmc.CTMCResult.TranProbSysAggrResult

Enclosing class:

CTMCResult

public class CTMCResult.TranProbSysAggrResult
extends Object

Field Summary

Fields

Modifier and Type	Field	Description
Matrix	pit
Matrix	stateSpaceAggr
Matrix	t

Constructor Summary

Constructors

Constructor	Description
TranProbSysAggrResult()

Method Summary

Methods inherited from class java.lang.Object

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

Field Details

t

public Matrix t

pit

public Matrix pit

stateSpaceAggr

public Matrix stateSpaceAggr

Constructor Details

TranProbSysAggrResult

public TranProbSysAggrResult()