Package qilin.pta.toolkits.conch

Class TranEdge

java.lang.Object

qilin.pta.toolkits.conch.TranEdge

public class TranEdge
extends Object

Constructor Summary

Constructors

Constructor	Description
TranEdge(Node s, Node d, DFA.TranCond tran)

Method Summary

Modifier and Type	Method	Description
boolean	equals(Object o)
Node	getSource()
Node	getTarget()
DFA.TranCond	getTranCond()
int	hashCode()
String	toString()

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Details

TranEdge

public TranEdge(Node s,
 Node d,
 DFA.TranCond tran)

Method Details

getSource

public Node getSource()

getTarget

public Node getTarget()

getTranCond

public DFA.TranCond getTranCond()

equals

public boolean equals(Object o)

Overrides:

equals in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object

toString

public String toString()

Overrides:

toString in class Object