Uses of Class
org.oristool.models.stpn.trans.TreeTransient.Builder

Packages that use TreeTransient.Builder

Package	Description
org.oristool.models.stpn.trans	Transient analysis of MRPs and GSMPs.

Uses of TreeTransient.Builder in org.oristool.models.stpn.trans

Methods in org.oristool.models.stpn.trans that return TreeTransient.Builder

Modifier and Type	Method	Description
static TreeTransient.Builder	TreeTransient.builder()	Creates a builder for analysis configurations (with default values).
abstract TreeTransient.Builder	TreeTransient.Builder.evaluateByClass(boolean value)	Whether transient probabilities should be evaluated by stochastic state class (for each time tick until the time bound).
TreeTransient.Builder	TreeTransient.Builder.greedyPolicy(BigDecimal timeBound, BigDecimal error)	Sets the time bound for the analysis (similarly to timeBound(BigDecimal)) and a greedy policy controlling the enumeration of nodes.
abstract TreeTransient.Builder	TreeTransient.Builder.logger(AnalysisLogger value)	Sets the logger used by this analysis.
abstract TreeTransient.Builder	TreeTransient.Builder.markingFilter(MarkingCondition value)	Uses a marking condition to select markings for which transient probabilities are computed by this analysis.
abstract TreeTransient.Builder	TreeTransient.Builder.monitor(AnalysisMonitor value)	Sets the monitor used by this analysis.
abstract TreeTransient.Builder	TreeTransient.Builder.policy(Supplier<EnumerationPolicy> value)	Sets the supplier of enumeration policies used by this analysis.
abstract TreeTransient.Builder	TreeTransient.Builder.stopOn(Supplier<StopCriterion> value)	Sets the supplier of local stop criterion instances used by this analysis.
TreeTransient.Builder	TreeTransient.Builder.stopOn(MarkingCondition value)	Uses a marking condition to create local stop criterion instances used by this analysis.
abstract TreeTransient.Builder	TreeTransient.Builder.timeBound(BigDecimal value)	Sets the maximum time bound for the analysis.
abstract TreeTransient.Builder	TreeTransient.Builder.timeStep(BigDecimal value)	Sets the step used to compute transient probabilities from 0 to this.timeBound().