Class Path
java.lang.Object
com.ibm.wala.util.intset.SimpleIntVector
com.ibm.wala.util.graph.Path
- All Implemented Interfaces:
IntVector
,Serializable
We represent a path in a numbered graph as a vector of integers <i_1, ..., i_n> where node
i_1 is the src and node i_n is the sink
- See Also:
-
Method Summary
Methods inherited from class com.ibm.wala.util.intset.SimpleIntVector
get, getMaxIndex, performVerboseAction, set
-
Method Details
-
make
-
prepend
-
hashCode
-
equals
-
size
public int size() -
toString
-