/***************************  CharKeller.java  ********************************/
/** Interface fuer den ADT CharKeller                                         */

public interface CharKeller extends Keller {
  public void push(char c);     // legt char auf den Keller
  public char ctop();           // liefert oberstes Kellerelement als char
}