Sergiu Ivanov
|
2b60b23bf1
|
networks: Add group-truth-table-by-nai.
|
2020-11-08 23:31:11 +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
|
000c2eeba7
|
networks: Fix the test for print-org-sbn.
|
2020-11-05 23:23:48 +01:00 |
|
Sergiu Ivanov
|
a7a1ad49a1
|
example: Illustrate printing TBN and SBN to Org tables.
|
2020-11-04 00:07:08 +01:00 |
|
Sergiu Ivanov
|
79d3ab1ea6
|
networks: Add print-org-sbn.
|
2020-11-04 00:06:48 +01:00 |
|
Sergiu Ivanov
|
ed44d3666c
|
utils: Streamline multi-split-at.
|
2020-11-03 23:58:26 +01:00 |
|
Sergiu Ivanov
|
c4a5327b4b
|
networks: Fix the tests for print-org-tbn.
|
2020-11-02 23:05:05 +01:00 |
|
Sergiu Ivanov
|
af5a9d07a9
|
networks: Add print-org-tbn.
|
2020-11-02 17:58:45 +01:00 |
|
Sergiu Ivanov
|
0edda89642
|
networks: Add compact-tbn.
|
2020-11-02 00:08:49 +01:00 |
|
Sergiu Ivanov
|
722b45d098
|
utils: Remove hash-filter.
Use for/hash with #:when or #:unless instead.
|
2020-11-01 23:43:23 +01:00 |
|
Sergiu Ivanov
|
2a0cfb4dcc
|
network,compact-tbf: Use for/hash instead of hash-filter.
|
2020-11-01 23:42:51 +01:00 |
|
Sergiu Ivanov
|
f7e44df117
|
networks: Add compact-tbf.
|
2020-10-31 00:48:00 +01:00 |
|
Sergiu Ivanov
|
a00f21ad18
|
utils,hash-filter: Say that how the comparison predicate of the result is determined.
|
2020-10-31 00:27:16 +01:00 |
|
Sergiu Ivanov
|
73756d8974
|
utils: Add hash-filter.
|
2020-10-31 00:19:38 +01:00 |
|
Sergiu Ivanov
|
208dc12060
|
networks: Add normalize-tbn.
|
2020-10-24 23:51:56 +02:00 |
|
Sergiu Ivanov
|
11ecbf84dc
|
networks: Add normalized-tbn?.
|
2020-10-24 23:15:13 +02: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
|
2dd38fa4dc
|
networks: Add read-org-sbn.
|
2020-10-22 00:59:58 +02:00 |
|
Sergiu Ivanov
|
a3f3a5616d
|
networks: Factor parse-org-tbn out from read-org-tbn.
|
2020-10-22 00:52:06 +02:00 |
|
Sergiu Ivanov
|
20b3357910
|
example: Show how to build state graphs of TBN.
|
2020-10-18 23:10:43 +02:00 |
|
Sergiu Ivanov
|
b3d2ed94ec
|
networks: Add build-full-01-state-graph and build-full-01-state-graph-annotated.
|
2020-10-18 22:57:08 +02:00 |
|
Sergiu Ivanov
|
afa84d00b5
|
networks: Add build-all-01-states.
|
2020-10-18 22:52:45 +02:00 |
|
Sergiu Ivanov
|
85feab230f
|
networks: Add make-01-domains.
|
2020-10-18 22:52:05 +02:00 |
|
Sergiu Ivanov
|
5f80bd0443
|
networks: Add read-org-tbn.
|
2020-10-17 23:51:51 +02:00 |
|
Sergiu Ivanov
|
7555db41ef
|
networks, tbn->network: Add tests for SBN.
|
2020-10-17 00:55:20 +02:00 |
|
Sergiu Ivanov
|
218ecfc009
|
networks: Add sbn? and make-sbn.
|
2020-10-17 00:45:40 +02:00 |
|
Sergiu Ivanov
|
c2237ecdbc
|
networks: Add tbn->network.
|
2020-10-16 00:55:26 +02:00 |
|
Sergiu Ivanov
|
119fcdb8df
|
networks: Add make-tbn.
|
2020-10-15 00:33:18 +02:00 |
|
Sergiu Ivanov
|
d6bf00d617
|
networks: Fix tbn? to use tbf/state.
|
2020-10-15 00:17:15 +02:00 |
|
Sergiu Ivanov
|
848142aa61
|
example: Explain new SBF-related additions.
|
2020-10-14 00:20:34 +02:00 |
|
Sergiu Ivanov
|
2d1ef85209
|
networks: Streamline print-org-tbfs/state.
|
2020-10-14 00:07:08 +02:00 |
|
Sergiu Ivanov
|
664aa89c6a
|
networks: Add print-org-sbfs/state.
|
2020-10-14 00:02:58 +02:00 |
|
Sergiu Ivanov
|
835b89bbb8
|
networks: Add read-org-sbfs/state.
|
2020-10-13 23:25:21 +02:00 |
|
Sergiu Ivanov
|
1ff413ddcc
|
networks: Add lists->sbfs/state.
|
2020-10-12 23:20:48 +02:00 |
|
Sergiu Ivanov
|
943fd322c4
|
network: Add make-sbf/state.
|
2020-10-12 22:53:34 +02:00 |
|
Sergiu Ivanov
|
74a3bb9e69
|
networks: Move sbf/state? to a better place.
|
2020-10-12 22:46:21 +02:00 |
|
Sergiu Ivanov
|
c8e7d3733c
|
networks: Add sbf/state?.
|
2020-10-12 22:40:03 +02:00 |
|
Sergiu Ivanov
|
848d53f97a
|
networks: Add tbf/state-tabulate.
|
2020-10-12 00:53:56 +02:00 |
|
Sergiu Ivanov
|
f37155fd3e
|
networks: Add tbf/state-tabulate*.
|
2020-10-12 00:47:54 +02:00 |
|
Sergiu Ivanov
|
0987ce332a
|
networks: Fix the test case for print-org-tbfs/state.
|
2020-10-12 00:47:25 +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
|
2a71a1cd93
|
networks: Add read-org-tbfs/state.
|
2020-10-10 23:51:52 +02:00 |
|
Sergiu Ivanov
|
82c1849660
|
networks: Add lists->tbfs/state.
|
2020-10-10 23:23:43 +02:00 |
|
Sergiu Ivanov
|
e85cfd9f0f
|
networks: Slightly reorder the exports.
|
2020-08-01 23:38:24 +02:00 |
|