Commit graph

63 commits

Author SHA1 Message Date
Sergiu Ivanov
d24dadd4cd example: Stage all the figures. 2020-11-12 22:56:53 +01:00
Sergiu Ivanov
cde6ee30fa networks: build-interaction-graph → build-syntactic-interaction-graph.
The interaction graph is *not* usually defined in this way.
2020-11-11 15:51:24 +01:00
Sergiu Ivanov
af581f91df example: Illustrate build-reduced-state-graph. 2020-11-11 00:37:12 +01:00
Sergiu Ivanov
dbbfc74eaf rs: Don't implicitly complete all context sequences with empty contexts. 2020-11-09 23:13:24 +01:00
Sergiu Ivanov
59c7108510 networks: Add and illustrate sbn-interaction-graph. 2020-11-08 22:56:46 +01:00
Sergiu Ivanov
bc9a2bd5f8 networks: Add and illustrate pretty-print-tbn-interaction-graph. 2020-11-08 22:30:29 +01:00
Sergiu Ivanov
7af1bb8d79 networks: Add tbn-interaction-graph and explain in example. 2020-11-08 20:29:00 +01:00
Sergiu Ivanov
a7a1ad49a1 example: Illustrate printing TBN and SBN to Org tables. 2020-11-04 00:07:08 +01:00
Sergiu Ivanov
e79fef9118 networks: Add build-tbn-state-graph and use it in example. 2020-10-23 00:17:36 +02:00
Sergiu Ivanov
485b859f34 example: Show an example of read-org-sbn. 2020-10-22 10:39:27 +02:00
Sergiu Ivanov
20b3357910 example: Show how to build state graphs of TBN. 2020-10-18 23:10:43 +02:00
Sergiu Ivanov
848142aa61 example: Explain new SBF-related additions. 2020-10-14 00:20:34 +02:00
Sergiu Ivanov
f37155fd3e networks: Add tbf/state-tabulate*. 2020-10-12 00:47:54 +02:00
Sergiu Ivanov
7b3b31b211 networks: Add print-org-tbfs/state. 2020-10-12 00:24:10 +02:00
Sergiu Ivanov
f7ce78363e example: Fixes in the presentation of TBN/TBF. 2020-10-12 00:13:08 +02:00
Sergiu Ivanov
f932841de3 example: Reference the section on TBN from standalone TBF. 2020-10-11 23:25:06 +02:00
Sergiu Ivanov
f06c5bc8ff example: Start explaining tbf/state and TBN. 2020-10-11 23:22:37 +02:00
Sergiu Ivanov
63029af82f example: Add Passing values between code blocks. 2020-07-20 23:57:16 +02:00
Sergiu Ivanov
0ac14e446c example: Typo. 2020-07-20 18:05:03 +02:00
Sergiu Ivanov
e0329e2519 example: Add some text about SBFs. 2020-07-15 00:01:43 +02:00
Sergiu Ivanov
b1d9b5193e example: Add the section on TBF. 2020-07-12 00:31:24 +02:00
Sergiu Ivanov
e654123a39 example: Illustrate tabulate*/boolean. 2020-05-31 23:42:16 +02:00
Sergiu Ivanov
45b7604c51 example: Fix the usage of tabulate. 2020-05-31 23:41:56 +02:00
Sergiu Ivanov
28a77d1e20 example: Mention dds/functions. 2020-05-28 00:30:27 +02:00
Sergiu Ivanov
b9109faa6e example: Update to a picture. 2020-05-23 23:53:04 +02:00
Sergiu Ivanov
1166132362 example: Fix the prologue to correctly require dds. 2020-05-23 23:52:32 +02:00
Sergiu Ivanov
76bff909e9 example: Reran some code blocks in the section on reaction systems. 2020-05-16 00:18:36 +02:00
Sergiu Ivanov
c5d2ff629c Explain how to install dds locally and use shorter require statements. 2020-05-16 00:01:36 +02:00
Sergiu Ivanov
32b2e41634 example: Explain how to read back and explore networks from Org tables. 2020-05-08 23:33:43 +02:00
Sergiu Ivanov
cdca40eb40 example: Random networks: unorg -> unorgv. 2020-03-25 23:29:01 +01:00
Sergiu Ivanov
319b15d956 networks: Remove ppsg and ppsgb. 2020-03-25 23:15:37 +01:00
Sergiu Ivanov
e8e3a71d87 networks: Remove nn. 2020-03-25 23:05:28 +01:00
Sergiu Ivanov
dfb882d891 networks: Remove st and stb. 2020-03-25 00:31:23 +01:00
Sergiu Ivanov
a8a981098f utils: unorg -> unorgv 2020-03-25 00:16:29 +01:00
Sergiu Ivanov
c4af42a2f6 example: Update a call to build-boolean-signed-interaction-graph. 2020-03-24 23:59:11 +01:00
Sergiu Ivanov
8bc2a582a6 utils: Remove sgfy. 2020-03-24 23:47:20 +01:00
Sergiu Ivanov
14688a9bae rs: Remove macros, update example. 2020-03-24 23:22:20 +01:00
Sergiu Ivanov
b79bae9d67 example: Update the randomly generated network. 2020-03-22 21:03:20 +01:00
Sergiu Ivanov
b38bebb67b example: Add some examples for random functions and networks. 2020-03-22 20:38:32 +01:00
Sergiu Ivanov
5330336b6d networks: Use '+ and '- as labels in the signed interaction graph. 2020-03-22 20:26:04 +01:00
Sergiu Ivanov
e7b35a451c Add the example on tabulating Boolean networks. 2020-03-22 20:22:23 +01:00
Sergiu Ivanov
32d117a155 example: Network functions -> Tabulating functions and networks. 2020-03-22 19:36:07 +01:00
Sergiu Ivanov
572bef8a7b networks: Add tabulate and illustrate it in example. 2020-03-15 16:12:35 +01:00
Sergiu Ivanov
f005d77516 example: Explain setting network variables to constants. 2020-03-04 23:51:11 +01:00
Sergiu Ivanov
f8dc65df0a example: Promote Reaction Systems to top-level heading. 2020-03-04 18:21:20 +01:00
Sergiu Ivanov
2437dec620 example: Explain why states for reaction systems include full context sequences. 2020-03-03 01:03:33 +01:00
Sergiu Ivanov
cbdfdabe7a example: Illustrate building interactive processes. 2020-03-03 01:01:21 +01:00
Sergiu Ivanov
0d73b33ff3 example: Some updates to the state graph of the reaction system. 2020-03-03 01:01:00 +01:00
Sergiu Ivanov
227dfff14a example: Illustrate state graphs for reaction systems. 2020-03-03 00:25:26 +01:00
Sergiu Ivanov
c0d36a34a7 rs: Add read-ctx and illustrate it in example.org. 2020-03-02 23:11:26 +01:00