Class Solver_ctmc_cftp_analyzer.CftpResult

java.lang.Object
jline.solvers.ctmc.analyzers.Solver_ctmc_cftp_analyzer.CftpResult
Enclosing class:
Solver_ctmc_cftp_analyzer

public static class Solver_ctmc_cftp_analyzer.CftpResult extends Object
Metrics and sampled states returned by the perfect-sampling analyzer.
  • 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
    • samples

      public Matrix samples
      Sampled states, one per row (samples x stations).
    • horizon

      public Matrix horizon
      Per-sample coalescence horizon or mixing steps.
    • spaceAggr

      public Matrix spaceAggr
      Distinct sampled states.
    • pi

      public Matrix pi
      Empirical probability of each row of spaceAggr.
  • Constructor Details

    • CftpResult

      public CftpResult()