Commit graph

214 commits

Author SHA1 Message Date
Sergiu Ivanov
b5f5eb55fc utils: Move drop-first-last from rs and add list-sets->list-strings. 2020-03-02 23:39:27 +01:00
Sergiu Ivanov
c0d36a34a7 rs: Add read-ctx and illustrate it in example.org. 2020-03-02 23:11:26 +01:00
Sergiu Ivanov
171147ad5e rs: Add read-context-sequence. 2020-03-02 23:03:10 +01:00
Sergiu Ivanov
42b7dce359 utils: Move read-symbol-list from rs. 2020-03-02 23:00:46 +01:00
Sergiu Ivanov
dbfa560081 utils: read-org-table -> read-org-sexp. 2020-03-02 18:42:54 +01:00
Sergiu Ivanov
a9fc272c13 example,munch-sexp: Rename the parameter tab -> sexp. 2020-03-02 18:38:39 +01:00
Sergiu Ivanov
e07c5c239c example: munch-table -> munch-sexp.
This code block can be used to prepare any sexp Org-mode produces.
2020-03-02 18:36:26 +01:00
Sergiu Ivanov
0bceb820df rs: Add the dynamics. 2020-03-02 18:32:11 +01:00
Sergiu Ivanov
868988c966 rs,union-products: Return an empty set when no reaction names are given. 2020-03-02 18:31:02 +01:00
Sergiu Ivanov
6427af17c8 example: Minor image change. 2020-03-02 18:20:24 +01:00
Sergiu Ivanov
141080d1c6 generic: Use collect-by-key/sets to collect the labels for state graphs. 2020-03-02 18:18:23 +01:00
Sergiu Ivanov
29d8e152d9 utils: ht-values:list->set -> ht-values/list->set 2020-03-02 18:17:05 +01:00
Sergiu Ivanov
45db731859 utils: Make the contract of collect-by-key more specific. 2020-03-02 18:16:25 +01:00
Sergiu Ivanov
740918a542 utils: Add collect-by-key/sets. 2020-03-02 18:15:41 +01:00
Sergiu Ivanov
64ca8f4bf1 utils: Add ht-values:list->set. 2020-03-02 18:04:59 +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
736f210c41 generic: Make dds-step-one fall back to dds-step-one-annotated. 2020-03-02 12:11:09 +01:00
Sergiu Ivanov
db88987c13 example: Show how to apply reaction systems. 2020-03-01 21:14:18 +01:00
Sergiu Ivanov
77c0106ea2 rs: Add some functions for showing RS as Org tables.
Also add an example to example.org.
2020-03-01 21:10:01 +01:00
Sergiu Ivanov
0051380f2b rs: Add a test for ht-str-triples->rs. 2020-03-01 20:46:06 +01:00
Sergiu Ivanov
afc043d22d rs: Fix the introduction to the section on Org-mode interop. 2020-03-01 20:43:33 +01:00
Sergiu Ivanov
c33cce731f rs: Convert to untyped racket with contracts. 2020-03-01 20:41:11 +01:00
Sergiu Ivanov
d2121bd5e6 rs: Add unorg-rs and showcase it in example.org. 2020-03-01 20:26:16 +01:00
Sergiu Ivanov
02d5384674 rs: Switch to #lang racket, but keep the types where they work. 2020-03-01 20:25:01 +01:00
Sergiu Ivanov
f16747d157 rs: Add section "Org-mode interaction". 2020-03-01 20:20:16 +01:00
Sergiu Ivanov
a77261c424 rs: Make reaction transparent. 2020-03-01 19:54:53 +01:00
Sergiu Ivanov
5c13b468e3 rs: Add apply-rs. 2020-03-01 19:51:53 +01:00
Sergiu Ivanov
86256cd47e rs: Add union-products. 2020-03-01 19:47:38 +01:00
Sergiu Ivanov
3732d4897e rs,list-enabled: Made the type signature more explicit. 2020-03-01 19:24:32 +01:00
Sergiu Ivanov
d7e189eef0 rs: Add list-enabled. 2020-03-01 19:20:24 +01:00
Sergiu Ivanov
0cb57196c5 rs: Add ReactionSystem. 2020-03-01 19:19:58 +01:00
Sergiu Ivanov
f62592574b rs: Export the Species type. 2020-03-01 19:07:16 +01:00
Sergiu Ivanov
bb247d9eb8 rs: Start. 2020-03-01 19:05:28 +01:00
Sergiu Ivanov
007c5b96bf example: Show what happens when multiple modalities cause the same state transition. 2020-03-01 18:01:53 +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
1fa342c2ad generic: Make fallback-dds-build-state-graph-edges collect duplicate edges. 2020-03-01 17:40:36 +01:00
Sergiu Ivanov
b2f686cdaa utils: Add collect-by-key. 2020-03-01 16:53:17 +01:00
Sergiu Ivanov
02d564a374 example: Add an example on printing annotated state graphs for networks. 2020-03-01 15:22:11 +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
3f24a5be8b utils: Add pretty-print-set. 2020-03-01 15:15:52 +01:00
Sergiu Ivanov
1e524f167c utils: Add update-graph. 2020-02-29 17:21:56 +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
160713b56b generic: Add dds-build-state-graph-annotated and dds-build-n-step-state-graph-annotated. 2020-02-28 21:45:54 +01:00
Sergiu Ivanov
601e8ed8b3 generic: Generalise fallback-dds-build-state-graph to work with annotations.
This function is now called fallback-dds-build-state-graph-edges and
it is parameterised by a function which produces the next states with
annotations (like dds-one-step-annotated).  The functions
dds-build-state-graph and dds-build-n-step-state-graph now fall back
to calling fallback-dds-build-state-graph-edges, passing it the
function dummy-annotated-dds-step-one to add a 'dummy annotation to
each new state produced.
2020-02-28 21:39:02 +01:00
Sergiu Ivanov
fd290a049e networks: Make the pretty printing procedures sort the keys. 2020-02-26 21:27:02 +01:00
Sergiu Ivanov
e3a04cb765 example.org: Add examples of state graphs. 2020-02-26 21:17:11 +01:00
Sergiu Ivanov
5f4cb917bc networks-tests: Fix the usage of stb. 2020-02-26 21:05:06 +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