Class Graph.Edge
- java.lang.Object
-
- ru.ispras.microtesk.mmu.test.engine.memory.Graph.Edge
-
- Enclosing class:
- Graph
public static final class Graph.Edge extends java.lang.Object
-
-
Constructor Summary
Constructors Constructor Description Edge(MmuTransition transition)
Edge(MmuTransition transition, java.lang.Object label, java.util.Set<java.lang.Object> nextLabels)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method 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()
-
-
-
Constructor Detail
-
Edge
public Edge(MmuTransition transition, java.lang.Object label, java.util.Set<java.lang.Object> nextLabels)
-
Edge
public Edge(MmuTransition transition)
-
-
Method Detail
-
getTransition
public MmuTransition getTransition()
-
getLabel
public java.lang.Object getLabel()
-
setLabel
public void setLabel(java.lang.Object label)
-
getNextLabels
public java.util.Set<java.lang.Object> getNextLabels()
-
setNextLabels
public void setNextLabels(java.util.Set<java.lang.Object> nextLabels)
-
conformsTo
public boolean conformsTo(java.lang.Object label)
-
equals
public boolean equals(java.lang.Object o)
- Overrides:
equals
in classjava.lang.Object
-
hashCode
public int hashCode()
- Overrides:
hashCode
in classjava.lang.Object
-
toString
public java.lang.String toString()
- Overrides:
toString
in classjava.lang.Object
-
-