Adding changes to cvs...

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

diff --git a/Repair/RepairCompiler/MCC/IR/Quantifiers.java b/Repair/RepairCompiler/MCC/IR/Quantifiers.java
new file mode 100755 (executable)
index 0000000..6e84e76
--- /dev/null
+++ b/Repair/RepairCompiler/MCC/IR/Quantifiers.java
@@ -0,0 +1,6 @@
+package MCC.IR;
+
+public interface Quantifiers {
+    public int numQuantifiers();
+    public Quantifier getQuantifier(int i);
+}