Uses of Interface
org.oristool.analyzer.stop.StopCriterion

Packages that use StopCriterion

Package	Description
org.oristool.analyzer	General framework for state space exploration.
org.oristool.analyzer.stop	Stop conditions for state space exploration.
org.oristool.models.gspn	Analysis of GSPNs.
org.oristool.models.gspn.reachability	Reachability analysis in GSPNs.
org.oristool.models.pn	Analysis of Petri nets.
org.oristool.models.stpn.onegen	Analysis of MRPs under enabling restriction.
org.oristool.models.stpn.steady	Steady-state analysis of MRPs.
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 StopCriterion in org.oristool.analyzer

Methods in org.oristool.analyzer that return StopCriterion

Modifier and Type	Method	Description
StopCriterion	AnalyzerComponentsFactory.getGlobalStopCriterion()	Returns the criterion to arrest the entire graph enumeration.
StopCriterion	AnalyzerComponentsFactory.getLocalStopCriterion()	Returns the criterion to arrest the enumeration on a specific node.

Uses of StopCriterion in org.oristool.analyzer.stop

Classes in org.oristool.analyzer.stop that implement StopCriterion

Modifier and Type	Class	Description
final class	AlwaysFalseStopCriterion	A stop criterion that evaluates always to false.
final class	AndStopCriterion	Logical AND of two stop criteria.
class	EventNameStopCriterion	Criterion stopping the analysis when a specific event fired.
final class	IterationsNumberStopCriterion	A stop criterion that stops the analysis after the given number of nodes has been added.
class	MonitorStopCriterion	A stop criterion controlled by an external AnalysisMonitor.
class	OrStopCriterion	Logical OR of two stop criteria.
final class	StateStopCriterion	Stop criterion based on a state predicate.

Constructors in org.oristool.analyzer.stop with parameters of type StopCriterion

Modifier	Constructor	Description
	AndStopCriterion(StopCriterion... criteria)
	OrStopCriterion(StopCriterion... criteria)

Constructor parameters in org.oristool.analyzer.stop with type arguments of type StopCriterion

Modifier	Constructor	Description
	AndStopCriterion(List<StopCriterion> criteria)
	OrStopCriterion(List<StopCriterion> criteria)

Uses of StopCriterion in org.oristool.models.gspn

Methods in org.oristool.models.gspn that return types with arguments of type StopCriterion

Modifier and Type	Method	Description
abstract Supplier<StopCriterion>	GSPNSteadyState.stopOn()	Returns the supplier of local stop criterion instances used by this analysis.
abstract Supplier<StopCriterion>	GSPNTransient.stopOn()	Returns the supplier of local stop criterion instances used by this analysis.

Method parameters in org.oristool.models.gspn with type arguments of type StopCriterion

Modifier and Type	Method	Description
abstract GSPNSteadyState.Builder	GSPNSteadyState.Builder.stopOn(Supplier<StopCriterion> value)	Sets the supplier of local stop criterion instances used by this analysis.
abstract GSPNTransient.Builder	GSPNTransient.Builder.stopOn(Supplier<StopCriterion> value)	Sets the supplier of local stop criterion instances used by this analysis.

Uses of StopCriterion in org.oristool.models.gspn.reachability

Methods in org.oristool.models.gspn.reachability that return types with arguments of type StopCriterion

Modifier and Type	Method	Description
abstract Supplier<StopCriterion>	GSPNReachability.stopOn()	Returns the supplier of local stop criterion instances used by this analysis.

Method parameters in org.oristool.models.gspn.reachability with type arguments of type StopCriterion

Modifier and Type	Method	Description
abstract GSPNReachability.Builder	GSPNReachability.Builder.stopOn(Supplier<StopCriterion> value)	Sets the supplier of local stop criterion instances used by this analysis.

Uses of StopCriterion in org.oristool.models.pn

Classes in org.oristool.models.pn that implement StopCriterion

Modifier and Type	Class	Description
final class	MarkingConditionStopCriterion	Stop criterion based on a marking condition.

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

Modifier and Type	Method	Description
StopCriterion	PetriComponentsFactory.getGlobalStopCriterion()
StopCriterion	PetriComponentsFactory.getLocalStopCriterion()

Uses of StopCriterion in org.oristool.models.stpn.onegen

Methods in org.oristool.models.stpn.onegen that return types with arguments of type StopCriterion

Modifier and Type	Method	Description
abstract Supplier<StopCriterion>	OneGenTransient.stopOn()	Returns the supplier of local stop criterion instances used by this analysis.

Method parameters in org.oristool.models.stpn.onegen with type arguments of type StopCriterion

Modifier and Type	Method	Description
abstract OneGenTransient.Builder	OneGenTransient.Builder.stopOn(Supplier<StopCriterion> value)	Sets the supplier of local stop criterion instances used by this analysis.

Uses of StopCriterion in org.oristool.models.stpn.steady

Methods in org.oristool.models.stpn.steady that return types with arguments of type StopCriterion

Modifier and Type	Method	Description
abstract Supplier<StopCriterion>	RegSteadyState.stopOn()	Returns the supplier of local stop criterion instances used by this analysis.

Method parameters in org.oristool.models.stpn.steady with type arguments of type StopCriterion

Modifier and Type	Method	Description
abstract RegSteadyState.Builder	RegSteadyState.Builder.stopOn(Supplier<StopCriterion> value)	Sets the supplier of local stop criterion instances used by this analysis.

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

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

Modifier and Type	Method	Description
abstract Supplier<StopCriterion>	RegTransient.stopOn()	Returns the supplier of local stop criterion instances used by this analysis.
abstract Supplier<StopCriterion>	TreeTransient.stopOn()	Returns the supplier of local stop criterion instances used by this analysis.

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

Modifier and Type	Method	Description
abstract RegTransient.Builder	RegTransient.Builder.stopOn(Supplier<StopCriterion> value)	Sets the supplier of local stop criterion instances 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.

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

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

Modifier and Type	Class	Description
class	RegenerativeStopCriterion	Stop criterion halting the analysis after regenerations.

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

Modifier and Type	Method	Description
StopCriterion	RegenerativeComponentsFactory.getGlobalStopCriterion()
StopCriterion	StochasticComponentsFactory.getGlobalStopCriterion()
StopCriterion	RegenerativeComponentsFactory.getLocalStopCriterion()
StopCriterion	StochasticComponentsFactory.getLocalStopCriterion()

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

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.
	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.

Uses of StopCriterion in org.oristool.models.tpn

Classes in org.oristool.models.tpn that implement StopCriterion

Modifier and Type	Class	Description
final class	TimeBoundStopCriterion	A global stop criterion.

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

Modifier and Type	Method	Description
StopCriterion	TimedComponentsFactory.getGlobalStopCriterion()
StopCriterion	TimedComponentsFactory.getLocalStopCriterion()

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

Modifier and Type	Method	Description
abstract Supplier<StopCriterion>	TimedAnalysis.stopOn()	Returns the supplier of local stop criterion instances used by this analysis.

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

Modifier and Type	Method	Description
abstract TimedAnalysis.Builder	TimedAnalysis.Builder.stopOn(Supplier<StopCriterion> value)	Sets the supplier of local stop criterion instances used by this analysis.

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

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.