Uses of Interface
net.automatalib.util.automata.conformance.StrictPriorityQueue.MergeOperation

Packages that use StrictPriorityQueue.MergeOperation

Package	Description
net.automatalib.util.automata.conformance

Uses of StrictPriorityQueue.MergeOperation in net.automatalib.util.automata.conformance

Constructors in net.automatalib.util.automata.conformance with parameters of type StrictPriorityQueue.MergeOperation

Constructor and Description
StrictPriorityQueue(Comparator<? super E> comparator, StrictPriorityQueue.MergeOperation<E> mergeOp) Constructor.