org.jbpt.petri

Interface ITransition

All Superinterfaces:

Cloneable, Comparable<IGObject>, IEntity, IGObject, INode, IVertex

All Known Implementing Classes:

Transition

public interface ITransition
extends INode

Interface to a Petri net transition.

Author:

Artem Polyvyanyy

Method Summary

Methods

Modifier and Type	Method and Description
ITransition	clone() Clone this transition.
boolean	isObservable() Check if this transition is observable.
boolean	isSilent() Check if this transition is silent.

Methods inherited from interface org.jbpt.petri.INode

getLabel, setLabel

Methods inherited from interface org.jbpt.hypergraph.abs.IVertex

getHeight, getWidth, getX, getY, setHeight, setLayout, setLocation, setSize, setWidth, setX, setY

Methods inherited from interface org.jbpt.hypergraph.abs.IGObject

getDescription, getId, getName, getTag, setDescription, setId, setName, setTag

Methods inherited from interface java.lang.Comparable

compareTo

Method Detail

isSilent

boolean isSilent()

Check if this transition is silent.

Returns:

true if label of this transition is the empty string; otherwise false.

isObservable

boolean isObservable()

Check if this transition is observable.

Returns:

true if label of this transition is not the empty string; otherwise false.

clone

ITransition clone()

Clone this transition.

Specified by:

clone in interface IEntity

Specified by:

clone in interface INode