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 classCTMCResult.Probpublic classCTMCResult.TRANpublic classCTMCResult.AVGpublic classCTMCResult.TranProbResultpublic classCTMCResult.TranProbAggrResultpublic classCTMCResult.TranProbSysResultpublic classCTMCResult.TranProbSysAggrResult
-
Field Summary
Fields Modifier and Type Field Description public Stringsolverpublic CTMCResult.Probprobpublic Matrixspacepublic MatrixinfGenpublic MatrixspaceAggrpublic Map<StatefulNode, Matrix>nodeSpacepublic MatrixCelleventFiltpublic CTMCResult.TRANTranpublic MatrixsolverSpecificpublic CTMCResult.TranProbResulttranProbpublic CTMCResult.TranProbAggrResulttranProbAggrpublic CTMCResult.TranProbSysResulttranProbSyspublic CTMCResult.TranProbSysAggrResulttranProbSysAggrpublic Stringmethodpublic Stringsolverpublic intiterpublic MatrixQNpublic MatrixUNpublic MatrixRNpublic MatrixTNpublic MatrixANpublic MatrixWNpublic MatrixCNpublic MatrixXNpublic Array<Array<Matrix>>QNtpublic Array<Array<Matrix>>RNtpublic Array<Array<Matrix>>UNtpublic Array<Array<Matrix>>TNtpublic Array<Array<Matrix>>XNtpublic Array<Array<Matrix>>CNtpublic Matrixtpublic Matrixpi_tpublic MatrixSSpublic doubleruntime
-
Constructor Summary
Constructors Constructor Description CTMCResult()
-