Denotes the kind of control flow graph (CFG).
CFG without dataflow information.
CFG without function definition vertices and without dataflow information.
A CFG version that is much quicker and does not apply any simplifications or dataflow information.
CFG with dataflow information.
Denotes the kind of control flow graph (CFG).