# Package accrue.analysis.domination

- Class Summary
  Class | Description
  --- | ---
  DominationAnalysisFactory |
  DominationAnalysisUtil |
  DominationPass |
  DominatorDataFlow | This PreciseDataFlow finds dominators in the control flow graph.
  DominatorGoal |
  NonFatalPostDominatorDataFlow | This class performs a postdominator analysis identical to its parent except that it ignores exceptional control flow edges that are fatal.
  NonFatalPostDominatorGoal |
  PostDominatorDataFlow | This PreciseDataFlow finds postdominators.
  PostDominatorGoal |

- Enum Summary
  Enum | Description
  --- | ---
  DominationPass.Kind |