Package org.oristool.models.pn

Class MarkingConditionStopCriterion

java.lang.Object

org.oristool.models.pn.MarkingConditionStopCriterion

All Implemented Interfaces:

AnalyzerObserver, StopCriterion

public final class MarkingConditionStopCriterion
extends Object
implements StopCriterion

Stop criterion based on a marking condition.

Constructor Summary

Constructors

Constructor	Description
MarkingConditionStopCriterion(String cond)
MarkingConditionStopCriterion(MarkingCondition mc)

Method Summary

Modifier and Type	Method	Description
void	notifySuccessionExtracted(Succession succession)	Notifies the observer that the analyzer has extracted the given succession from the policy.
boolean	stop()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface org.oristool.analyzer.AnalyzerObserver

notifyNodeAdded, notifySuccessionCreated, notifySuccessionInserted, notifySuccessionPostProcessed, notifySuccessionPreProcessed

Constructor Details

MarkingConditionStopCriterion

public MarkingConditionStopCriterion(MarkingCondition mc)

MarkingConditionStopCriterion

public MarkingConditionStopCriterion(String cond)

Method Details

notifySuccessionExtracted

public void notifySuccessionExtracted(Succession succession)

Description copied from interface: AnalyzerObserver

Notifies the observer that the analyzer has extracted the given succession from the policy.

Specified by:

notifySuccessionExtracted in interface AnalyzerObserver

Parameters:

succession - succession extracted by the analyzer

stop

public boolean stop()

Specified by:

stop in interface StopCriterion