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

Packages that use RegTransient.Builder

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

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

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

Modifier and Type	Method	Description
static RegTransient.Builder	RegTransient.builder()	Creates a builder for analysis configurations (with default values).
abstract RegTransient.Builder	RegTransient.Builder.globalEvaluationPeriod(int steps)	Sets the evaluation period for the global kernel (in time steps).
RegTransient.Builder	RegTransient.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 RegTransient.Builder	RegTransient.Builder.localEvaluationPeriod(int steps)	Sets the evaluation period for the local kernel (in time steps).
abstract RegTransient.Builder	RegTransient.Builder.logger(AnalysisLogger value)	Sets the logger used by this analysis.
abstract RegTransient.Builder	RegTransient.Builder.markingFilter(MarkingCondition value)	Uses a marking condition to select markings for which transient probabilities are computed by this analysis.
abstract RegTransient.Builder	RegTransient.Builder.monitor(AnalysisMonitor value)	Sets the monitor used by this analysis.
abstract RegTransient.Builder	RegTransient.Builder.normalizeKernels(boolean value)	Enables the normalization of rows in local and global kernels.
abstract RegTransient.Builder	RegTransient.Builder.policy(Supplier<EnumerationPolicy> value)	Sets the supplier of enumeration policies used by this analysis.
abstract RegTransient.Builder	RegTransient.Builder.stopOn(Supplier<StopCriterion> value)	Sets the supplier of local stop criterion instances used by this analysis.
RegTransient.Builder	RegTransient.Builder.stopOn(MarkingCondition value)	Uses a marking condition to create local stop criterion instances used by this analysis.
abstract RegTransient.Builder	RegTransient.Builder.timeBound(BigDecimal value)	Sets the maximum time bound for the analysis.
abstract RegTransient.Builder	RegTransient.Builder.timeStep(BigDecimal value)	Sets the step used to compute transient probabilities from 0 to this.timeBound().