Package org.oristool.models.gspn

Class GSPNTransient.Builder

java.lang.Object
org.oristool.models.gspn.GSPNTransient.Builder
Enclosing class:
GSPNTransient
public abstract static class GSPNTransient.Builder extends Object

  • Method Details

    • timePoints

      public GSPNTransient.Builder timePoints(double start, double end, double step)
      Sets evenly spaced values as time points for transient probabilities.

      The distance between points is given by step. The first point is start and the last one is greater or equal to end.

      Parameters:
      start - initial point
      end - lower bound for the last point
      step - distance between points
      Returns:
      this builder instance

    • timePoints

      public abstract GSPNTransient.Builder timePoints(double[] value)
      Sets the time points for which transient probabilities must be computed.
      Parameters:
      value - target time points
      Returns:
      this builder instance

    • error

      public abstract GSPNTransient.Builder error(double value)
      Sets the allowed error in the computation of Poisson probabilities with Fox-Glynn algorithm (for each time point).

      By default, it is equal to 1e-6.

      Parameters:
      value - allowed error in Poisson probabilities
      Returns:
      this builder instance

    • epsilon

      public abstract GSPNTransient.Builder epsilon(double value)
      Sets the threshold used to decide whether a probability value should be considered equal to 0.0.

      By default, it is equal to 1e-9.

      Parameters:
      value - the threshold used in comparisons to 0.0
      Returns:
      this builder instance

    • stopOn

      public GSPNTransient.Builder stopOn(MarkingCondition value)
      Uses a marking condition to create local stop criterion instances used by this analysis. It can be used to avoid the expansion of some state classes, as if their states were absorbing.
      Parameters:
      value - the supplier of local stop criterion
      Returns:
      this builder instance

    • stopOn

      public abstract GSPNTransient.Builder stopOn(Supplier<StopCriterion> value)
      Sets the supplier of local stop criterion instances used by this analysis. It can be used to avoid the expansion of some state classes, as if their states were absorbing.

      A stop criterion instance is generated for each run.

      By default, an always-false local stop criterion is used.

      Parameters:
      value - the supplier of local stop criterion
      Returns:
      this builder instance

    • monitor

      public abstract GSPNTransient.Builder monitor(AnalysisMonitor value)
      Sets the monitor used by this analysis. It is used to stop the analysis early and to notify messages to the user.

      By default, an always-false, message-discarding monitor is used.

      Parameters:
      value - the monitor used by this analysis
      Returns:
      this builder instance

    • logger

      public abstract GSPNTransient.Builder logger(AnalysisLogger value)
      Sets the logger used by this analysis. It is used to print progress information.

      By default, logs are discarded.

      Parameters:
      value - the logger used by this analysis
      Returns:
      this builder instance

    • build

      public abstract GSPNTransient build()
      Builds a new instance with the provided configurations.
      Returns:
      a new TimedAnalysis instance