/**
  * Copyright (c): Uwe Schmidt, FH Wedel
  *
  * You may study, modify and distribute this source code
  * FOR NON-COMMERCIAL PURPOSES ONLY.
  * This copyright message has to remain unchanged.
  *
  * Note that this document is provided 'as is',
  * WITHOUT WARRANTY of any kind either expressed or implied.
  */

abstract
class Atom extends SExpr {

  // das Praedikat isAtom muss hier redefiniert werden

  public
  SExpr isAtom() {
    return
      t;
  }
}