Uses of Class
org.oristool.models.tpn.TimedAnalysis.Builder

Packages that use TimedAnalysis.Builder

Package	Description
org.oristool.models.tpn	Analysis of TPNs.

Uses of TimedAnalysis.Builder in org.oristool.models.tpn

Methods in org.oristool.models.tpn that return TimedAnalysis.Builder

Modifier and Type	Method	Description
static TimedAnalysis.Builder	TimedAnalysis.builder()	Creates a builder for analysis configurations (with default values).
abstract TimedAnalysis.Builder	TimedAnalysis.Builder.excludeZeroProb(boolean value)	Sets whether or not this analysis should exclude transition firings with zero probability.
abstract TimedAnalysis.Builder	TimedAnalysis.Builder.includeAge(boolean value)	Sets whether or not this analysis should add Variable.AGE to the set of enabled variables.
abstract TimedAnalysis.Builder	TimedAnalysis.Builder.logger(AnalysisLogger value)	Sets the logger used by this analysis.
abstract TimedAnalysis.Builder	TimedAnalysis.Builder.markRegenerations(boolean value)	Sets whether or not this analysis should add the Regeneration property to states.
abstract TimedAnalysis.Builder	TimedAnalysis.Builder.monitor(AnalysisMonitor value)	Sets the monitor used by this analysis.
abstract TimedAnalysis.Builder	TimedAnalysis.Builder.policy(Supplier<EnumerationPolicy> value)	Sets the supplier of enumeration policies used by this analysis.
abstract TimedAnalysis.Builder	TimedAnalysis.Builder.stopOn(Supplier<StopCriterion> value)	Sets the supplier of local stop criterion instances used by this analysis.
TimedAnalysis.Builder	TimedAnalysis.Builder.stopOn(MarkingCondition value)	Uses a marking condition to create local stop criterion instances used by this analysis.