// Copyright 2003, Trustees of Indiana University
// Please see the license in the file ../LICENSE

// Buffer concept from BGL

public interface Buffer<Value> {
  void push(Value v);
  Value pop();
  boolean empty();
}