5 public abstract class Quantifier {
6 public abstract Set getRequiredDescriptors();
8 public abstract void generate_open(CodeWriter writer);
10 public abstract int generate_worklistload(CodeWriter writer, int offset);
11 public abstract int generate_workliststore(CodeWriter writer, int offset);
12 public abstract void generate_open(CodeWriter writer, String type,int number, String left,String right);