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

Make networks fully Typed Racket, throwing away the TBN/SBN part.

This commit is contained in:
Sergiu Ivanov 2023-03-26 22:53:27 +02:00
parent 507f7a28f7
commit aa278215ed
2 changed files with 1005 additions and 2305 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3299
networks.rkt
View File

File diff suppressed because it is too large Load Diff

11
scribblings/networks.scrbl
View File

@ -4,7 +4,7 @@
graph graph
(only-in typed/graph Graph) (only-in typed/graph Graph)
(only-in racket/class send) (only-in racket/class send)
(submod "../networks.rkt" typed) "../networks.rkt"
"../utils.rkt" "../utils.rkt"
"../functions.rkt" "../functions.rkt"
"../dynamics.rkt")) "../dynamics.rkt"))
@ -13,7 +13,7 @@
(parameterize ([sandbox-output 'string] (parameterize ([sandbox-output 'string]
[sandbox-error-output 'string] [sandbox-error-output 'string]
[sandbox-memory-limit 50]) [sandbox-memory-limit 50])
(make-evaluator 'typed/racket #:requires '((submod "networks.rkt" typed))))) (make-evaluator 'typed/racket #:requires '("networks.rkt"))))
@(define-syntax-rule (ex . args) @(define-syntax-rule (ex . args)
(examples #:eval networks-evaluator . args)) (examples #:eval networks-evaluator . args))
@ -26,7 +26,7 @@
@title[#:tag "networks"]{dds/networks: Formal Dynamical Networks} @title[#:tag "networks"]{dds/networks: Formal Dynamical Networks}
@defmodule[(submod dds/networks typed)] @defmodule[dds/networks]
This module provides definitions for and analysing network models. A network This module provides definitions for and analysing network models. A network
is a set of variables which are updated according to their corresponding update is a set of variables which are updated according to their corresponding update
@ -944,8 +944,3 @@ to @tt{xk}, where @italic{k = n - 1}.
@ex[ @ex[
(tabulate-network+headers (random-boolean-network/n 3)) (tabulate-network+headers (random-boolean-network/n 3))
]} ]}
@section{TBF/TBN and SBF/SBN}
This section defines threshold Boolean functions (TBF) and networks (TBN), as
well as sign Boolean functions (SBF) and networks (SBN).