Package org.oristool.analyzer.stop

package org.oristool.analyzer.stop

Stop conditions for state space exploration.

Related Packages

Package	Description
org.oristool.analyzer	General framework for state space exploration.
org.oristool.analyzer.graph	Provides classes for the representation of state spaces.
org.oristool.analyzer.log	Provides logging and monitoring utilities.
org.oristool.analyzer.policy	Enumeration policies for state space exploration.
org.oristool.analyzer.state	Generic state representation.

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