From 361699f78380da7e86969ec326cfdc7238f4a582 Mon Sep 17 00:00:00 2001
From: wangyingjian <wangyingjian1990@gmail.com>
Date: Tue, 11 Jan 2022 15:34:51 +0100
Subject: [PATCH] Update README.md

---
 README.md | 16 ++++++++++++----
 1 file changed, 12 insertions(+), 4 deletions(-)

diff --git a/README.md b/README.md
index a411df7..efac844 100644
--- a/README.md
+++ b/README.md
@@ -12,11 +12,19 @@ Compare return Left<right
 Equal return Left==right  
 //////////////////////////////////////////////////////////////
 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.
+
+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).
+
+Constraint.oddTurn(Pillar P0, Pillar P1) and
+
+Constraint.evenTurn(Pillar P0, Pillar P1).
+
 6.Hanoi.present() is now named Hanoi.printResult().
-7.
-- 
GitLab