MergeSepOperator (ProGuardCORE)

java.lang.Object
- proguard.analysis.cpa.defaults.MergeSepOperator

All Implemented Interfaces:

MergeOperator
```
public final class MergeSepOperator
extends java.lang.Object
implements MergeOperator
```
This MergeOperator does not weaken the input AbstractState.

Constructor Summary

Constructors
Constructor Description

MergeSepOperator()

Method Summary

All Methods Instance Methods Concrete 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`.

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

- Constructor Detail
  - MergeSepOperator
```
public MergeSepOperator()
```
- Method Detail
  - merge
```
public AbstractState merge(AbstractState abstractState1,
                           AbstractState abstractState2,
                           Precision precision)
```
    Description copied from interface: MergeOperator
    
    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.
    
    Specified by:
    
    merge in interface MergeOperator