Uses of Class
org.oristool.models.gspn.chains.CTMCStationary.Builder
-
Uses of CTMCStationary.Builder in org.oristool.models.gspn.chains
Modifier and TypeMethodDescriptionstatic <M,
S extends CTMCState<M>>
CTMCStationary.Builder<M,S> CTMCStationary.builder()
Creates a builder for analysis configurations (with default values).abstract CTMCStationary.Builder<M,
S> CTMCStationary.Builder.epsilon
(double value) Sets the threshold used to decide whether a probability value should be considered equal to0.0
.abstract CTMCStationary.Builder<M,
S> CTMCStationary.Builder.logger
(AnalysisLogger value) Sets the logger used by this analysis.abstract CTMCStationary.Builder<M,
S> CTMCStationary.Builder.monitor
(AnalysisMonitor value) Sets the monitor used by this analysis.