Package jline.api.mdd

Class MddEvent

java.lang.Object
jline.api.mdd.MddEvent
public class MddEvent extends Object
One event of the Kronecker rate descriptor.

The rate matrix is R = sum_e (kron_k W_k^e) restricted to the reachable set. An event touches only the levels it names; every other level carries the identity, which Mdd_mcd supplies rather than storing.

  • Field Summary

    Fields
    Modifier and Type
    Field
    Description
    final int
    a
    Station (or place) the event departs from, 0-based.
    final int
    b
    Station (or place) the event arrives at, 0-based; equals a for an internal event.
    final int[]
    lev
    Levels the event touches, as 0-based station indices, aligned with W.
    final MddLocalMatrix[]
    W
    Local matrices at the levels named by lev.

  • Constructor Summary

    Constructors
    Constructor
    Description
    MddEvent(int a, int b, int[] lev, MddLocalMatrix[] W)
     

  • Method Summary

    Methods inherited from class java.lang.Object

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

  • Field Details

    • a

      public final int a
      Station (or place) the event departs from, 0-based.

    • b

      public final int b
      Station (or place) the event arrives at, 0-based; equals a for an internal event.

    • lev

      public final int[] lev
      Levels the event touches, as 0-based station indices, aligned with W.

    • W

      public final MddLocalMatrix[] W
      Local matrices at the levels named by lev.

  • Constructor Details

    • MddEvent

      public MddEvent(int a, int b, int[] lev, MddLocalMatrix[] W)