Uses of Class
org.oristool.models.gspn.GSPNTransient.Builder

Packages that use GSPNTransient.Builder

Package	Description
org.oristool.models.gspn	Analysis of GSPNs.

Uses of GSPNTransient.Builder in org.oristool.models.gspn

Methods in org.oristool.models.gspn that return GSPNTransient.Builder

Modifier and Type	Method	Description
static GSPNTransient.Builder	GSPNTransient.builder()	Creates a builder for analysis configurations (with default values).
abstract GSPNTransient.Builder	GSPNTransient.Builder.epsilon(double value)	Sets the threshold used to decide whether a probability value should be considered equal to 0.0.
abstract GSPNTransient.Builder	GSPNTransient.Builder.error(double value)	Sets the allowed error in the computation of Poisson probabilities with Fox-Glynn algorithm (for each time point).
abstract GSPNTransient.Builder	GSPNTransient.Builder.logger(AnalysisLogger value)	Sets the logger used by this analysis.
abstract GSPNTransient.Builder	GSPNTransient.Builder.monitor(AnalysisMonitor value)	Sets the monitor used by this analysis.
abstract GSPNTransient.Builder	GSPNTransient.Builder.stopOn(Supplier<StopCriterion> value)	Sets the supplier of local stop criterion instances used by this analysis.
GSPNTransient.Builder	GSPNTransient.Builder.stopOn(MarkingCondition value)	Uses a marking condition to create local stop criterion instances used by this analysis.
abstract GSPNTransient.Builder	GSPNTransient.Builder.timePoints(double[] value)	Sets the time points for which transient probabilities must be computed.
GSPNTransient.Builder	GSPNTransient.Builder.timePoints(double start, double end, double step)	Sets evenly spaced values as time points for transient probabilities.