From 8e9ca0c6f44bf86d1dba37f44da6479ba19e86d3 Mon Sep 17 00:00:00 2001 From: Shinya Sato Date: Tue, 1 Feb 2022 21:54:16 +0900 Subject: Update README.md --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'README.md') diff --git a/README.md b/README.md index 345c3ca..a44cd22 100644 --- a/README.md +++ b/README.md @@ -643,7 +643,7 @@ The symbol of addition, subtraction, multiplication, division, modulo are `+`, ` ### Interaction rules with expressions on attributes -In interaction rules, attributes that occur in the rule-agent parts are recognised by specifying variables with a modifier `int`, we call these *attribute variables*. **It is OK if we do not care about the Linear restriction for attributes values**, so we can use the same attribute variable as many times as you want. This is because these do not affect keeping the one-to-one connection among agent ports, whereas every ordinary name has to occur exactly twice in interaction rules. +In interaction rules, attributes that occur in the rule-agent parts are recognised by specifying variables with a modifier `int`, we call these *attribute variables*. **It is OK if we do not care about the Linear restriction for attributes variables**, so we can use the same attribute variable as many times as you want. This is because these do not affect keeping the one-to-one connection among agent ports, whereas every ordinary name has to occur exactly twice in interaction rules. * Example: Incrementor on an attribute: -- cgit v1.2.3