Package org.oristool.models.gspn

Class GSPNSteadyState.Builder

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

  • Method Details

    • epsilon

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