Package org.oristool.models.stpn.trees

Class EnablingSyncsEvaluator

java.lang.Object

org.oristool.models.stpn.trees.EnablingSyncsEvaluator

All Implemented Interfaces:

SuccessionProcessor

public final class EnablingSyncsEvaluator
extends Object
implements SuccessionProcessor

Detector for generalized regenerations.

Constructor Summary

Constructors

Constructor	Description
EnablingSyncsEvaluator()

Method Summary

Modifier and Type	Method	Description
Succession	process(Succession succession)	Detects whether the succession corresponds to a regeneration.

Methods inherited from class java.lang.Object

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

Constructor Details

EnablingSyncsEvaluator

public EnablingSyncsEvaluator()

Method Details

process

public Succession process(Succession succession)

Detects whether the succession corresponds to a regeneration.

This method reads the EnablingSyncsFeature of the parent node to decide whether, after the firing, all non-exponential transitions had deterministic enabling times. If so, it adds a Regeneration feature with an appropriate DeterministicEnablingState.

It also adds an EnablingSyncsFeature to the child node.

Specified by:

process in interface SuccessionProcessor

Parameters:

succession - input succession