Uses of Interface
org.oristool.analyzer.SuccessionProcessor

Packages that use SuccessionProcessor

Package	Description
org.oristool.analyzer	General framework for state space exploration.
org.oristool.models.pn	Analysis of Petri nets.
org.oristool.models.stpn.trees	Calculus of stochastic state classes.
org.oristool.models.tpn	Analysis of TPNs.

Uses of SuccessionProcessor in org.oristool.analyzer

Classes in org.oristool.analyzer that implement SuccessionProcessor

Modifier and Type	Class	Description
enum	NoOpProcessor	A succession processor producing no changes on the input succession.

Methods in org.oristool.analyzer that return SuccessionProcessor

Modifier and Type	Method	Description
SuccessionProcessor	AnalyzerComponentsFactory.getPostProcessor()	Returns the post-processor used after computing a successor state.
SuccessionProcessor	AnalyzerComponentsFactory.getPreProcessor()	Returns the pre-processor used before computing the enabled events.

Uses of SuccessionProcessor in org.oristool.models.pn

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

Modifier and Type	Method	Description
SuccessionProcessor	PetriComponentsFactory.getPostProcessor()
SuccessionProcessor	PetriComponentsFactory.getPreProcessor()

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

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

Modifier and Type	Class	Description
final class	EnablingSyncsEvaluator	Detector for generalized regenerations.
class	NewlyEnablingEvaluator	Detector for standard regenerations.

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

Modifier and Type	Method	Description
SuccessionProcessor	RegenerativeComponentsFactory.getPostProcessor()
SuccessionProcessor	StochasticComponentsFactory.getPostProcessor()
SuccessionProcessor	RegenerativeComponentsFactory.getPreProcessor()
SuccessionProcessor	StochasticComponentsFactory.getPreProcessor()

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

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.

Uses of SuccessionProcessor in org.oristool.models.tpn

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

Modifier and Type	Method	Description
SuccessionProcessor	TimedComponentsFactory.getPostProcessor()
SuccessionProcessor	TimedComponentsFactory.getPreProcessor()