Package jline.api.sn

Class SnToQrfCapacity

java.lang.Object
jline.api.sn.SnToQrfCapacity
public final class SnToQrfCapacity extends Object
Per-station occupancy bound F(i) for the QRF bounds.

Port of matlab/src/api/sn/sn_to_qrf_capacity.m.

The QRF bounds index every marginal by 0..F(i), so F is an occupancy bound rather than a declared capacity: the station's buffer where that buffer BINDS, and the population N everywhere else, since no queue of a closed model can hold more than N jobs.

Binding is decided by SnGetBufferSize, the single place in LINE that makes that call: refreshCapacity derives a finite classcap (the chain population) at every station of every closed model, so a plain finiteness test on sn.cap would report a buffer at every station.

Both QRF blocking bounds need this. qrf.bas needs it beside the blocking tables SnToQrfBlocking derives; qrf.rsrd needs it ALONE, since its PBB constraint reads only which queues can be full and it carries no blocking tables at all.

Since:
LINE 3.0

  • Method Details

    • snToQrfCapacity

      public static SnToQrfCapacity.Result snToQrfCapacity(NetworkStruct sn)
      Parameters:
      sn - network structure
      Returns:
      the occupancy bounds, or a Result carrying a non-empty msg