X-Git-Url: http://plrg.eecs.uci.edu/git/?p=repair.git;a=blobdiff_plain;f=Repair%2FRepairCompiler%2FMCC%2FIR%2FImageSetExpr.java;fp=Repair%2FRepairCompiler%2FMCC%2FIR%2FImageSetExpr.java;h=66437e3e9b82885b79468303ba8eeb80a6258b80;hp=c7f507965e822624f2a97430e90ce28c3d10b787;hb=818e376c5aeeeb458febe75f3d6273a94f3bcf7d;hpb=08fd782ecea5e9ce28ad24debbcb650c217e6fab

diff --git a/Repair/RepairCompiler/MCC/IR/ImageSetExpr.java b/Repair/RepairCompiler/MCC/IR/ImageSetExpr.java
index c7f5079..66437e3 100755
--- a/Repair/RepairCompiler/MCC/IR/ImageSetExpr.java
+++ b/Repair/RepairCompiler/MCC/IR/ImageSetExpr.java
@@ -22,6 +22,10 @@ public class ImageSetExpr extends SetExpr {
         this.inverse = inverse;
     }
 
+    public boolean inverted() {
+	return inverse;
+    }
+
     public VarDescriptor getVar() {
         return vd;
     }
@@ -30,6 +34,14 @@ public class ImageSetExpr extends SetExpr {
         return rd;
     }
 
+    public Descriptor getDescriptor() {
+	return rd;
+    }
+
+    public boolean usesDescriptor(RelationDescriptor rd) {
+	return (rd==this.rd);
+    }
+
     public Set getInversedRelations() {
         HashSet set = new HashSet();
         if (inverse) {