diff options
| author | Shinya Sato <shinnya.sato@gmail.com> | 2022-02-01 21:54:16 +0900 |
|---|---|---|
| committer | Shinya Sato <shinnya.sato@gmail.com> | 2022-02-01 21:54:16 +0900 |
| commit | 8e9ca0c6f44bf86d1dba37f44da6479ba19e86d3 (patch) | |
| tree | 92051fab5df55abc9685496cc84548f8752df97e /README.md | |
| parent | 403d01b6bd50e6269ccb200d4142bc569ac9c473 (diff) | |
| download | inpla-8e9ca0c6f44bf86d1dba37f44da6479ba19e86d3.tar.gz inpla-8e9ca0c6f44bf86d1dba37f44da6479ba19e86d3.zip | |
Update README.md
Diffstat (limited to '')
| -rw-r--r-- | README.md | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -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: |