Package jline.solvers

Class QrfParams

java.lang.Object
jline.solvers.QrfParams
public class QrfParams extends Object
Blocking parameters for the QRF (Quadratic Reduction Framework) bounds qrf.bas and qrf.rsrd. An explicit OVERRIDE of what SnToQrfBlocking derives from the model. Leaving it null is the normal path: the blocking structure fixes every field below, so the analyzer builds them rather than demanding them. What it must never do is INVENT them -- assuming no blocking (MR = 1, unbounded buffers) answers a different model and lands roughly 31x farther from exact. Matches MATLAB's options.config.qrf_params and the native-Python config['qrf_params'] contract.

qrf.rsrd reads NONE of these: RS-RD carries no blocking tables at all, only F, which it takes from SnToQrfCapacity.

Since:
LINE 3.0

  • Field Summary

    Fields
    Modifier and Type
    Field
    Description
    Matrix
    BB
    (MR x M) blocking state: BB(m,i) is 1 iff queue i is blocked in configuration m.
    int
    f
    The ONE finite-capacity queue, 1-based.
    int[]
    F
    (M) occupancy bound of each station: its buffer where that binds, else the population.
    Matrix
    MM
    (MR x .) blocking order, 1-based; only column 0 is read, the head that takes f's freed slot.
    Matrix
    MM1
    (MR x M) successor map: MM1(m,j) is the configuration reached when queue j becomes blocked.
    int
    MR
    Number of blocking configurations.
    int
    ZM
    Maximum blocking depth, which must equal max(ZZ) and must be the REACHABLE maximum.
    int[]
    ZZ
    (MR) blocking depth of each configuration, i.e.

  • Constructor Summary

    Constructors
    Constructor
    Description
    QrfParams()
     

  • Method Summary

    Modifier and Type
    Method
    Description
    QrfParams
    copy()
     

    Methods inherited from class java.lang.Object

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

  • Field Details

    • f

      public int f
      The ONE finite-capacity queue, 1-based. The formulation has no room for a second.

    • MR

      public int MR
      Number of blocking configurations. Configuration 1 MUST be the empty one.

    • ZM

      public int ZM
      Maximum blocking depth, which must equal max(ZZ) and must be the REACHABLE maximum.

    • F

      public int[] F
      (M) occupancy bound of each station: its buffer where that binds, else the population.

    • ZZ

      public int[] ZZ
      (MR) blocking depth of each configuration, i.e. how many queues it holds blocked.

    • MM

      public Matrix MM
      (MR x .) blocking order, 1-based; only column 0 is read, the head that takes f's freed slot.

    • MM1

      public Matrix MM1
      (MR x M) successor map: MM1(m,j) is the configuration reached when queue j becomes blocked.

    • BB

      public Matrix BB
      (MR x M) blocking state: BB(m,i) is 1 iff queue i is blocked in configuration m.

  • Constructor Details

    • QrfParams

      public QrfParams()

  • Method Details