Package jline.solvers.ctmc

Class CTMCResult

java.lang.Object
jline.solvers.SolverResult
jline.solvers.ctmc.CTMCResult
public class CTMCResult extends SolverResult

  • Field Details

    • solver

      public String solver

    • prob

      public CTMCResult.Prob prob

    • space

      public Matrix space

    • infGen

      public Matrix infGen

    • spaceAggr

      public Matrix spaceAggr

    • pi

      public Matrix pi
      Stationary distribution over the state space the analyzer solved on, and the generator and state spaces it is indexed by. On a reducible chain the analyzer restricts to the component supporting pi, so infGenWork/spaceWork/ spaceAggrWork are a subset of the rows of infGen/space/spaceAggr; on an irreducible chain they are the same rows. They are one triple: a consumer adopts all three or none, never a mix, or pi and the generator disagree on what a row index means.

    • spaceWork

      public Matrix spaceWork

    • spaceAggrWork

      public Matrix spaceAggrWork

    • infGenWork

      public Matrix infGenWork

    • nodeSpace

      public Map<StatefulNode,Matrix> nodeSpace

    • eventFilt

      public MatrixCell eventFilt

    • startFilt

      public Matrix[][] startFilt
      Derived START/PREEMPT filtrations, indexed [station][class]. Kept apart from eventFilt, which pairs one-to-one with sn.sync and is summed as D1: a START rides on an arc eventFilt already carries.

    • preemptFilt

      public Matrix[][] preemptFilt

    • startRate

      public Matrix startRate
      (stations x classes) rates the two filtrations above reduce to.

    • preemptRate

      public Matrix preemptRate

    • Tran

      public CTMCResult.TRAN Tran

    • solverSpecific

      public Matrix solverSpecific

    • cftpSamples

      public Matrix cftpSamples
      Perfect-sampling output of the cftp method: the drawn states, one per row (samples x stations), and the per-sample coalescence horizon (cftp) or number of mixing steps (cftp.approx). Null under every enumerating method. Mirrors MATLAB result.cftp.samples / result.cftp.horizon and Python _CFTPResult.cftpSamples / cftpHorizon; the empirical probabilities of the distinct states are in pi, indexed by spaceAggr.

    • cftpHorizon

      public Matrix cftpHorizon

    • tranProb

      public CTMCResult.TranProbResult tranProb

    • tranProbAggr

      public CTMCResult.TranProbAggrResult tranProbAggr

    • tranProbSys

      public CTMCResult.TranProbSysResult tranProbSys

    • tranProbSysAggr

      public CTMCResult.TranProbSysAggrResult tranProbSysAggr

  • Constructor Details

    • CTMCResult

      public CTMCResult()

  • Method Details

    • reset

      public void reset()
      Description copied from class: SolverResult
      Resets all stored results to null and runtime to zero.
      Overrides:
      reset in class SolverResult