Remove two files that were never actually used.

diff --git a/Repair/RepairCompiler/MCC/IR/ComparisonPredicate.java b/Repair/RepairCompiler/MCC/IR/ComparisonPredicate.java
deleted file mode 100755 (executable)
index 63390e9..0000000
--- a/Repair/RepairCompiler/MCC/IR/ComparisonPredicate.java
+++ /dev/null
@@ -1,63 +0,0 @@
-package MCC.IR;
-
-import java.util.*;
-
-public class ComparisonPredicate extends Predicate {
-
-    VarDescriptor quantifier;
-    RelationDescriptor relation;
-    Opcode opcode;
-    Expr expr;
-
-    public ComparisonPredicate(VarDescriptor quantifier, RelationDescriptor relation, Opcode opcode, Expr expr) {
-        if (quantifier == null || relation == null || opcode == null || expr == null) {
-            throw new IllegalArgumentException();
-        } else if (opcode != Opcode.EQ &&
-                   opcode != Opcode.NE &&
-                   opcode != Opcode.GT &&
-                   opcode != Opcode.GE &&
-                   opcode != Opcode.LT &&
-                   opcode != Opcode.LE) {
-            throw new IllegalArgumentException("invalid operator type");
-        }
-       
-        this.quantifier = quantifier;
-        this.relation = relation;
-        this.opcode = opcode;
-        this.expr = expr;
-    }
-
-    public Set getRequiredDescriptors() {
-        assert expr != null;
-        Set v = expr.getRequiredDescriptors();
-        v.add(relation);
-        return v;
-    }
-
-    public int[] getRepairs(boolean negated) {
-       return new int[] {AbstractRepair.MODIFYRELATION};
-    }
-
-    public void generate(CodeWriter writer, VarDescriptor vd) {
-        // get (first) value for quantifer.relation ... then do comparison with expr... 
-        // can this be maybe? i guess if quantifer.relation is empty
-
-        String rv = (VarDescriptor.makeNew("relval")).getSafeSymbol();
-        writer.outputline("int " + rv + " = " + relation.getSafeSymbol() + "_hash->get(" + quantifier.getSafeSymbol() + ");");
-
-        // #TBD# deal with maybe (catch exception?)
-
-        VarDescriptor ev = VarDescriptor.makeNew("exprval");
-        expr.generate(writer, ev);
-
-        writer.outputline("int " + vd.getSafeSymbol() + " = " + rv + opcode.toString() + ev.getSafeSymbol() + ";");       
-    }
-
-}
-    
-
-
-
-
-
-

diff --git a/Repair/RepairCompiler/MCC/IR/SizeofPredicate.java b/Repair/RepairCompiler/MCC/IR/SizeofPredicate.java
deleted file mode 100755 (executable)
index 4d375ac..0000000
--- a/Repair/RepairCompiler/MCC/IR/SizeofPredicate.java
+++ /dev/null
@@ -1,72 +0,0 @@
-package MCC.IR;
-
-import java.util.*;
-
-public class SizeofPredicate extends Predicate {
-   
-    SetExpr setexpr;
-    Opcode opcode;
-    IntegerLiteralExpr cardinality;
-
-    public SizeofPredicate(SetExpr setexpr, Opcode opcode, IntegerLiteralExpr cardinality) {
-        if (setexpr == null || opcode == null || cardinality == null) {
-            throw new IllegalArgumentException();
-        } else if (opcode != Opcode.EQ &&
-                   opcode != Opcode.GE &&
-                   opcode != Opcode.LE) {
-            throw new IllegalArgumentException("invalid operator type");
-        }
-
-        this.setexpr = setexpr;
-        this.opcode = opcode;
-        this.cardinality = cardinality;
-    }
-
-    public int[] getRepairs(boolean negated) {
-       if (setexpr instanceof ImageSetExpr) {
-           if (opcode==Opcode.EQ)
-               return new int[] {AbstractRepair.ADDTORELATION,
-                                     AbstractRepair.REMOVEFROMRELATION};
-           if (((opcode==Opcode.GE)&&!negated)||
-               ((opcode==Opcode.LE)&&negated))
-               return new int[]{AbstractRepair.ADDTORELATION};
-           else
-               return new int[]{AbstractRepair.REMOVEFROMRELATION};
-       } else {
-           if (opcode==Opcode.EQ)
-               return new int[] {AbstractRepair.ADDTOSET,
-                                     AbstractRepair.REMOVEFROMSET};
-
-           if (((opcode==Opcode.GE)&&!negated)||
-               ((opcode==Opcode.LE)&&negated))
-               return new int[] {AbstractRepair.ADDTOSET};
-           else 
-               return new int[] {AbstractRepair.REMOVEFROMSET};
-       }
-    }
-
-    public Set getRequiredDescriptors() {
-        assert setexpr != null;
-        Set v = setexpr.getRequiredDescriptors();
-        // v.add(cardinality.getRequiredDescriptors()); // will be null
-        return v;
-    }
-     
-    public void generate(CodeWriter writer, VarDescriptor dest) {
-
-        // #TBD#: generate the set which should generate a name (variable) which is the pointer 
-        // to a hash table iterator that we can dereference get something blah blah blah
-
-        VarDescriptor size = VarDescriptor.makeNew("size");
-        setexpr.generate_size(writer, size);
-        
-        writer.outputline("int " + dest.getSafeSymbol() + " = " + size.getSafeSymbol() + opcode.toString() + cardinality.getValue() + ";");                       
-    }
-       
-}
-    
-
-
-
-
-