This package contains samples of priority queues. The only purpose of these is to demonstrate a bug in jmlc.

These specifications and implementations were originally written by Albert L. Baker, and have since been adapted by Gary T. Leavens and others.