Class SolverCTMC.AnalyzerResult

java.lang.Object
jline.solvers.ctmc.SolverCTMC.AnalyzerResult
Enclosing class:
SolverCTMC

public static class SolverCTMC.AnalyzerResult extends Object
  • Field Details

    • QN

      public Matrix QN
    • UN

      public Matrix UN
    • RN

      public Matrix RN
    • TN

      public Matrix TN
    • CN

      public Matrix CN
    • XN

      public Matrix XN
    • InfGen

      public Matrix InfGen
    • StateSpace

      public Matrix StateSpace
    • StateSpaceAggr

      public Matrix StateSpaceAggr
    • EventFiltration

      public MatrixCell EventFiltration
    • runtime

      public double runtime
    • fname

      public String fname
    • sncopy

      public NetworkStruct sncopy
    • pi

      public Matrix pi
      Stationary distribution the analyzer solved for, and the generator and state spaces it is indexed by. On a reducible chain the analyzer restricts the generator to the component supporting the stationary distribution, so pi is shorter than StateSpace; InfGenWork/StateSpaceWork/StateSpaceAggrWork are the matching rows and must be consumed as one triple. On an irreducible chain they are InfGen/StateSpace/StateSpaceAggr themselves.
    • StateSpaceWork

      public Matrix StateSpaceWork
      Stationary distribution the analyzer solved for, and the generator and state spaces it is indexed by. On a reducible chain the analyzer restricts the generator to the component supporting the stationary distribution, so pi is shorter than StateSpace; InfGenWork/StateSpaceWork/StateSpaceAggrWork are the matching rows and must be consumed as one triple. On an irreducible chain they are InfGen/StateSpace/StateSpaceAggr themselves.
    • StateSpaceAggrWork

      public Matrix StateSpaceAggrWork
      Stationary distribution the analyzer solved for, and the generator and state spaces it is indexed by. On a reducible chain the analyzer restricts the generator to the component supporting the stationary distribution, so pi is shorter than StateSpace; InfGenWork/StateSpaceWork/StateSpaceAggrWork are the matching rows and must be consumed as one triple. On an irreducible chain they are InfGen/StateSpace/StateSpaceAggr themselves.
    • InfGenWork

      public Matrix InfGenWork
      Stationary distribution the analyzer solved for, and the generator and state spaces it is indexed by. On a reducible chain the analyzer restricts the generator to the component supporting the stationary distribution, so pi is shorter than StateSpace; InfGenWork/StateSpaceWork/StateSpaceAggrWork are the matching rows and must be consumed as one triple. On an irreducible chain they are InfGen/StateSpace/StateSpaceAggr themselves.
  • Constructor Details