| Interface | Description |
|---|---|
| AbstractControlFlowGraph<T extends AbstractBlockBase<T>> | |
| PrintableCFG | |
| PropertyConsumable |
| Class | Description |
|---|---|
| AbstractBlockBase<T extends AbstractBlockBase<T>> | |
| BlockMap<T> | |
| CFGVerifier | |
| DominatorOptimizationProblem<E extends Enum<E>,C> |
This class represents a dominator tree problem, i.e.
|
| Loop<T extends AbstractBlockBase<T>> | |
| PrintableDominatorOptimizationProblem<E extends Enum<E>,C extends PropertyConsumable> |