/**
 * Things that can be put in a priority queue and organized
 * by numeric priority.
 *
 * @author Samuel A. Rebelsky
 * @version 1.0 of April 2000
 */
public interface Prioritized {
  /** Get the priority of this thing. */
  public int getPriority();
} // interface Prioritized