diff --git a/README.md b/README.md index a411df7158649f4cc6fd97092fdca3a12757b7ab..efac8440f64211d47b64ea2f9f7c36199fd8f393 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.