MergeOperator (ProGuardCORE)

Type Parameters:

StateT - The type of the analyzed states.

All Known Implementing Classes:

JvmMemoryLocationMergeJoinOperator, MergeJoinOperator, MergeSepOperator
```
public interface MergeOperator<StateT extends AbstractState<StateT>>
```
The MergeOperator defines how (and whether) the older AbstractState should be updated with the newly discovered AbstractState.

Method Summary

All Methods Instance Methods Abstract Methods
Modifier and Type	Method	Description
`StateT`	`merge(StateT abstractState1, StateT abstractState2, Precision precision)`	The operator uses the `abstractState1` to weaken `abstractState2` depending on `precision`.

- Method Detail
  - merge
```
StateT merge(StateT abstractState1,
             StateT abstractState2,
             Precision precision)
```
    The operator uses the abstractState1 to weaken abstractState2 depending on precision. Thus, it is asymmetric regarding its first two parameters. E.g., return abstractState2 for no merging. To guarantee the correct behavior of the algorithm implementations must have no side effects.