|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectvanted.petrinetelements.NodePN
vanted.petrinetelements.Transition
public class Transition
The Class Transition for transition handling.
Constructor Summary | |
---|---|
Transition(org.graffiti.graph.Node node)
Instantiates a new transition. |
|
Transition(Transition transition)
Instantiates a new reversible transition. |
Method Summary | |
---|---|
void |
addGuard(Guard guard)
Adds the guard of the transition. |
void |
addInArc(InArc arc)
Adds the in arc of the transition. |
void |
addOutArc(OutArc arc)
Adds the out arc of the transition. |
void |
addTransitionListener(TransitionListener listener)
Adds the transition listener. |
Transition |
fire()
Fire the transition. |
java.util.List<Guard> |
getGuards()
Gets the guards of the transition. |
java.util.List<InArc> |
getInArcs()
Gets the in arcs of the transition. |
java.util.List<OutArc> |
getOutArcs()
Gets the out arcs of the transition. |
java.util.HashSet<Place> |
getPlaces()
Gets the places. |
double |
getRate()
Gets the rate. |
Transition |
getReversibleTransition()
Gets the reversible transition. |
boolean |
isEnabled()
Checks if the transition is enabled. |
boolean |
isRevTransition()
Is the transition reversible. |
boolean |
isTimed()
Checks if the transition is timed. |
static boolean |
isTransition(org.graffiti.graph.Node nd)
Checks if the node is a transition. |
void |
removeAllGuards()
Removes the all guards of the transition. |
void |
removeGuard(Guard guard)
Removes the guard of the transition. |
void |
setInArcs(java.util.List<InArc> inArcs)
Sets the in arcs of the transition. |
void |
setOutArcs(java.util.List<OutArc> outArcs)
Sets the out arcs of the transition. |
void |
setReversibleTransition(Transition transition)
Sets a reversible transition. |
void |
setRevTransition(boolean isRev)
|
Methods inherited from class vanted.petrinetelements.NodePN |
---|
addDraw, addIdentity, addIgnoreNode, addNode, addReachability, getDraw, getID, getIdentity, getIgnoreNode, getName, getNode, getNodes, getReachability, removeDraw, removeIdentity, removeIgnoreNode, removeNode, removeReachability, toString |
Methods inherited from class java.lang.Object |
---|
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Constructor Detail |
---|
public Transition(org.graffiti.graph.Node node)
node
- the nodepublic Transition(Transition transition)
node
- the nodeMethod Detail |
---|
public Transition getReversibleTransition()
public void setReversibleTransition(Transition transition)
transition
- the referenced transitionpublic void addOutArc(OutArc arc)
arc
- the arcpublic void setInArcs(java.util.List<InArc> inArcs)
inArcs
- the new in arcspublic java.util.List<InArc> getInArcs()
public void addInArc(InArc arc)
arc
- the arcpublic void setOutArcs(java.util.List<OutArc> outArcs)
outArcs
- the new out arcspublic java.util.List<OutArc> getOutArcs()
public static boolean isTransition(org.graffiti.graph.Node nd)
nd
- the nd
public void addGuard(Guard guard)
guard
- the guardpublic void removeGuard(Guard guard)
guard
- the guardpublic void removeAllGuards()
public java.util.List<Guard> getGuards()
public Transition fire()
public boolean isEnabled()
public void addTransitionListener(TransitionListener listener)
listener
- the listenerpublic boolean isTimed()
public double getRate()
public java.util.HashSet<Place> getPlaces()
public boolean isRevTransition()
public void setRevTransition(boolean isRev)
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |