This package cotains interfaces that define the behavior of a flowgraph.

A flowgraph is a directed graph with a set of vertices, represented by the IBasicBlock interface, and a set of edges, represented by IBasicBlock.getSuccessors().