From ccc23e29f8da43156f487dd5cdb71133b2ffb37a Mon Sep 17 00:00:00 2001
From: Yingjian Wang <yingjian.wang@mailbox.tu-dresden.de>
Date: Wed, 19 Jan 2022 00:26:51 +0100
Subject: [PATCH] Upload New File
---
src/main/jastadd/hanoi/Realtion.jrag | 22 ++++++++++++++++++++++
1 file changed, 22 insertions(+)
create mode 100644 src/main/jastadd/hanoi/Realtion.jrag
diff --git a/src/main/jastadd/hanoi/Realtion.jrag b/src/main/jastadd/hanoi/Realtion.jrag
new file mode 100644
index 0000000..86e5eb0
--- /dev/null
+++ b/src/main/jastadd/hanoi/Realtion.jrag
@@ -0,0 +1,22 @@
+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
--
GitLab