Package org.oristool.simulator.stpn

Class TransientMarkingConditionProbability

java.lang.Object

org.oristool.simulator.rewards.BasicReward

org.oristool.simulator.stpn.TransientMarkingConditionProbability

All Implemented Interfaces:

Reward, SequencerObserver

public final class TransientMarkingConditionProbability
extends BasicReward

Reward estimating the transient probability of a marking condition.

Nested Class Summary

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

Reward.RewardEvent

Constructor Summary

Constructors

Constructor	Description
TransientMarkingConditionProbability(Sequencer sequencer, RewardTime rewardTime, int samples, MarkingCondition markingCondition)	Builds an instance for a given marking condition and number of time ticks.

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

TransientMarkingConditionProbability

public TransientMarkingConditionProbability(Sequencer sequencer,
 RewardTime rewardTime,
 int samples,
 MarkingCondition markingCondition)

Builds an instance for a given marking condition and number of time ticks.

Parameters:

sequencer - simulator

rewardTime - time abstraction (discrete or continuous)

samples - number of ticks

markingCondition - target marking condition

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