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