||This represents a PDGNode that has more than 1 dependent but is not
a loop header.
||This class represents a control flow graph which behaves like an ExceptionalUnitGraph and
BriefUnitGraph when there are no exception handling construct in the method; at the presence
of such constructs, the CFG is constructed from a brief graph by addition a concise representation
of the exceptional flow as well as START/STOP auxiliary nodes.
||This class implements a Program Dependence Graph as defined in
Ferrante, J., Ottenstein, K.
||This represents a loop in the PDG.
||Constructs a multi-headed dominator tree.
||This class defines a Node in the Program Dependence Graph.
||This represents a region of control dependence obtained by constructing a
program dependence graph.
||This class was originally designed to represent a weak region.
||This class computes the set of weak regions for a given method.