From e85cfd9f0f0b8c37cf4709ef18c817b53817f930 Mon Sep 17 00:00:00 2001 From: Sergiu Ivanov Date: Sat, 1 Aug 2020 23:38:24 +0200 Subject: [PATCH] networks: Slightly reorder the exports. --- networks.rkt | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/networks.rkt b/networks.rkt index 8bce423..f24a203 100644 --- a/networks.rkt +++ b/networks.rkt @@ -79,11 +79,11 @@ [random-network (domain-mapping/c . -> . network?)] [random-boolean-network ((listof variable?) . -> . network?)] [random-boolean-network/vars (number? . -> . network?)] + [apply-tbf-to-state (-> tbf? state? (or/c 0 1))] [tbf/state-w (-> tbf/state? (hash/c variable? number?))] [tbf/state-θ (-> tbf/state? number?)] [make-tbf/state (-> (listof (cons/c variable? number?)) number? tbf/state?)] - [apply-tbf/state (-> tbf/state? (hash/c variable? (or/c 0 1)) (or/c 0 1))] - [apply-tbf-to-state (-> tbf? state? (or/c 0 1))]) + [apply-tbf/state (-> tbf/state? (hash/c variable? (or/c 0 1)) (or/c 0 1))]) ;; Predicates (contract-out [variable? (-> any/c boolean?)] [state? (-> any/c boolean?)]