From 5297413774245b2816ce0ac3d531395be9b87736 Mon Sep 17 00:00:00 2001
From: wangyingjian <wangyingjian1990@gmail.com>
Date: Tue, 11 Jan 2022 15:13:22 +0100
Subject: [PATCH] Update Constraints.jrag
---
src/main/jastadd/hanoi/Constraints.jrag | 8 +-------
1 file changed, 1 insertion(+), 7 deletions(-)
diff --git a/src/main/jastadd/hanoi/Constraints.jrag b/src/main/jastadd/hanoi/Constraints.jrag
index 8272ea7..94a087a 100644
--- a/src/main/jastadd/hanoi/Constraints.jrag
+++ b/src/main/jastadd/hanoi/Constraints.jrag
@@ -34,12 +34,6 @@ aspect Connectives{
eq Equal.eval(){
return this.getLeft().eval() - this.getRight().eval()==0;
}
- eq SelfEq.eval(){//has smallest disk on top
- return this.getTerm().eval()==1;
- }
- eq SelfComp.eval(){//has no disk on top
- return this.getTerm().eval()<0;
- }
public double Term.eval(){
return 0;
}
@@ -67,4 +61,4 @@ aspect Connectives{
String[] str=new String[]{};
return str;
}
-}
\ No newline at end of file
+}
--
GitLab