|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public interface ReversibleGraph
DirectedGraph which can be reversed and re-reversed.
Method Summary | |
---|---|
boolean |
isReversed()
Returns true if the graph is now reversed from its original state at creation. |
ReversibleGraph |
reverse()
Reverse the edges of the current graph and swap head and tail nodes. |
Methods inherited from interface soot.toolkits.graph.MutableDirectedGraph |
---|
addEdge, addNode, containsEdge, containsNode, getNodes, removeEdge, removeNode |
Methods inherited from interface soot.toolkits.graph.DirectedGraph |
---|
getHeads, getPredsOf, getSuccsOf, getTails, iterator, size |
Method Detail |
---|
boolean isReversed()
ReversibleGraph reverse()
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |