public final class Bound
extends java.lang.Object
| Modifier | Constructor | Description | 
|---|---|---|
| private  | Bound() | 
| Modifier and Type | Method | Description | 
|---|---|---|
| static Num | backlog(ArrivalCurve arrival_curve,
       ServiceCurve service_curve) | |
| static double | backlogPmooSinkTreeTbRl(Network tree,
                       Server root,
                       AnalysisConfig.ArrivalBoundMethod sink_tree_ab) | |
| static Num | delayARB(ArrivalCurve arrival_curve,
        ServiceCurve service_curve) | |
| static Num | delayFIFO(ArrivalCurve arrival_curve,
         ServiceCurve service_curve) | |
| static java.util.Set<ServiceCurve> | leftOverService(AnalysisConfig configuration,
               ServiceCurve service_curve,
               java.util.Set<ArrivalCurve> arrival_curves) | |
| static java.util.Set<ServiceCurve> | leftOverService(AnalysisConfig configuration,
               Server server,
               java.util.Set<ArrivalCurve> arrival_curves) | |
| static ServiceCurve | leftOverServiceARB(ServiceCurve service_curve,
                  ArrivalCurve arrival_curve) | |
| static java.util.Set<ServiceCurve> | leftOverServiceARB(ServiceCurve service_curve,
                  java.util.Set<ArrivalCurve> arrival_curves) | |
| static ServiceCurve | leftOverServiceFIFO(ServiceCurve service_curve,
                   ArrivalCurve arrival_curve) | |
| static java.util.Set<ServiceCurve> | leftOverServiceFIFO(ServiceCurve service_curve,
                   java.util.Set<ArrivalCurve> arrival_curves) | |
| static java.util.Set<ArrivalCurve> | output(AnalysisConfig configuration,
      java.util.Set<ArrivalCurve> arrival_curves,
      Path path,
      java.util.Set<ServiceCurve> betas_lo) | |
| static java.util.Set<ArrivalCurve> | output(AnalysisConfig configuration,
      java.util.Set<ArrivalCurve> arrival_curves,
      Server server) | |
| static java.util.Set<ArrivalCurve> | output(AnalysisConfig configuration,
      java.util.Set<ArrivalCurve> arrival_curves,
      Server server,
      java.util.Set<ServiceCurve> betas_lo) | 
public static Num backlog(ArrivalCurve arrival_curve, ServiceCurve service_curve)
public static double backlogPmooSinkTreeTbRl(Network tree, Server root, AnalysisConfig.ArrivalBoundMethod sink_tree_ab) throws java.lang.Exception
java.lang.Exceptionpublic static Num delayARB(ArrivalCurve arrival_curve, ServiceCurve service_curve)
public static Num delayFIFO(ArrivalCurve arrival_curve, ServiceCurve service_curve)
public static java.util.Set<ServiceCurve> leftOverService(AnalysisConfig configuration, Server server, java.util.Set<ArrivalCurve> arrival_curves)
public static java.util.Set<ServiceCurve> leftOverService(AnalysisConfig configuration, ServiceCurve service_curve, java.util.Set<ArrivalCurve> arrival_curves)
public static java.util.Set<ServiceCurve> leftOverServiceFIFO(ServiceCurve service_curve, java.util.Set<ArrivalCurve> arrival_curves)
public static ServiceCurve leftOverServiceFIFO(ServiceCurve service_curve, ArrivalCurve arrival_curve)
public static java.util.Set<ServiceCurve> leftOverServiceARB(ServiceCurve service_curve, java.util.Set<ArrivalCurve> arrival_curves)
public static ServiceCurve leftOverServiceARB(ServiceCurve service_curve, ArrivalCurve arrival_curve)
public static java.util.Set<ArrivalCurve> output(AnalysisConfig configuration, java.util.Set<ArrivalCurve> arrival_curves, Server server) throws java.lang.Exception
java.lang.Exceptionpublic static java.util.Set<ArrivalCurve> output(AnalysisConfig configuration, java.util.Set<ArrivalCurve> arrival_curves, Server server, java.util.Set<ServiceCurve> betas_lo) throws java.lang.Exception
java.lang.Exceptionpublic static java.util.Set<ArrivalCurve> output(AnalysisConfig configuration, java.util.Set<ArrivalCurve> arrival_curves, Path path, java.util.Set<ServiceCurve> betas_lo) throws java.lang.Exception
java.lang.Exception