Package jline.io

Class Ret.EventResult

java.lang.Object
jline.io.Ret.EventResult
Enclosing class:
Ret

public static class Ret.EventResult extends Object
Result type for event-based state space exploration functions.

This class encapsulates the output of afterEvent* functions which compute the possible states reachable after an event occurs in the queueing network, along with the rates and probabilities of transitions.

  • Field Details

    • outspace

      public final Matrix outspace
    • outrate

      public final Matrix outrate
    • outprob

      public final Matrix outprob
    • outstart

      public final Matrix outstart
      START annotation of each successor: outstart(i,r) counts the class-r jobs that begin, or resume, holding a server on successor row i. Instantaneous tag on an existing arc, never an event of its own, so nothing here changes a rate, a probability or a state.
    • outpreempt

      public final Matrix outpreempt
      PREEMPT annotation of each successor: outpreempt(i,r) counts the class-r jobs pushed back into the buffer on successor row i.
  • Constructor Details

  • Method Details

    • startOf

      public double startOf(int row, int cls)
      START count of one successor row and class, zero when the arc carries no annotation. Reading the matrices through this accessor keeps every caller safe against a handler that has not been annotated.
    • preemptOf

      public double preemptOf(int row, int cls)
      PREEMPT count of one successor row and class.