Class EscapingEdgesPrecisionEdge


  • public class EscapingEdgesPrecisionEdge
    extends java.lang.Object
    • Method Detail

      • getAction

        public java.lang.String getAction()
      • toString

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

        public int hashCode()
        Hashcode of action edge is hashcode of the concatenated transition labels of the source state prefix and the destination state prefix
        Overrides:
        hashCode in class java.lang.Object
      • equals

        public boolean equals​(java.lang.Object other)
        Overrides:
        equals in class java.lang.Object