From 38660cc0a590649f63e2b3f532fe253d9a0b2726 Mon Sep 17 00:00:00 2001
From: Sergiu Ivanov <sivanov@colimite.fr>
Date: Wed, 4 Aug 2021 17:33:17 +0200
Subject: [PATCH] sbn-interaction-graph: Use zero-edges and declare it in the
 contract.

---
 networks.rkt | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/networks.rkt b/networks.rkt
index 515f92d..27dc3af 100644
--- a/networks.rkt
+++ b/networks.rkt
@@ -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])))