/**
  * Copyright (c): Uwe Schmidt, FH Wedel
  *
  * You may study, modify and distribute this source code
  * FOR NON-COMMERCIAL PURPOSES ONLY.
  * This copyright message has to remain unchanged.
  *
  * Note that this document is provided 'as is',
  * WITHOUT WARRANTY of any kind either expressed or implied.
  */

package ds.interfaces;

/** Simple interface for maps
 */

import java.util.Iterator;

import ds.util.Invariant;
import ds.util.Function2;

import ds.util.P;  // example class for priorities
import ds.util.V;  // example class for values
import ds.util.PV; // priority-value pair

public
    interface PriorityQueue
    extends Iterable<PV>,
	    Invariant {

    boolean       isEmpty();
    int           size();
    PV            findMin();
    PriorityQueue insert(P p, V v);
    PriorityQueue removeMin();
    PriorityQueue copy();

    // inherited

    // public Iterator<PV> iterator();
    // public inv();
}