diff --git a/src/main/jastadd/hanoi/Constraints.jrag b/src/main/jastadd/hanoi/Constraints.jrag index 8272ea735d1e34c718d097790ec331908e9610aa..94a087a30ca26a02b30d5dec5b31c9143bfe4d45 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 +}