updates

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

diff --git a/Repair/RepairCompiler/MCC/IR/Predicate.java b/Repair/RepairCompiler/MCC/IR/Predicate.java
index 7ab2179bb250a7d47d7800213c68586c0a7bdcf0..cb9aa39f56a3b2d33db1873243cee55fc0864662 100755 (executable)
--- a/Repair/RepairCompiler/MCC/IR/Predicate.java
+++ b/Repair/RepairCompiler/MCC/IR/Predicate.java
@@ -7,6 +7,10 @@ public abstract class Predicate extends LogicStatement {
     public DNFConstraint constructDNF() {
        return new DNFConstraint(this);
     }
-    public int[] getRepairs(boolean negated) {}
+    abstract public int[] getRepairs(boolean negated);
+    abstract public Descriptor getDescriptor();
+    abstract public boolean inverted();
+    public boolean usesDescriptor(RelationDescriptor rd) {
+       return false;}
 }