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