qilin.pta.toolkits.turner

Class TranEdge

java.lang.Object

qilin.pta.toolkits.turner.TranEdge

public class TranEdge
extends Object

Constructor Summary

Constructors

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

Method Summary

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

Methods inherited from class java.lang.Object

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

Constructor Detail

TranEdge

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

Method Detail

getSource

public Object getSource()

getTarget

public Object 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