Uses of Interface
org.oristool.analyzer.policy.EnumerationPolicy

Packages that use EnumerationPolicy

Package	Description
org.oristool.analyzer	General framework for state space exploration.
org.oristool.analyzer.policy	Enumeration policies for state space exploration.
org.oristool.models.pn	Analysis of Petri nets.
org.oristool.models.stpn.trans	Transient analysis of MRPs and GSMPs.
org.oristool.models.stpn.trees	Calculus of stochastic state classes.
org.oristool.models.tpn	Analysis of TPNs.

Uses of EnumerationPolicy in org.oristool.analyzer

Methods in org.oristool.analyzer that return EnumerationPolicy

Modifier and Type	Method	Description
EnumerationPolicy	AnalyzerComponentsFactory.getEnumerationPolicy()	Returns the policy selecting the next event to explore.

Uses of EnumerationPolicy in org.oristool.analyzer.policy

Classes in org.oristool.analyzer.policy that implement EnumerationPolicy

Modifier and Type	Class	Description
final class	FIFOPolicy	FIFO enumeration policy.
final class	LIFOPolicy	LIFO enumeration policy.
final class	PriorityPolicy	Priority enumeration policy.

Uses of EnumerationPolicy in org.oristool.models.pn

Methods in org.oristool.models.pn that return EnumerationPolicy

Modifier and Type	Method	Description
EnumerationPolicy	PetriComponentsFactory.getEnumerationPolicy()

Constructors in org.oristool.models.pn with parameters of type EnumerationPolicy

Modifier	Constructor	Description
	PetriComponentsFactory(MarkingUpdater tokensRemover, MarkingUpdater tokensAdder, boolean checkNewlyEnabled, EnumerationPolicy policy)	Builds a factor from a set of input objects.

Uses of EnumerationPolicy in org.oristool.models.stpn.trans

Methods in org.oristool.models.stpn.trans that return types with arguments of type EnumerationPolicy

Modifier and Type	Method	Description
abstract Supplier<EnumerationPolicy>	RegTransient.policy()	Returns the supplier of enumeration policies used by this analysis.
abstract Supplier<EnumerationPolicy>	TreeTransient.policy()	Returns the supplier of enumeration policies used by this analysis.

Method parameters in org.oristool.models.stpn.trans with type arguments of type EnumerationPolicy

Modifier and Type	Method	Description
abstract RegTransient.Builder	RegTransient.Builder.policy(Supplier<EnumerationPolicy> value)	Sets the supplier of enumeration policies used by this analysis.
abstract TreeTransient.Builder	TreeTransient.Builder.policy(Supplier<EnumerationPolicy> value)	Sets the supplier of enumeration policies used by this analysis.

Uses of EnumerationPolicy in org.oristool.models.stpn.trees

Classes in org.oristool.models.stpn.trees that implement EnumerationPolicy

Modifier and Type	Class	Description
final class	TruncationPolicy	Priority policy halting the enumeration on dropRegenerative leaves or when the total reaching (before time limit) probability of nodes to be expanded is lower than epsilon (or both).

Methods in org.oristool.models.stpn.trees that return EnumerationPolicy

Modifier and Type	Method	Description
EnumerationPolicy	RegenerativeComponentsFactory.getEnumerationPolicy()
EnumerationPolicy	StochasticComponentsFactory.getEnumerationPolicy()

Constructors in org.oristool.models.stpn.trees with parameters of type EnumerationPolicy

Modifier	Constructor	Description
	RegenerativeComponentsFactory(boolean transientAnalysis, MarkingUpdater tokensRemover, MarkingUpdater tokensAdder, boolean checkNewlyEnabled, SuccessionProcessor postProcessor, EnumerationPolicy policy, OmegaBigDecimal tauAgeLimit, StopCriterion stopCriterion, BigDecimal epsilon, int numSamples, AnalysisMonitor monitor)	Builds a factory for STPN analysis.
	RegenerativeComponentsFactory(boolean transientAnalysis, MarkingUpdater tokensRemover, MarkingUpdater tokensAdder, boolean checkNewlyEnabled, SuccessionProcessor postProcessor, EnumerationPolicy policy, OmegaBigDecimal tauAgeLimit, MarkingCondition stopCondition, BigDecimal epsilon, int numSamples, AnalysisMonitor monitor)	Builds a factory for STPN analysis.
	StochasticComponentsFactory(boolean transientAnalysis, MarkingUpdater tokensRemover, MarkingUpdater tokensAdder, boolean checkNewlyEnabled, EnumerationPolicy policy, OmegaBigDecimal tauAgeLimit, StopCriterion stopCriterion, BigDecimal epsilon, int numSamples, AnalysisMonitor monitor)	Builds a factory for STPN analysis.
	StochasticComponentsFactory(boolean transientAnalysis, MarkingUpdater tokensRemover, MarkingUpdater tokensAdder, boolean checkNewlyEnabled, EnumerationPolicy policy, OmegaBigDecimal tauAgeLimit, MarkingCondition stopCondition, BigDecimal epsilon, int numSamples, AnalysisMonitor monitor)	Builds a factory for STPN analysis.

Uses of EnumerationPolicy in org.oristool.models.tpn

Methods in org.oristool.models.tpn that return EnumerationPolicy

Modifier and Type	Method	Description
EnumerationPolicy	TimedComponentsFactory.getEnumerationPolicy()

Methods in org.oristool.models.tpn that return types with arguments of type EnumerationPolicy

Modifier and Type	Method	Description
abstract Supplier<EnumerationPolicy>	TimedAnalysis.policy()	Returns the supplier of enumeration policies used by this analysis.

Method parameters in org.oristool.models.tpn with type arguments of type EnumerationPolicy

Modifier and Type	Method	Description
abstract TimedAnalysis.Builder	TimedAnalysis.Builder.policy(Supplier<EnumerationPolicy> value)	Sets the supplier of enumeration policies used by this analysis.

Constructors in org.oristool.models.tpn with parameters of type EnumerationPolicy

Modifier	Constructor	Description
	TimedComponentsFactory(boolean transientAnalysis, boolean checkNewlyEnabled, boolean excludeZeroProb, boolean markRegenerations, boolean enablingSyncs, EnumerationPolicy policy, StopCriterion stopCondition, AnalysisMonitor monitor, MarkingUpdater tokensRemover, MarkingUpdater tokensAdder)	Builds a factory for TPN analysis.
	TimedComponentsFactory(boolean transientAnalysis, boolean checkNewlyEnabled, boolean excludeZeroProb, boolean markRegenerations, boolean enablingSyncs, EnumerationPolicy policy, MarkingCondition stopCondition, AnalysisMonitor monitor)	Builds a factory for TPN analysis.
	TimedComponentsFactory(boolean transientAnalysis, boolean checkNewlyEnabled, boolean excludeZeroProb, boolean markRegenerations, boolean enablingSyncs, EnumerationPolicy policy, MarkingCondition stopCondition, AnalysisMonitor monitor, MarkingUpdater tokensRemover, MarkingUpdater tokensAdder)	Builds a factory for TPN analysis.