public class EscapingEdgesPrecisionEdge
extends java.lang.Object
Constructor and Description |
---|
EscapingEdgesPrecisionEdge(EscapingEdgesPrecisionState source,
EscapingEdgesPrecisionState destination,
java.lang.String action) |
Modifier and Type | Method and Description |
---|---|
boolean |
equals(java.lang.Object other) |
java.lang.String |
getAction() |
EscapingEdgesPrecisionState |
getDestination() |
EscapingEdgesPrecisionState |
getNeighbor(EscapingEdgesPrecisionState v) |
EscapingEdgesPrecisionState |
getSource() |
int |
hashCode()
Hashcode of action edge is hashcode of the concatenated transition labels of the source state
prefix and the destination state prefix
|
java.lang.String |
toString() |
public EscapingEdgesPrecisionEdge(EscapingEdgesPrecisionState source, EscapingEdgesPrecisionState destination, java.lang.String action)
public EscapingEdgesPrecisionState getNeighbor(EscapingEdgesPrecisionState v)
public EscapingEdgesPrecisionState getSource()
public EscapingEdgesPrecisionState getDestination()
public java.lang.String getAction()
public java.lang.String toString()
toString
in class java.lang.Object
public int hashCode()
hashCode
in class java.lang.Object
public boolean equals(java.lang.Object other)
equals
in class java.lang.Object