Package org.oristool.analyzer

Interface SuccessionEvaluator<M,E extends Event>

Type Parameters:

M - type of the model (such as a PetriNet

E - type of the event (such as the firing of a Transition

All Known Implementing Classes:

PetriSuccessionEvaluator, StochasticSuccessionEvaluator, TimedSuccessionEvaluator

public interface SuccessionEvaluator<M,E extends Event>

Common interface of succession evaluators.

Method Summary

Modifier and Type	Method	Description
Succession	computeSuccession(M model, State state, E event)

Method Details

computeSuccession

Succession computeSuccession(M model,
 State state,
 E event)