public class ReverseDepthFirstSearch extends ReverseDepthFirstSearch<CFG,Edge,BasicBlock>
CFG
BLACK, DEBUG, GRAY, WHITE
BACK_EDGE, CROSS_EDGE, FORWARD_EDGE, TREE_EDGE, UNKNOWN_EDGE
Constructor and Description |
---|
ReverseDepthFirstSearch(CFG cfg)
Constructor.
|
Modifier and Type | Method and Description |
---|---|
protected BasicBlock |
getNextSearchTreeRoot()
Choose the next search tree root.
|
getSource, getTarget, outgoingEdgeIterator
containsCycle, getColor, getDFSEdgeType, getDiscoveryTime, getFinishTime, getFinishTimeList, search, setSearchTreeCallback, setVertexChooser, topologicalSortIterator, unvisitedVertices, visitMe
public ReverseDepthFirstSearch(CFG cfg)
cfg
- the CFG to perform the reverse depth first search onprotected BasicBlock getNextSearchTreeRoot()
AbstractDepthFirstSearch
getNextSearchTreeRoot
in class AbstractDepthFirstSearch<CFG,Edge,BasicBlock>
Copyright © 2003–2015. All rights reserved.