public static final class Graph.Edge
extends java.lang.Object
Constructor and Description |
---|
Edge(MmuTransition transition) |
Edge(MmuTransition transition,
java.lang.Object label,
java.util.Set<java.lang.Object> nextLabels) |
Modifier and Type | Method and Description |
---|---|
boolean |
conformsTo(java.lang.Object label) |
boolean |
equals(java.lang.Object o) |
java.lang.Object |
getLabel() |
java.util.Set<java.lang.Object> |
getNextLabels() |
MmuTransition |
getTransition() |
int |
hashCode() |
void |
setLabel(java.lang.Object label) |
void |
setNextLabels(java.util.Set<java.lang.Object> nextLabels) |
java.lang.String |
toString() |
public Edge(MmuTransition transition, java.lang.Object label, java.util.Set<java.lang.Object> nextLabels)
public Edge(MmuTransition transition)
public MmuTransition getTransition()
public java.lang.Object getLabel()
public void setLabel(java.lang.Object label)
public java.util.Set<java.lang.Object> getNextLabels()
public void setNextLabels(java.util.Set<java.lang.Object> nextLabels)
public boolean conformsTo(java.lang.Object label)
public boolean equals(java.lang.Object o)
equals
in class java.lang.Object
public int hashCode()
hashCode
in class java.lang.Object
public java.lang.String toString()
toString
in class java.lang.Object