Package org.oristool.models.gspn.reachability

Class GSPNReachability.Builder

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

  • Method Details

    • stopOn

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