Class DTMCStationary.Builder<S>

java.lang.Object
org.oristool.models.gspn.chains.DTMCStationary.Builder<S>
Enclosing class:
DTMCStationary<S>

public abstract static class DTMCStationary.Builder<S> extends Object
  • Method Details

    • epsilon

      public abstract DTMCStationary.Builder<S> epsilon(double value)
      Sets the threshold used to decide whether a probability value should be considered equal to 0.0 in the transition probabilities between states and in the output distribution.

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