public class AutomatonEdge
extends java.lang.Object
Constructor and Description |
---|
AutomatonEdge(AutomatonNode s,
AutomatonNode t,
org.processmining.models.graphbased.directed.petrinet.elements.Transition trans) |
Modifier and Type | Method and Description |
---|---|
AutomatonNode |
getSource() |
AutomatonNode |
getTarget() |
org.processmining.models.graphbased.directed.petrinet.elements.Transition |
getTransition() |
java.lang.String |
toString() |
public AutomatonEdge(AutomatonNode s, AutomatonNode t, org.processmining.models.graphbased.directed.petrinet.elements.Transition trans)
public org.processmining.models.graphbased.directed.petrinet.elements.Transition getTransition()
public AutomatonNode getSource()
public AutomatonNode getTarget()
public java.lang.String toString()
toString
in class java.lang.Object