1package ds.interfaces;
2
3
4
5
6import java.util.Iterator;
7
8import ds.util.Invariant;
9import ds.util.Function2;
10
11import ds.util.P;
12import ds.util.V;
13import ds.util.PV;
14
15public
16 interface PriorityQueue
17 extends Iterable<PV>,
18 Invariant {
19
20 boolean isEmpty();
21 int size();
22 PV findMin();
23 PriorityQueue insert(P p, V v);
24 PriorityQueue removeMin();
25 PriorityQueue copy();
26
27
28
29
30
31}