Upload New File

src/main/jastadd/hanoi/Realtion.jrag

+import java.util.*;
+aspect Relation{
+    uncache Relation.eval();
+    syn boolean Relation.eval();
+    eq Subsetof.eval(){
+        Set left=new HashSet<>(); 
+        for(String element : this.getLeft().Set()){ 
+            left.add(element);
+        }
+        Set right=new HashSet<>(); 
+        for(String element : this.getRight().Set()){ 
+            right.add(element);
+        }
+        return right.containsAll(left);
+    }
+    eq Compare.eval(){
+        return (this.getLeft().eval() - this.getRight().eval())<0;
+    }
+    eq Equal.eval(){
+        return this.getLeft().eval() - this.getRight().eval()==0;
+    }
+}
\ No newline at end of file