public class CFGVerifier extends Object
Constructor and Description |
---|
CFGVerifier() |
Modifier and Type | Method and Description |
---|---|
static <T extends AbstractBlockBase<T>,C extends AbstractControlFlowGraph<T>> |
verify(C cfg) |
public CFGVerifier()
public static <T extends AbstractBlockBase<T>,C extends AbstractControlFlowGraph<T>> boolean verify(C cfg)