208dc12060
networks: Add normalize-tbn.
2020-10-24 23:51:56 +02:00
11ecbf84dc
networks: Add normalized-tbn?.
2020-10-24 23:15:13 +02:00
e79fef9118
networks: Add build-tbn-state-graph and use it in example.
2020-10-23 00:17:36 +02:00
2dd38fa4dc
networks: Add read-org-sbn.
2020-10-22 00:59:58 +02:00
a3f3a5616d
networks: Factor parse-org-tbn out from read-org-tbn.
2020-10-22 00:52:06 +02:00
b3d2ed94ec
networks: Add build-full-01-state-graph and build-full-01-state-graph-annotated.
2020-10-18 22:57:08 +02:00
afa84d00b5
networks: Add build-all-01-states.
2020-10-18 22:52:45 +02:00
85feab230f
networks: Add make-01-domains.
2020-10-18 22:52:05 +02:00
5f80bd0443
networks: Add read-org-tbn.
2020-10-17 23:51:51 +02:00
7555db41ef
networks, tbn->network: Add tests for SBN.
2020-10-17 00:55:20 +02:00
218ecfc009
networks: Add sbn? and make-sbn.
2020-10-17 00:45:40 +02:00
c2237ecdbc
networks: Add tbn->network.
2020-10-16 00:55:26 +02:00
119fcdb8df
networks: Add make-tbn.
2020-10-15 00:33:18 +02:00
d6bf00d617
networks: Fix tbn? to use tbf/state.
2020-10-15 00:17:15 +02:00
2d1ef85209
networks: Streamline print-org-tbfs/state.
2020-10-14 00:07:08 +02:00
664aa89c6a
networks: Add print-org-sbfs/state.
2020-10-14 00:02:58 +02:00
835b89bbb8
networks: Add read-org-sbfs/state.
2020-10-13 23:25:21 +02:00
1ff413ddcc
networks: Add lists->sbfs/state.
2020-10-12 23:20:48 +02:00
943fd322c4
network: Add make-sbf/state.
2020-10-12 22:53:34 +02:00
74a3bb9e69
networks: Move sbf/state? to a better place.
2020-10-12 22:46:21 +02:00
c8e7d3733c
networks: Add sbf/state?.
2020-10-12 22:40:03 +02:00
848d53f97a
networks: Add tbf/state-tabulate.
2020-10-12 00:53:56 +02:00
f37155fd3e
networks: Add tbf/state-tabulate*.
2020-10-12 00:47:54 +02:00
0987ce332a
networks: Fix the test case for print-org-tbfs/state.
2020-10-12 00:47:25 +02:00
7b3b31b211
networks: Add print-org-tbfs/state.
2020-10-12 00:24:10 +02:00
2a71a1cd93
networks: Add read-org-tbfs/state.
2020-10-10 23:51:52 +02:00
82c1849660
networks: Add lists->tbfs/state.
2020-10-10 23:23:43 +02:00
e85cfd9f0f
networks: Slightly reorder the exports.
2020-08-01 23:38:24 +02:00
fbc3bf5c8a
networks: Add apply-tbf/state.
2020-08-01 23:24:51 +02:00
ead66a2f4e
networks: Use a named test-case in the tests for apply-tbf-to-state.
2020-07-23 00:22:39 +02:00
e370356fac
networks: Add some tests for tbf/state.
2020-07-23 00:20:00 +02:00
0b41cf54fc
networks: Add make-tbf/state.
2020-07-23 00:19:25 +02:00
91c45ada06
networks: Make tbf/state transparent.
2020-07-23 00:17:17 +02:00
a4be7922d4
networks: state/tbf → tbf/state.
2020-07-23 00:11:14 +02:00
c27b9fe28b
networks: Move apply-tbf-to-state to the top of the section.
2020-07-23 00:06:26 +02:00
3fa5b7ca89
networks: Add state/tbf-w and state/tbf-θ.
2020-07-23 00:05:34 +02:00
1f33e6c38c
networks: Add state/tbf.
2020-07-23 00:02:35 +02:00
7710e56bb8
networks: apply-tbf/state → apply-tbf-to-state
...
The next commits will define tbf/state. The function to apply such a
TBF would naturally be called apply-tbf/state, and it will be quite
different from the apply-tbf-to-state, hence the renaming.
2020-07-22 23:53:20 +02:00
e10b208079
networks: Add apply-tbf/state.
2020-07-22 23:46:58 +02:00
3c640d2cab
networks: Export tbn?.
2020-07-22 23:45:13 +02:00
5c0bb0ddbb
networks: Add tbn?.
2020-07-21 00:13:56 +02:00
180810a2aa
utils: 0-1 -> 01
...
Shorter and easier to type.
2020-06-06 08:23:55 +02:00
83dd673df9
utils: any->boolean -> any->0-1.
2020-06-04 23:47:10 +02:00
458868ea21
any->boolean: Move from networks to utils.
2020-06-03 23:42:47 +02:00
6247f28958
networks,tabulate-network: Fix the case of an identifier.
2020-06-02 23:37:28 +02:00
7f58bf5623
networks: Rewrite tabulate-network to use tabulate-state*/boolean.
2020-06-02 23:34:19 +02:00
9a1477ad42
networks: Fix the test for tabulate-state*/boolean.
2020-06-02 23:33:34 +02:00
f812165b39
networks,tabulate-state*,tabulate-state*/boolean: Move the contracts to provide.
2020-06-02 21:53:53 +02:00
a34b08e477
networks: Rewrite tabulate-state to use tabulate-state*.
2020-06-02 21:29:00 +02:00
42ffc37eeb
networks: Add tabulate-state* and tabulate-state*/boolean.
2020-06-02 21:28:37 +02:00
Sergiu Ivanov