Package org.oristool.models.stpn.steady

Class RegSteadyState.Builder

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

  • Method Details

    • stopOn

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