Package jline.api.mdd

Class MddClosedQnResult

java.lang.Object
jline.api.mdd.MddClosedQnResult
public class MddClosedQnResult extends Object
Result of the MDD-stored exact closed-network solve of Mdd_closedqn.

  • Field Summary

    Fields
    Modifier and Type
    Field
    Description
    final MDD
    mdd
    The MDD holding the reachable occupancy set.
    final Matrix
    pi
    Stationary distribution over the reachable states, MDD index order.
    final Matrix
    Q
    CTMC generator, rows aligned to MDD.index(int[]) order.
    final double[]
    QLen
    Mean number of jobs per station.
    final int[][]
    states
    |S| x M occupancy states, in MDD index order.
    final MddStats
    stats
    MDD storage statistics of the reachable set.
    final double
    timeGen
    Generator assembly time in seconds.
    final double
    timeMetrics
    Performance-measure time in seconds.
    final double
    timeReach
    Reachable-set build time in seconds; 0 when the diagram was supplied.
    final double
    timeSolve
    ctmc_solve time in seconds.
    final double[]
    U
    Utilisation: busy servers / servers, or mean busy jobs for a delay.
    final double[]
    X
    Per-station throughput.

  • Constructor Summary

    Constructors
    Constructor
    Description
    MddClosedQnResult(MDD mdd, Matrix Q, Matrix pi, int[][] states, double[] QLen, double[] U, double[] X, MddStats stats, double timeReach, double timeGen, double timeSolve, double timeMetrics)
     

  • Method Summary

    Methods inherited from class java.lang.Object

    clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

  • Field Details

    • mdd

      public final MDD mdd
      The MDD holding the reachable occupancy set.

    • Q

      public final Matrix Q
      CTMC generator, rows aligned to MDD.index(int[]) order.

    • pi

      public final Matrix pi
      Stationary distribution over the reachable states, MDD index order.

    • states

      public final int[][] states
      |S| x M occupancy states, in MDD index order.

    • QLen

      public final double[] QLen
      Mean number of jobs per station.

    • U

      public final double[] U
      Utilisation: busy servers / servers, or mean busy jobs for a delay.

    • X

      public final double[] X
      Per-station throughput.

    • stats

      public final MddStats stats
      MDD storage statistics of the reachable set.

    • timeReach

      public final double timeReach
      Reachable-set build time in seconds; 0 when the diagram was supplied.

    • timeGen

      public final double timeGen
      Generator assembly time in seconds.

    • timeSolve

      public final double timeSolve
      ctmc_solve time in seconds.

    • timeMetrics

      public final double timeMetrics
      Performance-measure time in seconds.

  • Constructor Details

    • MddClosedQnResult

      public MddClosedQnResult(MDD mdd, Matrix Q, Matrix pi, int[][] states, double[] QLen, double[] U, double[] X, MddStats stats, double timeReach, double timeGen, double timeSolve, double timeMetrics)