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

sbn-interaction-graph: Use zero-edges and declare it in the contract.

This commit is contained in:
Sergiu Ivanov 2021-08-04 17:33:17 +02:00
parent ab2c37125c
commit 38660cc0a5
1 changed files with 3 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
networks.rkt
View File

@ -132,7 +132,8 @@
[tbn-interaction-graph (->* (tbn?) (#:zero-edges boolean?)
graph?)]
[pretty-print-tbn-interaction-graph (-> graph? graph?)]
[sbn-interaction-graph (-> sbn? graph?)])
[sbn-interaction-graph (->* (sbn?) (#:zero-edges boolean?)
graph?)])
;; Predicates
(contract-out [variable? (-> any/c boolean?)]
[state? (-> any/c boolean?)]
@ -1777,7 +1778,7 @@
;;; the interaction graph.
(define (sbn-interaction-graph sbn
#:zero-edges [zero-edges #t])
(update-graph (tbn-interaction-graph sbn)
(update-graph (tbn-interaction-graph sbn #:zero-edges zero-edges)
#:v-func (match-lambda
[(cons var _) var])))