// This file was generated by DAJ from program.cd.

import edu.neu.ccs.demeter.*;

class Atom {
  Term context;
  Constant pred;
  Term_PCList args;
  Atom() { }
  Atom(Term context, Constant pred, Term_PCList args) {
    this.context = context;
    this.pred = pred;
    this.args = args;
  }
}