public class Transition extends Node
m_id, m_incomingArcs, m_label, m_outgoingArcs
Constructor and Description |
---|
Transition(java.lang.String label) |
Modifier and Type | Method and Description |
---|---|
boolean |
isTransition() |
addIncomingArc, addOutgoingArc, deleteIncomingArc, deleteOutgoingArc, getID, getIncomingArcs, getLabel, getOutgoingArcs, isPlace
public boolean isTransition()
isTransition
in class Node