DominatorOptimizationProblem

Constructors
Modifier	Constructor and Description
`protected`	`DominatorOptimizationProblem(Class<E> flagType, AbstractControlFlowGraph<?> cfg)`

All Methods Instance Methods Concrete Methods
Modifier and Type	Method and Description
`boolean`	`get(E flag, AbstractBlockBase<?> block)` Checks whether a flag is set for a block.
`AbstractBlockBase<?>`	`getBlockForId(int id)`
`AbstractBlockBase<?>[]`	`getBlocks()`
`C`	`getCost(AbstractBlockBase<?> block)` Returns the cost object associated with `block`.
`Set<E>`	`getFlags()` Returns the `Set` of flags that can be set for this problem.
`Stream<E>`	`getFlagsForBlock(AbstractBlockBase<?> block)` Returns a `Stream` of flags associated with `block`.
`String`	`getName(E flag)` Returns the name of a flag.
`void`	`set(E flag, AbstractBlockBase<?> block)` Sets a flag for a block.
`void`	`setCost(AbstractBlockBase<?> block, C cost)` Sets the cost for a `block`.
`void`	`setDominatorPath(E flag, AbstractBlockBase<?> block)` Sets `flag` for all blocks along the dominator path from `block` to the root until a block it finds a block where `flag` is already set.
`Stream<? extends AbstractBlockBase<?>>`	`stream(E flag)` Returns a Stream of blocks for which `flag` is set.

protected DominatorOptimizationProblem(Class<E> flagType,
                                       AbstractControlFlowGraph<?> cfg)

public final AbstractBlockBase<?>[] getBlocks()

public final AbstractBlockBase<?> getBlockForId(int id)

public final void set(E flag,
                      AbstractBlockBase<?> block)

Sets a flag for a block.

public final boolean get(E flag,
                         AbstractBlockBase<?> block)

Checks whether a flag is set for a block.

public final Stream<? extends AbstractBlockBase<?>> stream(E flag)

Returns a Stream of blocks for which flag is set.

getCost
```
public final C getCost(AbstractBlockBase<?> block)
```
Returns the cost object associated with block. Might return null if not set.

public final void setCost(AbstractBlockBase<?> block,
                          C cost)

Sets the cost for a block.

public final void setDominatorPath(E flag,
                                   AbstractBlockBase<?> block)

Sets flag for all blocks along the dominator path from block to the root until a block it finds a block where flag is already set.

public final Stream<E> getFlagsForBlock(AbstractBlockBase<?> block)

Returns a Stream of flags associated with block.

getFlags
```
public final Set<E> getFlags()
```
Returns the Set of flags that can be set for this problem.

Class DominatorOptimizationProblem<E extends Enum<E>,C>