MergeOperator (ProGuardCORE)

All Known Implementing Classes:

JvmMemoryLocationMergeJoinOperator, MergeJoinOperator, MergeSepOperator
```
public interface MergeOperator
```
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
`AbstractState`	`merge(AbstractState abstractState1, AbstractState abstractState2, Precision precision)`	The operator uses the `abstractState1` to weaken `abstractState2` depending on `precision`.

- Method Detail
  - merge
```
AbstractState merge(AbstractState abstractState1,
                    AbstractState 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.