Package org.oristool.models.tpn

Class TimedAnalysis.Builder

java.lang.Object
org.oristool.models.tpn.TimedAnalysis.Builder
Enclosing class:
TimedAnalysis
public abstract static class TimedAnalysis.Builder extends Object

  • Method Details

    • includeAge

      public abstract TimedAnalysis.Builder includeAge(boolean value)
      Sets whether or not this analysis should add Variable.AGE to the set of enabled variables.

      This property is false by default.

      Parameters:
      value - whether the analysis should include the age variable
      Returns:
      this builder instance

    • markRegenerations

      public abstract TimedAnalysis.Builder markRegenerations(boolean value)
      Sets whether or not this analysis should add the Regeneration property to states.

      This property is false by default.

      Parameters:
      value - whether the analysis should find regenerations
      Returns:
      this builder instance

    • excludeZeroProb

      public abstract TimedAnalysis.Builder excludeZeroProb(boolean value)
      Sets whether or not this analysis should exclude transition firings with zero probability.

      This property is false by default.

      Parameters:
      value - whether the analysis should exclude transitions with zero probability
      Returns:
      this builder instance

    • policy

      public abstract TimedAnalysis.Builder policy(Supplier<EnumerationPolicy> value)
      Sets the supplier of enumeration policies used by this analysis.

      A new policy instance is generated for each run.

      By default, a FIFO policy is used.

      Parameters:
      value - the supplier of state class expansion policies
      Returns:
      this builder instance

    • stopOn

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