From 6c30120376dd6f22a8d218fb862ec50b3db22476 Mon Sep 17 00:00:00 2001 From: Sergiu Ivanov Date: Sat, 28 Nov 2020 23:10:18 +0100 Subject: [PATCH] networks: Remove 01-related state graph functions. Remove build-full-01-state-graph and build-full-01-state-graph-annotated. --- networks.rkt | 16 ---------------- 1 file changed, 16 deletions(-) diff --git a/networks.rkt b/networks.rkt index f8ea75b..273aba5 100644 --- a/networks.rkt +++ b/networks.rkt @@ -69,8 +69,6 @@ [ppsgb (-> graph? graph?)] [build-full-state-graph (-> dynamics? graph?)] [build-full-state-graph-annotated (-> dynamics? graph?)] - [build-full-01-state-graph (-> dynamics? graph?)] - [build-full-01-state-graph-annotated (-> dynamics? graph?)] [tabulate-state (->* (procedure? domain-mapping/c) (#:headers boolean?) (listof (listof any/c)))] [tabulate-state* (->* ((non-empty-listof procedure?) domain-mapping/c) (#:headers boolean?) @@ -850,20 +848,6 @@ #hash((a . #f) (b . #t)) #hash((a . #t) (b . #t))) (set (set 'a))))) -;;; Like build-full-boolean-state-graph, but the states are expressed -;;; in 0 and 1, instead of #f and #t. -(define (build-full-01-state-graph dyn) - (dds-build-state-graph - dyn - (list->set (build-all-01-states (hash-keys (dynamics-network dyn)))))) - -;;; Like build-full-boolean-state-graph-annotated, but the states are expressed -;;; in 0 and 1, instead of #f and #t. -(define (build-full-01-state-graph-annotated dyn) - (dds-build-state-graph-annotated - dyn - (list->set (build-all-01-states (hash-keys (dynamics-network dyn)))))) - ;;; ================================= ;;; Tabulating functions and networks