/**
 * A Counter that supports decrementing.
 *
 * @author YOUR NAME HERE
 */
public class DecrementableCounter
  extends BasicCounter
{

  /**
   * Create a new decrementable counter starting from the specified value.
   *
   * @param start Specified value for this counter to start counting from
   */
  public DecrementableCounter(int start)
  {
    super(start);
  } // DecrementableCounter(int)

} // class DecrementableCounter