Commit graph

67 commits

Author SHA1 Message Date
Sergiu Ivanov
a40106e47c networks: Add random-function/state and random-boolean-function/state. 2020-03-22 14:35:26 +01:00
Sergiu Ivanov
5358f9bf57 networks: Add tabulate-state and tabulate-state/boolean. 2020-03-22 14:34:40 +01:00
Sergiu Ivanov
9113a788a9 networks: Make network? more precise.
Require that the hash table maps variables to procedures, instead of
requiring nothing of the values of the hash table.
2020-03-21 19:19:23 +01:00
Sergiu Ivanov
9682049df5 networks: Remove network/c.
I've never used it.
2020-03-21 19:18:45 +01:00
Sergiu Ivanov
a55b671248 networks: Make the contracts on functions dealing with Boolean tables more precise. 2020-03-20 22:29:33 +01:00
Sergiu Ivanov
bba2dfad12 networks: Split the randomness functions into their own section. 2020-03-20 22:22:33 +01:00
Sergiu Ivanov
6c75a073c0 networks: Add random-boolean-table, random-boolean-function, random-boolean-function/list. 2020-03-20 22:15:29 +01:00
Sergiu Ivanov
519f3759ea networks,enumerate-boolean-tables: Use boolean-power/stream. 2020-03-20 16:43:14 +01:00
Sergiu Ivanov
59d5b040f4 networks: Remove n from boolean-power-n and boolean-power-n/stream. 2020-03-20 16:41:26 +01:00
Sergiu Ivanov
e89163d044 networks: Add boolean-power-n/stream. 2020-03-20 16:40:15 +01:00
Sergiu Ivanov
36c26d2a1f networks: Export and test boolean-power-n. 2020-03-20 16:38:32 +01:00
Sergiu Ivanov
f09f24d2dd networks: Use streams for enumerating Boolean functions. 2020-03-20 00:15:51 +01:00
Sergiu Ivanov
2c79ca3781 networks: Add enumerate-boolean-tables, enumerate-boolean-functions, and enumerate-boolean-functions/list. 2020-03-19 23:40:08 +01:00
Sergiu Ivanov
80ef41eaa4 networks,table->function: Store the function in a local binding.
This avoids reconstructing the function from the table every time the
lambda is called.
2020-03-19 23:17:23 +01:00
Sergiu Ivanov
9bcb5681ce networks: Add table->function and table->function/list. 2020-03-18 21:40:09 +01:00
Sergiu Ivanov
572bef8a7b networks: Add tabulate and illustrate it in example. 2020-03-15 16:12:35 +01:00
Sergiu Ivanov
07e1a73b50 networks: Add read-org-network-make-asyn and read-org-network-make-syn.
Also add some shortcuts.
2020-03-04 18:54:36 +01:00
Sergiu Ivanov
a3967d8bf8 utils: Move pretty-print-modalities as pretty-print-set-sets from networks. 2020-03-02 23:59:37 +01:00
Sergiu Ivanov
ac7ce12a9d networks: Remove a custom definition of dds-step-one.
This method now falls back to dds-step-one-annotated.
2020-03-02 12:12:57 +01:00
Sergiu Ivanov
9143f6f9fc networks: Add pretty-print-modalities and use it for state graphs. 2020-03-01 17:57:58 +01:00
Sergiu Ivanov
a3f5d4d2ba networks, pretty-print-state-graph-with: Use pretty-print-set for edges. 2020-03-01 15:20:44 +01:00
Sergiu Ivanov
6e5c73bcb2 networks: Add build-full-boolean-state-graph-annotated. 2020-02-28 21:56:42 +01:00
Sergiu Ivanov
2ece2e76ee networks: Re-export dds-build-state-graph-annotated and dds-build-n-step-state-graph-annotated. 2020-02-28 21:46:25 +01:00
Sergiu Ivanov
fd290a049e networks: Make the pretty printing procedures sort the keys. 2020-02-26 21:27:02 +01:00
Sergiu Ivanov
63b676b1ba networks: Remove an extra call to booleanize-state. 2020-02-26 21:02:44 +01:00
Sergiu Ivanov
b53639839f networks: Add booleanize-state and make stb a shortcut for it. 2020-02-26 20:47:38 +01:00
Sergiu Ivanov
2022e0187b networks: Add make-state-booleanize and stb. 2020-02-26 15:51:25 +01:00
Sergiu Ivanov
9e0db04035 networks: Make nn a shortcut form network-form->network.
It used to be for make-network-from-forms, but nn is more practical in
my Org-mode setup as of now.
2020-02-23 20:28:11 +01:00
Sergiu Ivanov
b0acbadadd networks: Add build-all-boolean-states and build-full-boolean-state-graph. 2020-02-23 20:13:37 +01:00
Sergiu Ivanov
f88bc0d01b networks: Add further infrastructure for pretty-printing networks. 2020-02-23 19:44:55 +01:00
Sergiu Ivanov
3a873ab256 networks: Add pretty-print-state. 2020-02-23 19:24:53 +01:00
Sergiu Ivanov
39575f39c2 generic: Add dds-build-state-graph and dds-build-n-step-state-graph.
Also provide a common fallback implementation.
2020-02-23 18:51:57 +01:00
Sergiu Ivanov
e7eb1fb09e networks: Implement dds-step-one-annotated. 2020-02-23 14:11:55 +01:00
Sergiu Ivanov
5969595bed networks: Add and use modality? 2020-02-23 13:53:02 +01:00
Sergiu Ivanov
95d248c548 networks, generic: Make all set/c arguments 'dont-care. 2020-02-23 13:38:18 +01:00
Sergiu Ivanov
8c92a4bbd8 networks, generic: Add dds-step. 2020-02-23 13:29:09 +01:00
Sergiu Ivanov
598904fecd networks: Fix an extra newline in provides. 2020-02-23 12:27:59 +01:00
Sergiu Ivanov
5907edfef0 dds-step -> dds-step-one 2020-02-23 12:23:55 +01:00
Sergiu Ivanov
5d5d0347e8 networks: Make dynamics inherit from dds and implement dds-step. 2020-02-23 12:19:47 +01:00
Sergiu Ivanov
f9191287e1 networks: Make update accept any kind of sets of variables. 2020-02-23 12:10:27 +01:00
Sergiu Ivanov
cbf949ba5a network: Use domain-mapping/c in the contract of make-same-domains. 2020-02-23 11:51:59 +01:00
Sergiu Ivanov
dedfddfe55 networks: Add make-dynamics-from-func, make-asyn-dynamics, make-syn-dynamics. 2020-02-23 11:42:01 +01:00
Sergiu Ivanov
c9cbb1c951 networks: Add make-syn and make-asyn. 2020-02-23 11:25:19 +01:00
Sergiu Ivanov
2fa89f05b9 networks: Start section Dynamics of networks. 2020-02-23 11:10:35 +01:00
Sergiu Ivanov
2d0e688425 networks: Add build-boolean-signed-interaction-graph. 2020-02-23 10:00:48 +01:00
Sergiu Ivanov
b04d897c67 Remove extra comments at the end of networks. 2020-02-23 09:26:07 +01:00
Sergiu Ivanov
4a6888ddde networks: Rewrite update for immutable hashes. 2020-02-23 09:19:45 +01:00
Sergiu Ivanov
1492c33e1a networks: Remove build-all-states-same-domain.
This is function is not really necessary, since I have
make-same-domains.
2020-02-23 09:13:03 +01:00
Sergiu Ivanov
245b22316e networks: Add and use domain-mapping/c. 2020-02-23 09:12:01 +01:00
Sergiu Ivanov
bdbbae6eb6 networks: Make build-all-state take a hash as the domain mapping.
It used to take a list of pairs.
2020-02-23 09:09:43 +01:00