Package qilin.pta.toolkits.conch

Class PathEdge

java.lang.Object

qilin.pta.toolkits.conch.PathEdge

public class PathEdge
extends Object

Constructor Summary

Constructors

Constructor	Description
PathEdge(PagNode srcNode, DFA.State srcState, PagNode tgtNode, DFA.State tgtState)

Method Summary

Modifier and Type	Method	Description
boolean	equals(Object obj)
PagNode	getSrcNode()
DFA.State	getSrcState()
PagNode	getTgtNode()
DFA.State	getTgtState()
int	hashCode()
String	toString()

Methods inherited from class java.lang.Object

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

Constructor Details

PathEdge

public PathEdge(PagNode srcNode,
 DFA.State srcState,
 PagNode tgtNode,
 DFA.State tgtState)

Method Details

getSrcNode

public PagNode getSrcNode()

getSrcState

public DFA.State getSrcState()

getTgtNode

public PagNode getTgtNode()

getTgtState

public DFA.State getTgtState()

hashCode

public int hashCode()

Overrides:

hashCode in class Object

equals

public boolean equals(Object obj)

Overrides:

equals in class Object

toString

public String toString()

Overrides:

toString in class Object