Package org.oristool.models.stpn.onegen

Class OneGenTransient.Builder

java.lang.Object
org.oristool.models.stpn.onegen.OneGenTransient.Builder
Enclosing class:
OneGenTransient
public abstract static class OneGenTransient.Builder extends Object

  • Method Details

    • timeBound

      public abstract OneGenTransient.Builder timeBound(BigDecimal value)
      Sets the maximum time bound for the analysis.

      This parameter has no default value; it must be specified by the user.

      Parameters:
      value - bound of transient probabilities
      Returns:
      this builder instance

    • timeStep

      public abstract OneGenTransient.Builder timeStep(BigDecimal value)
      Sets the step used to compute transient probabilities from 0 to this.timeBound().

      This parameter has no default value; it must be specified by the user.

      Parameters:
      value - of transient probabilities
      Returns:
      this builder instance

    • error

      public abstract OneGenTransient.Builder error(BigDecimal value)
      Sets the maximum allowed error for the computation of transient probabilities of subordinated CTMCs.

      This parameter has no default value; it must be specified by the user.

      Parameters:
      value - of maximum allowed error
      Returns:
      error of subordinated transient probabilities

    • stopOn

      public OneGenTransient.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 OneGenTransient.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 OneGenTransient.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 OneGenTransient.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 OneGenTransient build()
      Builds a new instance with the provided configurations.
      Returns:
      a new TimedAnalysis instance