Package jline.solvers.ba.analyzers

package jline.solvers.ba.analyzers
  • Classes
    Class
    Description
    Solver_ba_bgt_analyzer
    Piecewise-linear Lyapunov UPPER bound on the steady-state queue lengths of a multitype open Markovian network, valid for EVERY work-conserving Markovian policy.
    Solver_ba_bpt_analyzer
    Achievable-region LOWER bound on the mean response times of a multiclass open Markovian network, valid for EVERY non-idling scheduling policy at every station.
    Solver_ba_snc_analyzer
    Stochastic network calculus UPPER bound on the mean response times and queue lengths of a feed-forward open network, valid for EVERY work-conserving scheduling policy at every station.
    Solver_ba_snc_analyzer.Envelopes
    The per-pair envelopes the analyzer built, kept so that the quantile accessors can read the tail without a second pass over the network.
    Solver_ba_spnlp_analyzer
    Linear-programming bounds on the mean marking and the throughputs of a stochastic timed Petri net.