Generalize definition of SumExpr a little...Lets sum all elements of

[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..f9dcf2652b2872985ef4dad2ef149804768cccc1 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, Termination t);
+    abstract public Descriptor getDescriptor();
+    abstract public boolean inverted();
+    public boolean usesDescriptor(Descriptor rd) {
+       return false;}
 }