Die Datei: Atom.java

abstract
class Atom extends SExpr {
  // das Praedikat isAtom muss hier redefiniert werden
  public
  SExpr isAtom() {
    return
      t;
  }
}

Die Quelle: Atom.java

Letzte Änderung: 06.12.2016