Uses of Class
org.oristool.models.stpn.onegen.OneGenTransient.Builder

Packages that use OneGenTransient.Builder

Package	Description
org.oristool.models.stpn.onegen	Analysis of MRPs under enabling restriction.

Uses of OneGenTransient.Builder in org.oristool.models.stpn.onegen

Methods in org.oristool.models.stpn.onegen that return OneGenTransient.Builder

Modifier and Type	Method	Description
static OneGenTransient.Builder	OneGenTransient.builder()	Creates a builder for analysis configurations (with default values).
abstract OneGenTransient.Builder	OneGenTransient.Builder.error(BigDecimal value)	Sets the maximum allowed error for the computation of transient probabilities of subordinated CTMCs.
abstract OneGenTransient.Builder	OneGenTransient.Builder.logger(AnalysisLogger value)	Sets the logger used by this analysis.
abstract OneGenTransient.Builder	OneGenTransient.Builder.monitor(AnalysisMonitor value)	Sets the monitor used by this analysis.
abstract OneGenTransient.Builder	OneGenTransient.Builder.stopOn(Supplier<StopCriterion> value)	Sets the supplier of local stop criterion instances used by this analysis.
OneGenTransient.Builder	OneGenTransient.Builder.stopOn(MarkingCondition value)	Uses a marking condition to create local stop criterion instances used by this analysis.
abstract OneGenTransient.Builder	OneGenTransient.Builder.timeBound(BigDecimal value)	Sets the maximum time bound for the analysis.
abstract OneGenTransient.Builder	OneGenTransient.Builder.timeStep(BigDecimal value)	Sets the step used to compute transient probabilities from 0 to this.timeBound().