Package org.oristool.models.gspn.chains

Class CTMCTransient.Builder<M,S extends CTMCState<M>>

java.lang.Object
org.oristool.models.gspn.chains.CTMCTransient.Builder<M,S>
Enclosing class:
CTMCTransient<M,S extends CTMCState<M>>
public abstract static class CTMCTransient.Builder<M,S extends CTMCState<M>> extends Object

  • Method Details

    • error

      public abstract CTMCTransient.Builder<M,S> error(double value)
      Sets the allowed error in the computation of Poisson probabilities with Fox-Glynn algorithm (for each time point).

      By default, it is equal to 1e-6.

      Parameters:
      value - allowed error in Poisson probabilities
      Returns:
      this builder instance

    • epsilon

      public abstract CTMCTransient.Builder<M,S> 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

    • monitor

      public abstract CTMCTransient.Builder<M,S> 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 CTMCTransient.Builder<M,S> 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 CTMCTransient<M,S> build()
      Builds a new instance with the provided configurations.
      Returns:
      a new CTMCTransient instance