Package jline.solvers.ctmc
Class ResultCTMCMargAggr
-
- All Implemented Interfaces:
public class ResultCTMCMargAggr extends SolverResult
Result class for CTMC Marginal Aggregated solver. Contains the marginal probabilities, steady-state distribution, runtime, and filename.
-
-
Field Summary
Fields Modifier and Type Field Description public final Matrixpipublic final doubleruntimepublic final Stringfnamepublic Stringmethodpublic Stringsolverpublic intiterpublic MatrixQNpublic MatrixUNpublic MatrixRNpublic MatrixTNpublic MatrixANpublic MatrixWNpublic MatrixTrdnNpublic MatrixSysTrdnNpublic MatrixCNpublic MatrixXNpublic MatrixQNfcrpublic MatrixUNfcrpublic MatrixRNfcrpublic MatrixTNfcrpublic MatrixANfcrpublic MatrixWNfcrpublic 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 ResultCTMCMargAggr(Matrix Pnir, Matrix pi, double runtime, String fname)
-
Method Summary
-
-
Method Detail
-
getPi
Matrix getPi()
Get the steady-state distribution
- Returns:
Column vector of steady-state probabilities
-
getRuntime
double getRuntime()
Get the computation runtime
- Returns:
Runtime in seconds
-
getFname
String getFname()
Get the workspace filename
- Returns:
Filename where workspace was saved, or empty string if not saved
-
-
-
-