Uses of Class
org.oristool.models.gspn.chains.DTMCStationary.Builder

Packages that use DTMCStationary.Builder

Package	Description
org.oristool.models.gspn.chains	Analysis of Markov chains.

Uses of DTMCStationary.Builder in org.oristool.models.gspn.chains

Methods in org.oristool.models.gspn.chains that return DTMCStationary.Builder

Modifier and Type	Method	Description
static <S> DTMCStationary.Builder<S>	DTMCStationary.builder()	Creates a builder for analysis configurations (with default values).
abstract DTMCStationary.Builder<S>	DTMCStationary.Builder.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.
abstract DTMCStationary.Builder<S>	DTMCStationary.Builder.logger(AnalysisLogger value)	Sets the logger used by this analysis.
abstract DTMCStationary.Builder<S>	DTMCStationary.Builder.monitor(AnalysisMonitor value)	Sets the monitor used by this analysis.