Fixed transitive closure computation.

[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 6c1539e2fe05a344efbe6a51464d658ec19098d1..f9dcf2652b2872985ef4dad2ef149804768cccc1 100755 (executable)
--- a/Repair/RepairCompiler/MCC/IR/Predicate.java
+++ b/Repair/RepairCompiler/MCC/IR/Predicate.java
@@ -4,5 +4,13 @@ import java.util.*;
 
 public abstract class Predicate extends LogicStatement {
     protected Predicate() {}
+    public DNFConstraint constructDNF() {
+       return new DNFConstraint(this);
+    }
+    abstract public int[] getRepairs(boolean negated, Termination t);
+    abstract public Descriptor getDescriptor();
+    abstract public boolean inverted();
+    public boolean usesDescriptor(Descriptor rd) {
+       return false;}
 }