Package org.oristool.simulator.stpn

Class SimulatorSTPNSuccessorEvaluator

java.lang.Object

org.oristool.simulator.stpn.SimulatorSTPNSuccessorEvaluator

All Implemented Interfaces:

SimulatorSuccessorEvaluator

public final class SimulatorSTPNSuccessorEvaluator
extends Object
implements SimulatorSuccessorEvaluator

Succession state evaluator for the simulation of an STPN.

Constructor Summary

Constructors

Constructor	Description
SimulatorSTPNSuccessorEvaluator()

Method Summary

Modifier and Type	Method	Description
Succession	computeSuccessor(PetriNet petriNet, State state, Transition fired)

Methods inherited from class java.lang.Object

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

Constructor Details

SimulatorSTPNSuccessorEvaluator

public SimulatorSTPNSuccessorEvaluator()

Method Details

computeSuccessor

public Succession computeSuccessor(PetriNet petriNet,
 State state,
 Transition fired)

Specified by:

computeSuccessor in interface SimulatorSuccessorEvaluator