Uses of Class
org.oristool.models.gspn.chains.CTMCTransient.Builder
Packages that use CTMCTransient.Builder
-
Uses of CTMCTransient.Builder in org.oristool.models.gspn.chains
Methods in org.oristool.models.gspn.chains that return CTMCTransient.BuilderModifier 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.