Package jline.api.mdd

Class MddDescriptor

java.lang.Object
jline.api.mdd.MddDescriptor
public class MddDescriptor extends Object
Kronecker rate descriptor of a structured model, the input of Mdd_mcd.

Built by Mdd_descriptor (count-plus-in-service-phase local states, non-preemptive) or Mdd_ps (per-phase-count local states, shared servers).

  • Field Summary

    Fields
    Modifier and Type
    Field
    Description
    int[]
    domain
    Local domain per level.
    List<MddEvent>
    events
    The events of the descriptor.
    int[]
    init
    Initial local index per station.
    double
    invariantValue
    Value of the invariant when invariantWeights is set.
    double[]
    invariantWeights
    Optional conservation law as weights' * QLen = value, overriding the closed-population test.
    int
    K
    Number of levels, i.e.
    double[]
    mu
    Station service rates, 1/E[S].
    int
    N
    Closed population; the conservation law the level marginals must satisfy.
    MddNextState
    nextfun
    Successor function over local indices, for Mdd_reachset.
    int[]
    nphases
    Phases per station, 1 when exponential.
    double[][]
    P
    Station-to-station routing matrix.
    double[]
    servers
    Servers per station; Double.POSITIVE_INFINITY for a delay station.
    double[][]
    valuemap
    valuemap[i][idx] is the physical occupancy of station i in local state idx.

  • Constructor Summary

    Constructors
    Constructor
    Description
    MddDescriptor()
     

  • Method Summary

    Methods inherited from class java.lang.Object

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

  • Field Details

    • K

      public int K
      Number of levels, i.e. stations.

    • N

      public int N
      Closed population; the conservation law the level marginals must satisfy.

    • domain

      public int[] domain
      Local domain per level.

    • mu

      public double[] mu
      Station service rates, 1/E[S].

    • servers

      public double[] servers
      Servers per station; Double.POSITIVE_INFINITY for a delay station.

    • P

      public double[][] P
      Station-to-station routing matrix.

    • nphases

      public int[] nphases
      Phases per station, 1 when exponential.

    • valuemap

      public double[][] valuemap
      valuemap[i][idx] is the physical occupancy of station i in local state idx.

      A level whose local state encodes more than a count (a station holding both a population and a service phase) needs this map; without one the index would be the quantity.

    • init

      public int[] init
      Initial local index per station.

    • nextfun

      public MddNextState nextfun
      Successor function over local indices, for Mdd_reachset.

    • events

      public List<MddEvent> events
      The events of the descriptor.

    • invariantWeights

      public double[] invariantWeights
      Optional conservation law as weights' * QLen = value, overriding the closed-population test. Null when the population N is the invariant.

    • invariantValue

      public double invariantValue
      Value of the invariant when invariantWeights is set.

  • Constructor Details

    • MddDescriptor

      public MddDescriptor()