Skip to content
Snippets Groups Projects
Commit d27cadab authored by Yingjian Wang's avatar Yingjian Wang
Browse files

Update README.md

parent e86ee6d5
No related branches found
No related tags found
No related merge requests found
Show whitespace changes
Inline Side-by-side
Showing
with 33 additions and 32 deletions
README.md
+ 33
− 32
View file @ d27cadab
...@@ -11,6 +11,7 @@ Therefore, we have binary relations: ...@@ -11,6 +11,7 @@ Therefore, we have binary relations:
Compare return Left<right Compare return Left<right
Equal return Left==right Equal return Left==right
////////////////////////////////////////////////////////////// //////////////////////////////////////////////////////////////
1.UnaryRelation is removed. 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). 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).
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment