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)