Uses of Interface
org.oristool.analyzer.AnalyzerObserver

Packages that use AnalyzerObserver

Package	Description
org.oristool.analyzer	General framework for state space exploration.
org.oristool.analyzer.stop	Stop conditions 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 AnalyzerObserver in org.oristool.analyzer

Methods in org.oristool.analyzer with parameters of type AnalyzerObserver

Modifier and Type	Method	Description
void	Analyzer.addObserver(AnalyzerObserver observer)
void	Analyzer.removeObserver(AnalyzerObserver observer)

Uses of AnalyzerObserver in org.oristool.analyzer.stop

Subinterfaces of AnalyzerObserver in org.oristool.analyzer.stop

Modifier and Type	Interface	Description
interface	StopCriterion	Common interface of stop criteria.

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

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.

Uses of AnalyzerObserver in org.oristool.models.pn

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

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

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

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

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

Uses of AnalyzerObserver in org.oristool.models.tpn

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

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