STORE.pizza

public interface STORE<T> {

   boolean isEmpty();

   void add(T o);

   void addAll(T[] a);

   T remove();
}


On to ORDER.pizza Part of Priority Queues mit Pizza
Andreas Podelski, Abdelwaheb Ayari, Hubert Baumeister
February 25, 1997

Imprint | Data Protection