scolobb/dds
1
0
Fork 0
Code Issues Pull requests Releases Wiki Activity

rs: Add ReactionSystem.

Browse source
This commit is contained in:
Sergiu Ivanov 2020-03-01 19:19:58 +01:00
parent f62592574b
commit 0cb57196c5
1 changed files with 5 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
rs.rkt
View file

@ -8,7 +8,7 @@
;; Structures
reaction
;; Type names
Species
Species ReactionSystem
;; Functions
enabled?)
@ -31,3 +31,7 @@
(define/match (enabled? r s)
[((reaction r i p) s)
(and (subset? r s) (set-empty? (set-intersect i s)))])
;;; A reaction system is a dictionary mapping reaction names to
;;; reactions.
(define-type ReactionSystem (HashTable Symbol reaction))