net.frapu.code.simulation.petrinets

Class TimedTransitionData

java.lang.Object

net.frapu.code.simulation.petrinets.TimedTransitionData

public class TimedTransitionData
extends java.lang.Object

This class holds the data necessary to realize a timed Transition.

Constructor Summary

Constructors

Constructor and Description
TimedTransitionData(Transition transition, Token token, int remainingTime)

Method Summary

Modifier and Type	Method and Description
int	getRemainingTime()
Token	getToken()
Transition	getTransition()
boolean	isReady() Returns whether this Transition is ready to output the Token
void	tick() Removes one time unit from the remaining time
void	tick(int count) Removes a number of time units from the remaining time

Methods inherited from class java.lang.Object

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

Constructor Detail

TimedTransitionData

public TimedTransitionData(Transition transition,
                           Token token,
                           int remainingTime)

Method Detail

tick

public void tick()

Removes one time unit from the remaining time

tick

public void tick(int count)

Removes a number of time units from the remaining time

Parameters:

count -

isReady

public boolean isReady()

Returns whether this Transition is ready to output the Token

Returns:

getRemainingTime

public int getRemainingTime()

getToken

public Token getToken()

getTransition

public Transition getTransition()