...

[repair.git] / Repair / RepairCompiler / MCC / IR / Quantifiers.java

package MCC.IR;

public interface Quantifiers {
    public int numQuantifiers();
    public Quantifier getQuantifier(int i);
}