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

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

public abstract static class CTMCStationary.Builder<M,S extends CTMCState<M>> extends Object
  • Method Details

    • epsilon

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