Repair/RepairCompiler/MCC/IR/Quantifier.java

   1 package MCC.IR;
   2
   3 import java.util.*;
   4
   5 public abstract class Quantifier {
   6
   7     public abstract Set getRequiredDescriptors();
   8
   9     public abstract void generate_open(CodeWriter writer);
  10 }