Constructor.
Parameters: cfg - the CFG to compute dominator relationships for Parameters: rdfs - the ReverseDepthFirstSearch on the CFG Parameters: dfs - the DepthFirstSearch on the CFG Parameters: edgeChooser - EdgeChooser to choose which Edges to consider significant
Constructor.
Parameters: cfg - the CFG to compute dominator relationships for Parameters: rdfs - the ReverseDepthFirstSearch on the CFG Parameters: dfs - the DepthFirstSearch on the CFG Parameters: ignoreExceptionEdges - true if exception edges should be ignored