Package jline.api.spn

Class Spn_lpbnd.SpnLpOptions

java.lang.Object
jline.api.spn.Spn_lpbnd.SpnLpOptions
Enclosing class:
Spn_lpbnd
public static class Spn_lpbnd.SpnLpOptions extends Object
Options of the relaxation.

  • Field Summary

    Fields
    Modifier and Type
    Field
    Description
    boolean
    assumelive
    true adds the two liveness rows, valid only on a live net.
    double[]
    init
    Initial tokens per place level, place-major; null reads the model.
    boolean
    markovian
    true (default) uses the second-moment, covariance and Little's law families, which need exponential firing times; false drops them and the whole y block, leaving the operational bound, which needs only a mean firing time and so admits any phase-type law.
    double
    tol
    Slack added to the inequality sides.
    boolean
    verbose
    Print the polytope size.

  • Constructor Summary

    Constructors
    Constructor
    Description
    SpnLpOptions()
     

  • Method Summary

    Methods inherited from class java.lang.Object

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

  • Field Details

    • markovian

      public boolean markovian
      true (default) uses the second-moment, covariance and Little's law families, which need exponential firing times; false drops them and the whole y block, leaving the operational bound, which needs only a mean firing time and so admits any phase-type law.

    • assumelive

      public boolean assumelive
      true adds the two liveness rows, valid only on a live net.

    • init

      public double[] init
      Initial tokens per place level, place-major; null reads the model.

    • tol

      public double tol
      Slack added to the inequality sides.

    • verbose

      public boolean verbose
      Print the polytope size.

  • Constructor Details

    • SpnLpOptions

      public SpnLpOptions()