Class Graph.Edge

  • Enclosing class:
    Graph

    public static final class Graph.Edge
    extends java.lang.Object
    • Constructor Detail

      • Edge

        public Edge​(MmuTransition transition,
                    java.lang.Object label,
                    java.util.Set<java.lang.Object> nextLabels)
    • Method Detail

      • 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 class java.lang.Object
      • hashCode

        public int hashCode()
        Overrides:
        hashCode in class java.lang.Object
      • toString

        public java.lang.String toString()
        Overrides:
        toString in class java.lang.Object