Adding changes to cvs...
[repair.git] / Repair / RepairCompiler / MCC / IR / Quantifiers.java
1 package MCC.IR;
2
3 public interface Quantifiers {
4     public int numQuantifiers();
5     public Quantifier getQuantifier(int i);
6 }