Package org.oristool.simulator.stpn

Class TransientMarkingProbability

java.lang.Object

org.oristool.simulator.rewards.BasicReward

org.oristool.simulator.stpn.TransientMarkingProbability

All Implemented Interfaces:

Reward, SequencerObserver

public final class TransientMarkingProbability
extends BasicReward

Reward estimating the transient probability of a marking.

Nested Class Summary

Nested classes/interfaces inherited from interface org.oristool.simulator.rewards.Reward

Reward.RewardEvent

Constructor Summary

Constructors

Constructor	Description
TransientMarkingProbability(Sequencer sequencer, RewardTime rewardTime, int samples, Marking marking)	Builds a new instance for the given marking.

Method Summary

Modifier and Type	Method	Description
Object	evaluate()
int	getCurrentTimeSample()
void	update(Sequencer.SequencerEvent event)

Methods inherited from class org.oristool.simulator.rewards.BasicReward

addObserver, getRewardTime, getSamples, getSequencer, removeObserver

Methods inherited from class java.lang.Object

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

Constructor Details

TransientMarkingProbability

public TransientMarkingProbability(Sequencer sequencer,
 RewardTime rewardTime,
 int samples,
 Marking marking)

Builds a new instance for the given marking.

Parameters:

sequencer - simulator

rewardTime - time abstraction (discrete or continuous)

samples - number of time ticks

marking - target marking

Method Details

update

public void update(Sequencer.SequencerEvent event)

Specified by:

update in interface SequencerObserver

Overrides:

update in class BasicReward

evaluate

public Object evaluate()

getCurrentTimeSample

public int getCurrentTimeSample()

Specified by:

getCurrentTimeSample in class BasicReward