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