Module fr.inria.MochyCore

Package fr.inria.mochy.core.mochysim

Class Transition

java.lang.Object

fr.inria.mochy.core.abstractClass.TransitionAbstract

fr.inria.mochy.core.mochysim.Transition

public class Transition
extends TransitionAbstract

A transition is set with its name, its content, its previous/next places, its clock and its state none/enabled/firable.

Field Summary

Fields

Modifier and Type	Field	Description
Integer	number

Fields inherited from class fr.inria.mochy.core.abstractClass.TransitionAbstract

clock

Method Summary

Modifier and Type	Method	Description
void	addLinkedEvent(TableEvent te)	add an event to the list of the linked events to this transition
boolean	busyPostSet()
boolean	controlAllowsFiring()	Checks if the control places used as input to the current transition allow firing of t
int	getCoefWeibull()
ArrayList<Place>	getControlPre()	return the list of the previous control places immediately linked to this transition
String	getDistribution()
ArrayList<Place>	getInControlPlaces()	returns the list of control places used as input of the current transition
ArrayList<TableEvent>	getLinkedEvents()	the list of the events linked to this transition
Float	getLowerBound()	the lower bound of the interval in which the clock will start
String	getMax()	the upper bound of the interval in which the clock will start as a string
String	getMin()
String	getName()	the name of the transition
int	getNumber()	the id number of the transition
ArrayList<Place>	getPost()	return the list of the next places immediately linked to this transition
ArrayList<Place>	getPre()	return the list of the previous places immediately linked to this transition
Float	getUpperBound()	the upper bound of the interval in which the clock will start
boolean	isBlocked(Marking m)
boolean	isFireable()
boolean	isGaussian()
boolean	isWeibull()
void	sample(Sampler s)
void	setCoefWeibull(int coefWeibull)
void	setGaussian(boolean gaussian)
void	setLowerBound(Float lowerBound)	set the lower bound of the interval in which the clock will start
void	setUpperBound(Float upperBound)	set the upper bound of the interval in which the clock will start
void	setWeibull(boolean weibull)
String	toString()

Methods inherited from class fr.inria.mochy.core.abstractClass.TransitionAbstract

getClock, setClock, setClock, tokensTimeToFire

Methods inherited from class java.lang.Object

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

Field Detail

number

public Integer number

Method Detail

busyPostSet

public boolean busyPostSet()

isBlocked

public boolean isBlocked(Marking m)

isFireable

public boolean isFireable()

controlAllowsFiring

public boolean controlAllowsFiring()

Checks if the control places used as input to the current transition allow firing of t

Parameters:

t -

Returns:

sample

public void sample(Sampler s)

toString

public String toString()

Overrides:

toString in class Object

getName

public String getName()

Description copied from class: TransitionAbstract

the name of the transition

Overrides:

getName in class TransitionAbstract

getDistribution

public String getDistribution()

getInControlPlaces

public ArrayList<Place> getInControlPlaces()

returns the list of control places used as input of the current transition

Returns:

the list of in places that are also control places

getNumber

public int getNumber()

Description copied from class: TransitionAbstract

the id number of the transition

Overrides:

getNumber in class TransitionAbstract

Returns:

the indentifier of the transition

getMin

public String getMin()

getMax

public String getMax()

Description copied from class: TransitionAbstract

the upper bound of the interval in which the clock will start as a string

Overrides:

getMax in class TransitionAbstract

isGaussian

public boolean isGaussian()

setGaussian

public void setGaussian(boolean gaussian)

isWeibull

public boolean isWeibull()

setWeibull

public void setWeibull(boolean weibull)

setCoefWeibull

public void setCoefWeibull(int coefWeibull)

getCoefWeibull

public int getCoefWeibull()

getLinkedEvents

public ArrayList<TableEvent> getLinkedEvents()

Description copied from class: TransitionAbstract

the list of the events linked to this transition

Overrides:

getLinkedEvents in class TransitionAbstract

addLinkedEvent

public void addLinkedEvent(TableEvent te)

Description copied from class: TransitionAbstract

add an event to the list of the linked events to this transition

Overrides:

addLinkedEvent in class TransitionAbstract

getPre

public ArrayList<Place> getPre()

Description copied from class: TransitionAbstract

return the list of the previous places immediately linked to this transition

Specified by:

getPre in class TransitionAbstract

getPost

public ArrayList<Place> getPost()

Description copied from class: TransitionAbstract

return the list of the next places immediately linked to this transition

Specified by:

getPost in class TransitionAbstract

getControlPre

public ArrayList<Place> getControlPre()

Description copied from class: TransitionAbstract

return the list of the previous control places immediately linked to this transition

Specified by:

getControlPre in class TransitionAbstract

getLowerBound

public Float getLowerBound()

Description copied from class: TransitionAbstract

the lower bound of the interval in which the clock will start

Overrides:

getLowerBound in class TransitionAbstract

setLowerBound

public void setLowerBound(Float lowerBound)

Description copied from class: TransitionAbstract

set the lower bound of the interval in which the clock will start

Overrides:

setLowerBound in class TransitionAbstract

getUpperBound

public Float getUpperBound()

Description copied from class: TransitionAbstract

the upper bound of the interval in which the clock will start

Overrides:

getUpperBound in class TransitionAbstract

setUpperBound

public void setUpperBound(Float upperBound)

Description copied from class: TransitionAbstract

set the upper bound of the interval in which the clock will start

Overrides:

setUpperBound in class TransitionAbstract