aboutsummaryrefslogtreecommitdiffstats
path: root/subprojects
diff options
context:
space:
mode:
authorLibravatar Kristóf Marussy <marussy@mit.bme.hu>2024-09-22 15:50:16 +0200
committerLibravatar Kristóf Marussy <marussy@mit.bme.hu>2024-09-22 15:50:16 +0200
commitc00aaef4d7cd806d68657688d2ac371f4af375c3 (patch)
tree7da63249e7bc2f2f7831b4f98f158023e4f13acc /subprojects
parentdocs: reduce DLT scope to lower server load (diff)
downloadrefinery-main.tar.gz
refinery-main.tar.zst
refinery-main.zip
docs: fix code snippet orderingHEADmain
Diffstat (limited to 'subprojects')
-rw-r--r--subprojects/docs/src/docs/learn/tutorials/dlt.md11
1 files changed, 7 insertions, 4 deletions
diff --git a/subprojects/docs/src/docs/learn/tutorials/dlt.md b/subprojects/docs/src/docs/learn/tutorials/dlt.md
index ab4b83f0..1b447544 100644
--- a/subprojects/docs/src/docs/learn/tutorials/dlt.md
+++ b/subprojects/docs/src/docs/learn/tutorials/dlt.md
@@ -192,9 +192,12 @@ collaboratesWith(OrgB, OrgC).
192 192
193### 10. Scope declaration to control model size 193### 10. Scope declaration to control model size
194 194
195```refinery continue=derived try 195```refinery continue try
196scope node = 15..25, 196scope node = 15..60,
197 Channel += 3, 197 Node = 8..30,
198 OrderingNode = 4..15,
199 EndorsingNode = 4..15,
200 Channel = 3..*,
198 FabricNetwork = 1. 201 FabricNetwork = 1.
199``` 202```
200 203
@@ -202,7 +205,7 @@ scope node = 15..25,
202 205
203### 11. Simple propagation rule 206### 11. Simple propagation rule
204 207
205```refinery continue try 208```refinery continue=derived try
206propagation rule collaboratesWithSymmetric(Organization o1, Organization o2) <-> 209propagation rule collaboratesWithSymmetric(Organization o1, Organization o2) <->
207 collaboratesWith(o1, o2) 210 collaboratesWith(o1, o2)
208==> 211==>