From e7b35a451c25565055c3512a972a7ce50b5def3f Mon Sep 17 00:00:00 2001
From: Sergiu Ivanov <sivanov@colimite.fr>
Date: Sun, 22 Mar 2020 20:22:23 +0100
Subject: [PATCH] Add the example on tabulating Boolean networks.

---
 example/example.org | 20 ++++++++++++++++++++
 1 file changed, 20 insertions(+)

diff --git a/example/example.org b/example/example.org
index cfc70e1..8b873ae 100644
--- a/example/example.org
+++ b/example/example.org
@@ -504,6 +504,26 @@ tab
    | #t | #t | #t |
    :END:
 
+   Here's how to tabulate the network =simple-bn=, defined at the top
+   of this section:
+   #+BEGIN_SRC racket :results table drawer :var in-bn=munch-sexp(simple-bn)
+(tabulate-boolean-network (nn (unorg in-bn)))
+   #+END_SRC
+
+   #+RESULTS:
+   :RESULTS:
+   | a  | b  | c  | f-a | f-b | f-c |
+   | #f | #f | #f | #f  | #f  | #t  |
+   | #f | #f | #t | #f  | #t  | #f  |
+   | #f | #t | #f | #t  | #f  | #t  |
+   | #f | #t | #t | #t  | #t  | #f  |
+   | #t | #f | #f | #f  | #f  | #t  |
+   | #t | #f | #t | #f  | #f  | #f  |
+   | #t | #t | #f | #t  | #f  | #t  |
+   | #t | #t | #t | #t  | #f  | #f  |
+   :END:
+
+
 * Reaction systems
   :PROPERTIES:
   :header-args:racket: :prologue "#lang racket\n(require graph (file \"~/Candies/prj/racket/dds/rs.rkt\") (file \"~/Candies/prj/racket/dds/utils.rkt\"))"