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

import edu.neu.ccs.demeter.*;

class Clause_List extends java.util.ArrayList {
  Clause_List() { }
  private static Clause _repeatedPart;
  public Object set(int index, Object element) {
    _repeatedPart = (Clause) element;
    return super.set(index, element);
  }
  public void add(int index, Object element) {
    _repeatedPart = (Clause) element;
    super.add(index, element);
  }
}