public class NegativeGraphFilter<T extends IBasicBlock<?>> extends Object implements EdgeFilter<T>
Constructor and Description |
---|
NegativeGraphFilter(Graph<T> deleted) |
Modifier and Type | Method and Description |
---|---|
boolean |
hasExceptionalEdge(T src,
T dst)
This method must return true if and only if an exceptional edge from src to dst exists in the original CFG and should be kept
for the pruned version of that CFG.
|
boolean |
hasNormalEdge(T src,
T dst)
This method must return true if and only if a normal edge from src to dst exists in the original CFG and should be kept for the
pruned version of that CFG.
|
public boolean hasExceptionalEdge(T src, T dst)
EdgeFilter
hasExceptionalEdge
in interface EdgeFilter<T extends IBasicBlock<?>>
public boolean hasNormalEdge(T src, T dst)
EdgeFilter
hasNormalEdge
in interface EdgeFilter<T extends IBasicBlock<?>>