public interface MergeOperator
MergeOperator
defines how (and whether) the older AbstractState
should be updated with the newly discovered AbstractState
.Modifier and Type | Method and Description |
---|---|
AbstractState |
merge(AbstractState abstractState1,
AbstractState abstractState2,
Precision precision)
The operator uses the
abstractState1 to weaken abstractState2 depending on precision . |
AbstractState merge(AbstractState abstractState1, AbstractState abstractState2, Precision precision)
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.