ORDER.pizza

public interface ORDER<T> {

   // compare is supposed to return -1 if o is smaller than this, 1 
   // if greater and 0 if neither one is smaller. This may mean equality but
   // also not comparable.

   int compare(T o);
}


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

Imprint | Data Protection