From 0d203898694b719aa4037fee4a93bca68d496cdd Mon Sep 17 00:00:00 2001 From: wangyingjian <wangyingjian1990@gmail.com> Date: Tue, 11 Jan 2022 15:33:44 +0100 Subject: [PATCH] Update README.md --- README.md | 13 ++++++++++--- 1 file changed, 10 insertions(+), 3 deletions(-) diff --git a/README.md b/README.md index 264749d..a411df7 100644 --- a/README.md +++ b/README.md @@ -10,6 +10,13 @@ A term stands for the function of variables or a variable or no variable(constan Therefore, we have binary relations: Compare return Left<right Equal return Left==right -Unary relations: -SelfComp return term<pre-setted number -SelfEq return term==pre-setted number \ No newline at end of file +////////////////////////////////////////////////////////////// +1.UnaryRelation is removed. +2.A new term ConstantNum:Term ::= <Num:double> is introduced for SelfCompare and SelfEq(now use Compare and Equal with the Right term as ConstantNum). +3.Term.eval() now has double as the type of return value. Therfore, Term.eval can be used by BinaryRelations for : eg. ID checking (int) or value checking (double). +4.Subsetof:BinaryRelation is introduced to cover the case if A is a subset of B. Term.Set() is used to pass String[](or maybe just pass the HashSet) to Subsetof.eval(). It is not instantiated in the Hanoi game. +5.Constraint.check(Pillar P0, Pillar P1, boolean turn) is now devide to +public boolean Constraint.oddTurn(Pillar P0, Pillar P1) and +public boolean Constraint.evenTurn(Pillar P0, Pillar P1). +6.Hanoi.present() is now named Hanoi.printResult(). +7. -- GitLab