net.automatalib.util.automata.conformance

Interface StrictPriorityQueue.MergeOperation<E>

Type Parameters:

E - element type

Enclosing class:

StrictPriorityQueue<E>

public static interface StrictPriorityQueue.MergeOperation<E>

The merge operation two perform on two equally-ranked elements.

Author:

Malte Isberner

Method Summary

Modifier and Type	Method and Description
E	merge(E oldObject, E newObject) Merges the old element and the new element into a replacement element.

Method Detail

merge

E merge(E oldObject,
        E newObject)

Merges the old element and the new element into a replacement element.

Implementations can assume that cmp.compare(oldObject, newObject) == 0 holds for the comparator cmp specified in StrictPriorityQueue.StrictPriorityQueue(Comparator, MergeOperation). In turn, they must guarantee that also cmp.compare(result, oldObject) == 0 holds for the return value result.

Parameters:

oldObject - the old element

newObject - the new element

Returns:

the replacement element